利用状态机检测JAVA空指针引用故障 (2008年)

【文件属性】：

文件名称：利用状态机检测JAVA空指针引用故障 (2008年)

文件大小：220KB

文件格式：PDF

更新时间：2024-06-18 20:09:58

工程技术 论文

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件，对程序中不可达路径进行处理，从而达到减少误报的目的。