无用代码的检测

摘要：

程序中的无用代码意味着算法设计、代码实现中存在着问题.无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响.在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论.文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据.

关键词：无用代码、数据流分析、谓词相关、程序插装

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

在线出版日期：2007-08-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：93-96