-
题名基于整型区间集的数组越界静态自动测试方法研究
被引量:3
- 1
-
-
作者
高传平
谈利群
宫云战
张威
-
机构
北方交通大学计算所
装甲兵工程学院信息工程系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第12期2222-2227,共6页
-
基金
总装备部十五预研基金项目(41315050107)资助.
-
文摘
数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进行彻底的测试,容易造成漏报.本文在对程序进行静态分析的基础上,通过引入区间概念,建立了整型区间集和数组区间集,进而给出了数组越界的故障模型,模型的建立对软件故障进行了规范.本文随后给出了故障检测算法,最后给出了实验.结果表明这种方法比以往的测试方法具有更强的故障检测能力.
-
关键词
软件测试
整型区间集
静态分析
数组越界
语法树
-
Keywords
:software testing
integer range congregation
static analysis: out of bound of arrays
syntax tree
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-