10.3969/j.issn.1672-1497.2004.02.007
数组越界软件测试系统的设计与实现
软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.
数组越界、静态分析、控制流图、路径测试
18
TP302.8(计算技术、计算机技术)
2004-08-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
27-30