【文件属性】：
文件名称：Java中空指针引用故障的静态检测方法 (2011年)
文件大小：336KB
文件格式：PDF
更新时间：2021-05-10 19:35:47
自然科学 论文
空指针引用是程序中存在的比较常见的问题，由于它在程序中比较隐蔽，用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法，将空指针引用问题抽象为一类故障模型，并以故障模式状态机来形式化描述此类故障模型，然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机，并将创建的状态机实例置于控制流图入口节点，根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system，DTS)中应用，对R