| 无用代码的检测 |
| |
| 引用本文： | 张广梅 李劲松. 无用代码的检测[J]. 北京化工大学学报(自然科学版), 2007, 34(A01): 93-96 |
| |
| 作者姓名： | 张广梅 李劲松 |
| |
| 作者单位： | [1]山东农业大学信息科学与工程学院,山东泰安271018 [2]新汶矿业集团通讯信息中心,山东泰安271233 |
| |
| 摘 要： | 程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。
|
| 关 键 词： | 无用代码 数据流分析 谓词相关 程序插装 |
| 修稿时间： | 2007-05-15 |
The study of dead code detection |
| |
| ZHANG GuangMei,LI JinSong. The study of dead code detection[J]. Journal of Beijing University of Chemical Technology, 2007, 34(A01): 93-96 |
| |
| Authors: | ZHANG GuangMei LI JinSong |
| |
| Affiliation: | 1. College of Information Science and Engineering, Shandong Agriculture University, Taian Shandong 271018; 2. Xinwen Mining Group Corp, Taian Shandong 271233, China |
| |
| Abstract: | |
| |
| Keywords: | dead code data-flow analysis predicate correlation program instrumentation |
| 本文献已被 维普 等数据库收录！ |
