冗余代码缺陷检测方法 (2012年)

【文件属性】：
文件名称：冗余代码缺陷检测方法 (2012年)
文件大小：414KB
文件格式：PDF
更新时间：2021-05-17 18:53:46
自然科学 论文 为解决冗余代码缺陷检测复杂度较高且检测精度较低的问题，设计并实现了基于控制结构的冗余代码检测模型．通过对TOKEN序列建立复合语句结构信息表，精简了程序的控制依赖关系，并在此基础上对幂等操作、死代码以及冗余赋值3种冗余代码进行检测，有效降低了缺陷检测复杂度．通过分析Linux开源代码表明，本模型可以快速的检测大规模程序，并且具有较低的误报率和漏报率．因此本模型可以帮助程序员发现进而修正软件缺陷，维护软件可靠性．