论文部分内容阅读
由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率 同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程序中的各个有意义的变量 ,正如调试过程中设置断点观察的那些变量 ,使得检测错误更加精准