《表1 TCAS中的错误类型》

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

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

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

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

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

Siemens基准测试组包含了7组实现不同功能的C程序，本文的实验主要是基于TCAS程序.TCAS是一个飞行器冲突检测程序，包含173行代码，有1个正确版本和41个不同的错误版本，每个错误版本中包含1～2个缺陷，共8个错误类型，如表1所示[20].随TCAS程序发布的还有上千个测试用例，本文排除了任何不能正确执行和不能展示程序错误的那些测试用例（鉴于此，版本V33和V38所注入的数组越界错误不在本实验的范围之内），剩下1541个测试用例.在实际的实验中，为了简便和避免重复性实验，忽略了if条“enabled”相关的检测，用剩下的27个版本TCAS程序进行测试.用这些测试用例在正确版本上执行，相应的程序输出作为正确输出.