UML状态图的测试用例自动生成  

Test cases automatic generation from UML state diagram

作　　者：佟轶[1] 董碧丹[2] 

机构地区：[1]北京信息控制研究所研究生部,北京100048 [2]北京信息控制研究所,北京100048

出　　处：《微计算机信息》2011年第9期201-203,共3页Control & Automation

摘　　要：现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。Existing researches on generate test cases from UML state diagrams has ignored the support to pseudo-states in order to simplify the problem.To solve this problem,first analysis the concept of pseudo-states in UML state diagram and discuss the impact on test case generation algorithm;improve the definition of pseudo-states in UML statechart semantics,make appropriate conversion on pseudo-states,expand the existing algorithm to support them;propose a set of methods include a UML state diagram planarization algorithm which can handle pseudo-states and a test case generation method.And verified the method in a practical application.

关 键 词：UML statechart语义 伪状态 状态图的平坦化 测试用例自动生成 

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