| 自动Java代码缺陷检测技术 |
| |
| 引用本文： | 薛頔,金茂忠,刘超.自动Java代码缺陷检测技术[J].南京大学学报(自然科学版),2010(1). |
| |
| 作者姓名： | 薛頔 金茂忠 刘超 |
| |
| 作者单位： | 北京航空航天大学软件工程研究所; |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)(2006AA01Z176);;“十一五”国防预研项目 |
| |
| 摘 要： | 代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种劳动力密集型的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.
|
| 关 键 词： | 代码审查 缺陷检测 缺陷模式 缺陷模式树 |
Implementation of automated Java code defect detection technology |
| |
| Xue Di,Jin Mao-Zhong,Liu Chao.Implementation of automated Java code defect detection technology[J].Journal of Nanjing University: Nat Sci Ed,2010(1). |
| |
| Authors: | Xue Di Jin Mao-Zhong Liu Chao |
| |
| Institution: | Software Engineering Institute/a>;Beihang University/a>;Beijing/a>;100083/a>;China |
| |
| Abstract: | The software inspection is always considered as an important and effective method to improve the software quality since the concept was first proposed by Michael Fagan in 1976. Code inspection,which is mostly processed manually,focuses on checking the consistency between code and design,the validity of program logic and structure,etc. As the software scale increasing rapidly,the manual software inspection is becoming more and more time-consuming,expensive and the needing of accumulation of knowledge and exp... |
| |
| Keywords: | code inspection defect detection defect pattern defect pattern tree |
| 本文献已被 CNKI 等数据库收录！ |
