-
题名基于程序特征谱整数溢出错误定位技术研究
被引量：7
- 1
-
-
作者
惠战伟
黄松
嵇孟雨
-
机构
解放军理工大学指挥自动化学院
全军军事训练软件测评中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2012年第10期2204-2214,共11页
-
基金
国家"八六三"高技术研究发展计划项目基金(2009AA01Z402)
江苏省自然科学基金(BK2012059
BK2012060)资助~~
-
文摘
随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错误定位模型INTRank.实验结果表明:基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度,使得程序员能够按照基于语句可疑度的优先级顺序检查源代码,找出导致整数溢出错误的原因,同时本文方法具有较低的漏报率.
-
关键词
整数溢出错误定位
程序特征谱
定义使用对覆盖
分支覆盖
-
Keywords
integer bug localization
program spectra
define-use pair coverage
branch coverage
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于信息流的关键软件缺陷定位技术
- 2
-
-
作者
周东红
石柱
王瑞
李沫
-
机构
中国航天系统科学与工程研究院
-
出处
《载人航天》
CSCD
2016年第5期635-640,共6页
-
文摘
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对覆盖等缺陷定位技术的对比试验,结果表明:此方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法更可靠、更精确,能高效率地定位软件中的缺陷。
-
关键词
软件测试
复杂缺陷
信息流覆盖
语句覆盖
分支覆盖
定义使用对覆盖
-
Keywords
software test
complex defect
information flow coverage
statement coverage
branch coverage
define-use pair coverage
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
