-
题名基于频谱的缺陷定位技术:逆向切片优于执行切片
- 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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于条件执行切片谱的多错误定位
被引量：12
- 2
-
-
作者
文万志
李必信
孙小兵
齐珊珊
-
机构
东南大学计算机科学与工程学院
扬州大学信息工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第5期1030-1043,共14页
-
基金
国家自然科学基金项目(60973149)
国家自然科学基金青年科学基金项目(61202006)
+1 种基金
高等学校博士学科点专项科研基金项目(20100092110022)
中国科学院计算机科学国家重点实验室开放基金项目(SYSKF1110)
-
文摘
基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.
-
关键词
多错误定位
程序切片谱
程序谱
条件执行切片
软件调试
-
Keywords
multi-fault location
program slicing spectrum
program spectrum
conditioned execution slice
software debugging
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于程序功能标签切片的制导符号执行分析方法
被引量：4
- 3
-
-
作者
甘水滔
王林章
谢向辉
秦晓军
周林
陈左宁
-
机构
(数学工程与先进计算国家重点实验室
(计算机软件新技术国家重点实验室(南京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第11期3259-3280,共22页
-
基金
国家自然科学基金(91318301,61170066,6147179)~~
-
文摘
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.
-
关键词
制导符号执行
分支覆盖率
指令覆盖率
搜索策略
程序切片
-
Keywords
guided symbolic execution
branch coverage
instruction coverage
search strategy
program slice
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名微机可控顶智能化执行电源的研制
- 4
-
-
作者
孙力
徐少华
-
机构
哈尔滨铁路局减速顶调速系统研究中心
-
出处
《减速顶与调速技术》
2004年第1期22-24,共3页
-
文摘
微机可控顶调速技术在铁路编组场的现代化改造中得到了广泛的应用 ,为进一步满足铁路编组场现代化改造的需要 ,减速顶中心不断研制出新型可控顶及相关控制设备 ,与此同时 ,对与其配套的驱动电源也提出了更高的性能要求。驱动电源的稳定性和可靠性成为决定整个系统可靠性的关键因素。
-
关键词
微机可控顶
智能化执行电源
单片机
铁路信号
铁路编组场
驱动电源
功率变换
系统结构
技术指标
-
Keywords
controlled retarder by computers
intelligent execution power
slice computer
-
分类号
U284.63
[交通运输工程—交通信息工程及控制]
-
