《表2 不同实验对象程序的冗余变异体情况》
特别地,我们对表2中列出的所有冗余变异体都进行了验证(即实验步骤6和7):在我们的实验方案中,变异体执行结果文件中第i行记录第i个测试用例能否杀死变异体(“1”表示杀死;“0”表示未杀死).根据冗余变异体的定义可知,若变异体m2是变异体m1的冗余变异体(即m1a m2),那么在变异体m1执行结果为“1”的行上,变异体m2执行结果都必须为“1”(能够杀死变异体m1的任意测试用例必然能杀死变异体m2).
图表编号 | XD0035536500 严禁用于非法目的 |
---|---|
绘制时间 | 2019.01.01 |
作者 | 孙昌爱、郭新玲、张翔宇、陈宗岳 |
绘制单位 | 北京科技大学计算机与通信工程学院、北京科技大学计算机与通信工程学院、普渡大学计算机科学系、斯文本大学计算机科学与软件工程系 |
更多格式 | 高清、无水印(增值服务) |