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

【文件属性】：
文件名称：利用状态机检测JAVA空指针引用故障 (2008年)
文件大小：220KB
文件格式：PDF
更新时间：2021-05-30 02:23:18
工程技术 论文 介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件，对程序中不可达路径进行处理，从而达到减少误报的目的。