Generation of a Test Case of the UML Activity Diagram Based on FAD
Tian Yong-hong · Journal of Inner Mongolia University · 2011
In the designing process or document description of a software system,the dynamic behavior of the software system can be depicted in terms of the UML activity diagram,while the accuracy and reliability of the software system is to be tested by constructing certain test models.But due to the absence of a precise description of the mathematical model in UML activity diagrams,it is generally impossible to produce an effective test model directly.The combination of the UML activity diagram model and FAD(formal activity diagram) is researched.It is closely analised the complete process of generating a test case by applying the theory of fragment equation in FAD.The findings are of certain theoretical significance and application value.