自动Java代码缺陷检测技术

摘要：

代码审查是一种高效的程序缺陷榆测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种"劳动力密集型"的方法,为r提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.

关键词：代码审查、缺陷检测、缺陷模式、缺陷模式树

所属期刊栏目：46

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

资助基金：国家高技术研究发展计划863计划2006AA01Z176;"十一五"国防预研项目

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

页数：共7页

页码：64-70