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

数组越界的静态分析
引用本文:惠小霞,张岩.数组越界的静态分析[J].电脑编程技巧与维护,2012(4):7-8,34.
作者姓名:惠小霞  张岩
作者单位:江苏自动化研究所,江苏连云港,222006
摘    要:软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试。

关 键 词:静态测试  数组越界  检测方法  工具

Static Analysis of Array Bound
HUI Xiaoxia , ZHANG Yan.Static Analysis of Array Bound[J].Computer Programming Skills & Maintenance,2012(4):7-8,34.
Authors:HUI Xiaoxia  ZHANG Yan
Affiliation:(Jiangsu Automation Research Institute, Jiangsu Lianyungang 222006)
Abstract:
Keywords:static test  Array bound  detection method  tool
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号