《表2 实验对象及实验结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一种基于最弱前置条件的软件错误定位算法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

同时在所有的错误版本上运行了这些测试用例，并与正确输出作对比，得到失败的测试用例.然而这些错误程序中并不包含待验证的断言，因此这些失败的测试用例作为反例，正确的输出值作为待验证的断言，具体信息见表2.表2中反例数指的是在当前测试用例下正确版本的运行结果与当前版本运行结果不同的测试用例总数.第3列为程序待验证的断言，第4列为错误定位算法的评价指标值.第5列为当前版本的程序包含的错误类型.