论文部分内容阅读
采用类复制变异方法，运用模型检测器Java PathFinder（JPF）来保证软件执行过程中产生的错误在输出结果中可见，同时将类间测试用例生成问题转化成模型检测中寻拔反例的问题，自动生成满足变异覆盖准则的类测试用例，提出一种适用于类问调用的测试用例自动生成方法，并在程序模型检测器JPF上实现．实验结果表明，本文提出的方法能生成高效的Java类间测试输入数据，变异覆盖率高，可发现隐藏错误，并能显著减少测试生成的代价．