-
题名基于频谱的缺陷定位技术:逆向切片优于执行切片
- 1
-
-
作者
雷晏
毛晓光
陈宗岳
-
机构
后勤工程学院训练部
国防科学技术大学计算机学院
斯威本科技大学
-
出处
《后勤工程学院学报》
2015年第3期1-13,共13页
-
基金
国家自然科学基金项目(61379054
91118007)
国家863计划项目(2012AA011201)
-
文摘
一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。
-
关键词
缺陷定位
程序谱
执行切片
逆向切片
测试预言
-
Keywords
fault localization
program spectra
execution slice
backward slice
test oracle
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-