基于FAD的UML活动图测试用例生成  

Generation of a Test Case of the UML Activity Diagram Based on FAD

作　　者：田永红[1] 苏依拉[1] 

机构地区：[1]内蒙古工业大学信息工程学院,呼和浩特010051

出　　处：《内蒙古大学学报（自然科学版）》2011年第1期94-100,共7页Journal of Inner Mongolia University：Natural Science Edition

基　　金：内蒙古自治区自然科学基金资助项目(20080404MS0904)

摘　　要：在软件系统的设计过程或文档说明中,软件系统的动态行为可通过UML活动图描述,软件系统的正确性与可靠性要通过构造一定的测试模型来验证.由于UML活动图缺乏精确的数学模型描述,所以无法直接生成有效的测试模型.本文研究将UML活动图模型与FAD(形式活动图)相结合,应用FAD的片段方程式理论详细分析了生成测试用例的完整过程.其结果在软件测试中具有一定的理论指导意义和应用价值.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.

关 键 词：FAD UML 活动图 软件测试 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]