基于UML状态图的类测试用例实现的研究和设计  

Research and design for class testing-case generation based on UML state diagram

作　　者：于重重[1] 刘杰[2] 张莹[2] 

机构地区：[1]北京科技大学信息工程学院 [2]北京工商大学计算机学院,北京100037

出　　处：《计算机工程与设计》2008年第4期800-802,共3页Computer Engineering and Design

基　　金：北京市教委基金项目(KM200510011003);北京市中青年骨干教师培养基金项目(200775)

摘　　要：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.

关 键 词：面向对象测试 UML状态图 扩展有限状态机(EFSM) 类测试用例 坐标图形显示类 

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