-
题名基于整型区间集的数组越界静态自动测试方法研究
被引量：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
[自动化与计算机技术—计算机系统结构]
-
-
题名Java语言中数组越界故障的静态测试研究
被引量：1
- 2
-
-
作者
赵鹏宇
李建茹
宫云战
-
机构
总装工程兵科研一所
唐山学院
北京邮电大学网络与交换技术国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第27期87-90,108,共5页
-
基金
国家高技术研究发展计划(863)(No.2006AA01Z184)~~
-
文摘
面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
-
关键词
静态测试
数组越界
语法树
控制流图
整型区间
-
Keywords
static test
array index out of range
syntax tree
controlling stream graph
integer range
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
