我们需要编写驱动模块并输入测试用例来完成待测软件(CUT)的测试,接着比较预期结果和实际运行结果.比较结果以FAIL和PASS的形式存在于测试报告中.如果测试失败,则使用动态程序切片(DPS)检测和修正程序错误.接着,再次使用先前的测试方法和所需的测试信息对修改的CUT再次进行测试.在我们提出的方法中,对于标量和指针都使用了动态程序切片算法.指针情况下的切片算法同样可用于计算数组的动态切片.使用这种方法的原因是我们认为测试的目的是为了发现软件故障而不是软件错误,同时程序切片(尤其是动态程序切片)是软件测试的一部分,而不是相反.测试是困难的、易错的、开销巨大的,但又是十分必要的.测试是困难的是因为测试只能证明故障的存在,而不能说明不存在任何故障,不存在一种测试方法(即使是这些方法的组合)能发现所有的软件故障.测试是易错的是因为待测的系统往往是很大的而且十分复杂,许多软件行为都需要得到测试,有些软件故障是很难检测出来的.我们提出的检测技术针对的是C++编程语言,但是它十分灵活足以支持其他面向对象编程语言,比如JAVA.它的独特之处是综合使用了环形复杂性和动态程序切片方法来进行软件测试,同时它也提供了一个易于理解但又十分高效的技术来产生白盒测试所需的测试用例并检测和修正程序故障.