一种类的测试用例生成方法

摘要

本文提出的类数据流测试模型,通过类范围的数据流分析、方法范围内的符号执行和自动演绎三个步骤来产生测试用例,即对象的方法激活序列.本模型依据类的实例变量的定义-使用对来产生方法激活序列,避免了传统的数据流方法的不足,产生的测试用例能够发现传统方法难于发现的对象方法间交互作用的错误.