| Java语言中数组越界故障的静态测试研究 |
| |
| 引用本文： | 赵鹏宇,李建茹,宫云战.Java语言中数组越界故障的静态测试研究[J].计算机工程与应用,2008,44(27):87-90. |
| |
| 作者姓名： | 赵鹏宇 李建茹 宫云战 |
| |
| 作者单位： | 1.总装工程兵科研一所，江苏 无锡 214035 2.唐山学院，河北 唐山 063020 3.北京邮电大学 网络与交换技术国家重点实验室，北京 100876 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障，该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析，并从面向具体故障的测试思想出发，建立了Java语言中数组越界的故障模型，结合静态测试的特点，给出了一种静态查找此类故障的方法。此方法已实现，并已应用于面向故障的软件测试系统中。
|
| 关 键 词： | 静态测试 数组越界 语法树 控制流图 整型区间 |
| 收稿时间： | 2007-11-15 |
| 修稿时间： | 2008-2-21
|
Research on static test about array index out of range in Java language |
| |
| ZHAO Peng-yu,LI Jian-ru,GONG Yun-zhan.Research on static test about array index out of range in Java language[J].Computer Engineering and Applications,2008,44(27):87-90. |
| |
| Authors: | ZHAO Peng-yu LI Jian-ru GONG Yun-zhan |
| |
| Affiliation: | 1.The First Engineers Scientific Research Institute of the General Armaments Department，Wuxi，Jiangsu 214035，China 2.Tangshan College，Tangshan，Hebei 063020，China 3.Network and Exchange Technology State Key Laboratory，Beijing University of Posts and Telecommunications，Beijing 100876，China |
| |
| Abstract: | The software test technology oriented to the special fault is a hotspot in the recent years.Array index out of range is a common fault in Java programme design,which can easily cause system collapse.The paper analyzes the classical array index out of range fault in Java programme,establishes a defect model combining the advantages of static test and gives a static method for searching for such faults.The method has been implemented in the defect-oriented test system. |
| |
| Keywords: | static test array index out of range syntax tree controlling stream graph integer range |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
