节点文献
基于UML状态图的类测试用例自动生成方法
Automatic Generation Method of Class Test Cases Based on UML State Diagrams
【摘要】 UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用 ,基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合,提出了一种基于UML 状态图的类的测试用例自动生成方法。
【Abstract】 This paper presents a automatic test case generation method of state -based class test which combines EFSM-based UIO method with state diagrams of UM L. First state diagrams is flattened to a EFSM,second test cases are generated by applying UIO method to the EFSM.
【关键词】 统一建模语言;
状态图;
扩展的有限状态机;
基于规约的测试;
测试用例生成;
唯 一输入输出;
【Key words】 UML; State diagrams; Extented finite state machine(EFSM); Specifica tion-based test; Test case generation; Unique input output (UIO);
【Key words】 UML; State diagrams; Extented finite state machine(EFSM); Specifica tion-based test; Test case generation; Unique input output (UIO);
【基金】 陕西省教育厅科研基金资助项目(00JK265)
- 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2003年21期
- 【分类号】TP311.52
- 【被引频次】71
- 【下载频次】550