【摘要】 扩展有限状态机(EFSM)因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。更多还原

【Abstract】 Since the extended finite state machine(EFSM) describes both the control aspect(the state of the system) and the data aspect of the system by a flat chart,it is convenient to test software.However it’s difficult to set up EFSM for a complex class.To achieve the merit of two graphics tools,a method is proposed to transform the UML statechart to the EFSM.In this way,the conventional method of control flow and data flow can be used to test the class.更多还原