| 数组越界软件测试系统的设计与实现 |
| |
| 引用本文： | 高传平,宫云战.数组越界软件测试系统的设计与实现[J].装甲兵工程学院学报,2004,18(2):27-30. |
| |
| 作者姓名： | 高传平 宫云战 |
| |
| 作者单位： | 装甲兵工程学院信息工程系,北京,100072 |
| |
| 摘 要： | 软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.
|
| 关 键 词： | 数组越界 静态分析 控制流图 路径测试 |
| 文章编号： | 1672-1497(2004)02-0027-04 |
| 修稿时间： | 2004年3月28日 |
The Designing and Realizing of Software Testing System about Out of Bound of Array |
| |
| GAO Chuan-ping GONG Yun-zhan.The Designing and Realizing of Software Testing System about Out of Bound of Array[J].Journal of Armored Force Engineering Institute,2004,18(2):27-30. |
| |
| Authors: | GAO Chuan-ping GONG Yun-zhan |
| |
| Institution: | GAO Chuan-ping GONG Yun-zhan |
| |
| Abstract: | 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. |
| |
| Keywords: | out of bound of array static analysis control flow chart route testing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
