-
题名基于切片谱的错误定位框架影响因素分析
被引量：1
- 1
-
-
作者
鞠小林
姜淑娟
陈翔
张艳梅
邵浩然
-
机构
中国矿业大学计算机科学与技术学院
南通大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2014年第12期2772-2787,共16页
-
基金
国家自然科学基金项目(61202006
61340037)
+3 种基金
中央高校基本科研业务费专项资金资助项目(2013QNB17)
南通市应用研究计划基金项目(BK2014055)
江苏省高校自然科学研究基金项目(12KJB520014)
江苏省研究生培养创新工程基金项目(CXZZ12_0935)
-
文摘
错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率的影响,提出一种基于切片谱的错误定位框架.该框架首先计算程序执行失败时的全切片和成功时的执行切片,随后提出一组基于相似度的切片挑选策略以构建切片谱,最后按照选定的公式计算怀疑度并生成定位报告.应用提出的错误定位框架,针对一组典型的Java基准程序开展错误定位实证研究.结果表明:最优怀疑度计算公式Wong,Russel&Rao和Binary的错误定位效率与切片选择策略无关,而提出的怀疑度计算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片谱上定位效果较好.
-
关键词
程序调试
错误定位
切片谱
怀疑度计算
错误诊断
-
Keywords
program debugging
fault localization
slice spectrum
suspiciousness evaluation
faultdiagnosis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于程序变异的程序谱错误定位方法
被引量：1
- 2
-
-
作者
王曙燕
林敬
孙家泽
-
机构
西安邮电大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2021年第5期1487-1490,1497,共5页
-
基金
陕西省重点研发计划资助项目(2020GY-010)
西安市科技计划资助项目(2019218114GXRC017CG018-GXYD17.10)。
-
文摘
针对基于程序谱错误定位方法完全依赖于测试用例的语句覆盖信息导致错误定位效率低下的问题,提出了一种基于变异测试技术的程序谱错误定位方法。在原有语句怀疑度计算方法的基础上,增加了程序变异后执行结果与原程序执行结果不同的测试用例变化情况的分析。此外,为解决程序变异后产生的变异体数量巨大而导致执行代价过大的问题,提出了根据变异位置约简变异体的策略。实验结果表明,与几种基于程序谱的程序错误定位方法相比,该方法的错误定位代价最低,能有效提高错误定位的效率。
-
关键词
错误定位
变异测试
测试用例
怀疑度计算公式
变异体约简
-
Keywords
fault location
mutation testing
test case
doubt degree calculation formula
mutation reduction
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
