空指针引用缺陷分类假阳性识别方法

来源：计算机应用杂志2017年第10期北京时间：

作者：王曙燕, 权雅菲, 孙家泽

单位：西安邮电大学 计算机学院, 西安 710061

摘要：针对静态测试中空指针引用缺陷假阳性问题，提出一种空指针引用缺陷分类假阳性识别方法。挖掘空指针引用缺陷知识，对空指针引用缺陷知识进行预处理，生成空指针引用缺陷数据集；通过基于粗糙集理论属性重要性的ID3算法分类空指针引用缺陷数据集，分类结果有假阳性空指针引用缺陷实例和真实空指针引用缺陷实例两种；根据分类结果对静态测试中的空指针引用缺陷进行假阳性识别，确认真实的空指针引用缺陷。该方法对十个基准程序和基于主流静态测试工具FindBugs的空指针引用缺陷检测方法相比，空指针引用缺陷假阳性降低率平均为25%，减少了24%的空指针引用缺陷确认。实验结果表明，该方法在静态测试方面能有效降低缺陷确认开销，提高空指针引用缺陷检测效率和稳定性。

关键词：静态测试,空指针引用缺陷,假阳性识别,缺陷分类,缺陷确认

基金资助：陕西省工业攻关项目（2016GY-089）；陕西省教育厅自然科学基金资助项目（15JK1672）。