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

摘要

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