数组越界软件测试系统的设计与实现  

The Designing and Realizing of Software Testing System about Out of Bound of Array

作　　者：高传平[1] 宫云战[1] 

机构地区：[1]装甲兵工程学院信息工程系，北京100072

出　　处：《装甲兵工程学院学报》2004年第2期27-30,共4页Journal of Academy of Armored Force Engineering

摘　　要：软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.The study about software testing system is a hotspot in the area about software testing today. In this article, we first analyze the error types about the out of bound of array, introducing some basic concepts, and then design a system, clarifying the various phases, even give an arithmetic designing about this error, which is common and representative in the area about software fault testing. At finally, the experiment result is given out.

关 键 词：数组越界 静态分析 控制流图 路径测试 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]