FSM与方法序列在面向对象的测试中的应用

Application of FSM and Method Sequence Criterion to Object-Oriented Software Testing

在UML状态图的基础上,利用有限转状态机理论分析类状态,消除UML状态图中的子状态,将UML状态图转化成为一般有限转状态机,然后应用方法序列规范生成测试的方法序列.测试了类的方法与类状态之间的转换关系,保证测试的完整性.

A method to resolve the class testing in object-oriented software analysis and guarantee testing integrality is presented, which applies FSM theory to the UML state chart to analysis the class state ,eliminate sub-state in the state chart and convert the state chart to general FSM, then uses method sequence criterion to create testing method sequence to test the relationship of class state and class method .