冗余代码缺陷检测方法-哈尔滨工业大学学报.pdfVIP

第４４卷　第７期 哈　尔　滨　工　业　大　学　学　报 Ｖｏｌ４４ Ｎｏ７ 　 　 ２０１２年７月 ＪＯＵＲＮＡＬＯＦＨＡＲＢＩＮＩＮＳＴＩＴＵＴＥＯＦＴＥＣＨＮＯＬＯＧＹ Ｊｕｌｙ２０１２ 　　　　　　 冗余代码缺陷检测方法 龚丹丹，王甜甜，苏小红，马培军 （哈尔滨工业大学 计算机科学与技术学院，１５０００１哈尔滨） 摘　要：为解决冗余代码缺陷检测复杂度较高且检测精度较低的问题，设计并实现了基于控制结构的冗余 代码检测模型．通过对ＴＯＫＥＮ序列建立复合语句结构信息表，精简了程序的控制依赖关系，并在此基础上 对幂等操作、死代码以及冗余赋值３种冗余代码进行检测，有效降低了缺陷检测复杂度．通过分析Ｌｉｎｕｘ开 源代码表明，本模型可以快速的检测大规模程序，并且具有较低的误报率和漏报率．因此本模型可以帮助程 序员发现进而修