基于混合类测试模型的面向对象程序测试用例生成研究

提出了一种混合类测试模型，能在基于状态的测试中提供有效数据流分析。该模型不仅包含了当前测试类的状态转换信息，且包含了从其执行代码所得到的数据成员的定义及使用信息。基于新测试模型所生成的测试用例主要克服了基于状态的测试不能检测与状态无关数据成员的缺陷，且保证了定义一使用路径的可执行性，能较好地缓解以往数据流测试开销大、效率低的问题。

Test Cases Generation for Object-oriented Programs Based on Composite Class Testing Model

A composite class testing model can provides data flow analyzing in state-based testing. It contains both the information about the state change of class under testing and the information from the source code about the definition and use of the data members. Test cases generated from this composite class testing model mainly overcome the weakness of state-based testing that it could miss the detection of data members that do not define the states of the class, but assure that the definition-use paths are executive, so that could release the problems that data flow testing is expensive and inefficient.