关键词: 类单元测试 扩展有限状态机 定义-使用路径 定义-清除路径 测试用例

Abstract:

A define-clear path generation method in object-oriented testing is proposed. Extended Finite State Machine is selected the as testing model, the data flow analysis method and the ideas in the graphics theory for finding the shortest paths are used to generate DC paths. Because we take object state tr  ansferring into account, those define-clear paths can expose the limitation in the interaction between the member functions and variables, and thus redu ce the test suite composed of deflne-use paths.

Key words: class unit test, extended state machine;define-use path;define-clear path, test case