| 利用状态机检测JAVA空指针引用故障 |
| |
| 引用本文： | 毕学军,肖庆,杨朝红,马丹.利用状态机检测JAVA空指针引用故障[J].装甲兵工程学院学报,2008,22(2):67-70. |
| |
| 作者姓名： | 毕学军 肖庆 杨朝红 马丹 |
| |
| 作者单位： | 1. 装甲兵工程学院,信息工程系,北京,100072
2. 国防科技信息中心,北京,100036 |
| |
| 摘 要： | 介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。
|
| 关 键 词： | 软件测试 静态分析 故障模式 空指针引用 |
| 文章编号： | 1672-1497(2008)02-0067-04 |
| 修稿时间： | 2007年12月20 |
JAVA Null Pointer Citation Fault Detection with State Machine |
| |
| BI Xue-jun,XIAO Qing,YANG Zhao-hong,MA Dan.JAVA Null Pointer Citation Fault Detection with State Machine[J].Journal of Armored Force Engineering Institute,2008,22(2):67-70. |
| |
| Authors: | BI Xue-jun XIAO Qing YANG Zhao-hong MA Dan |
| |
| Institution: | 1.Department of Information Engineering; Academy of Armored Force Engineering; Beijing 100072; China; 2. National Defense Science Technology Information Center; Beijing 100036; China); |
| |
| Abstract: | This paper introduces a method to detect JAVA null pointer fault by fault state machine on the basis of control flow. The method uses variable intervals to express state′s precondition, which disposes the detection of infeasible path in procedure and minimizes misinformation. |
| |
| Keywords: | software testing static analysis failure mode null pointer citation |
| 本文献已被 维普 万方数据 等数据库收录！ |
