摘要
UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂。研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转挟单一线索化的特点降低UML状态图在类测试用例生成中的复杂性。以一个坐标图形显示类的测试用例生成为例,详细讨论了结合扩展有限状态机状态转换特点的UML状态图在面向对象测试技术中的应用。
UML state diagram can represent the concurrent control of a system and nested class effectively, however it is hard to realize class testing-case by UML state diagram. The states transitions characteristics of UML and extended finite state machine （EFSM） in software testing are analyzed. The purpose of analysis is to reduce the complexity of UML state diagram using in class testing-case generation combined with EFSM state transition advantages. Using this method, the process of testing-case generation of a coordinate graphics display class is detailed studied.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第4期800-802,共3页
Computer Engineering and Design
基金
北京市教委基金项目(KM200510011003)
北京市中青年骨干教师培养基金项目(200775)
