《表5 Siemens程序基本信息》

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

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

《基于分支路径与变量状态差异的软件缺陷定位方法》

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

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

本文使用经典的Siemens数据集进行实验，该实验套件包含tcas、replace等7个C语言编写的程序，每个程序包中都包含一个正确程序版本和若干被人工植入错误的版本，利用其中的错误版本和自带的测试用例进行实验，来验证本文方法的有效性。该数据集的所有版本源码及测试用例都可以在SIR网站获得。表5为本实验程序的基本信息。