数组越界的静态测试分析 (2006年)

【文件属性】：

文件名称：数组越界的静态测试分析 (2006年)

文件大小：289KB

文件格式：PDF

更新时间：2024-06-14 19:50:00

工程技术 论文

给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析，介绍了软件测试的一些基本概念，给出了这类错误的静态分析方法，并给出了相应的算法，而后给出了测试系统设计和开发，最后给出了软件测试的实验结果和分析。