首页 | 官方网站   微博 | 高级检索  
     

数组越界的静态测试分析
引用本文:高传平,宫云战.数组越界的静态测试分析[J].计算机工程,2006,32(3):70-72.
作者姓名:高传平  宫云战
作者单位:装甲兵工程学院信息工程系,北京,100072
摘    要:给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。

关 键 词:数组越界  静态分析  算法  控制流图
文章编号:1000-3428(2006)03-0070-03
收稿时间:2005-01-15
修稿时间:2005-01-15

Static Test and Analysis of Array Bound
GAO Chuanping,GONG Yunzhan.Static Test and Analysis of Array Bound[J].Computer Engineering,2006,32(3):70-72.
Authors:GAO Chuanping  GONG Yunzhan
Affiliation:Information Engineering Department, Armored Force Engineering Institute, Beijing 100072
Abstract:This paper gives a static analysis method with the advantage that it can know where there is this sort of faults before programs running. At first it analyses the error types about the array bound, introduces some basic concepts, gives a static analysis method about the fault type and the relevant algorithm, and then designs the testing system. At last, an experiment result is given.
Keywords:Array bound  Static analysis  Algorithm  Control flow chart
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号