期刊文献+

自动Java代码缺陷检测技术 被引量:2

Implementation of automated Java code defect detection technology
下载PDF
导出
摘要 代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种"劳动力密集型"的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性. 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 experience is becoming more too. Because of the important role of inspection in software quality assurance field,it is vital to research and implement a useful and effective tool to support the software inspection. However,the traditional code inspection is a "labor intensive" process. With the aim of improving the efficiency of code inspection,a number of computer supported inspection methods have been proposed and widely used.The formal 7-steps process of software inspection was firstly described,and the traditional process was refined in this paper. An automatic defect detection tool was developed to support the steps such as:individual prepare,inspection meeting and defect fixing. The efficiency has been improved by using the tool,and the inspector can finish the inspection task quickly and easily with the support of the tool.This paper can be divided into three main parts:At first,concepts of software inspection are introduced,and then the related works are analyzed. By analyzing the tools which are widely used nowadays,the shortcomings of those tools are summarized. As to those shortcomings,the automatic defect detecting tool is implemented,which supports the defining of a new defect pattern. With the help of the defect pattern tree,the efficiency of defect detection is improved.Secondly,this paper discusses the method of how to implement the automatic code inspection. It mentioned about how to detect the defect according to the defect pattern,and because of the low efficiency of the automatic code inspection,this paper introduce the design of the defect pattern tree,with the help of it,the efficiency of the automatic code inspection can be improve significantly. At the end of the second part,the architecture of automatic code inspection software is introduced.The last main part of this paper,a experiment and its analysis is purposed. There are two part of the experiment to prove the effectiveness and efficiency of the automatic code inspection tool perspective. According to the IBM orthogonal defect classification(ODC),the analysis of the defect categories is introduced. This paper proves the automatic code inspection tool's efficiency through using it to detect to open source project.At last,the summary of this paper is given,and meanwhile,the outlook of automatic code inspection tool in purposed.
出处 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期64-70,共7页 Journal of Nanjing University(Natural Science)
基金 国家高技术研究发展计划(863计划)(2006AA01Z176) "十一五"国防预研项目
关键词 代码审查 缺陷检测 缺陷模式 缺陷模式树 code inspection defect detection defect pattern defect pattern tree
  • 相关文献

参考文献8

  • 1Ciolkowski M, Laitenberger O, Rombach D, et al. Software inspections, reviews and walkthroughs. Software Engineering Proceedings of the 24^th International Conference, 2002, 641-642.
  • 2张丹霞,张茂林.面向对象软件测试过程研究[J].南京大学学报(自然科学版),2005,41(z1):650-655. 被引量:1
  • 3Macdonald F M, Brooks J A, et al. Applying inspection to obiect-oriented software. Software Testing, Verification and Reliability, 6 (2) : 61 -82.
  • 4Chan L, Jiang K, Karunasekera S. A tool to support perspective based approach to so{tware code inspection. Software Engineering Conference, 2005, 110-117.
  • 5Kelly D, Shepard T. A case study in the use of defect classification in inspections. Proceedings of the IBM Centre for Advanced Studies Conference, 2001, 7-20.
  • 6Kyung GooDoh SeungCheol Shin. Analysis of secure information flow by model checking. Proceedings of The Asian Workshop on Programming Languages and Systems, 2001, 225 -236.
  • 7Chillarege R, Bhandari I S, Chaar J H, et al. Orthogonal defect classification-A concept for in-process measurements. IEEE Transactions on Software Engineering, 1992, 18 ( 2 ): 943-956,.
  • 8Basili V, Caldiera G, Rombach D H. The goal question metric paradigm. Encyclopedia of Software Engineering, 1994, 2(1) : 528-532.

同被引文献24

  • 1Avritzer A,Weyuke J.Monitoring smoothly degrading systems for increased dependability.Empirical Software Engineering Journal,1991,2(1):59-77.
  • 2Sheu G W,Chang Y S,Liang D,etal.A faulttolerant object service on CORBA.The International Conference on Distributed Computing Systems,1997:393-400.
  • 3Garlan D,Schmerl B.Model-based adaptation for self-healing systems.Workshop on Selfhealing System'02,2002(10):27-32.
  • 4Huang Y,Kintala C,Kolettis N,et al.Software rejuvenation:Analysis,module and applications.IEEE International Symposium on Fault Tolerant Computing,1995,381-390.
  • 5Trivedi K S,Vaidyanathan K,Goseva-Popstojanova K.Modeling and analysis of software aging and rejuvenation.The 33rd IEEE Annual Simulation Symposium,2000,270-279.
  • 6Dohi T,Goseva-Popstojanova K,Trivedi K S.Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.Pacific Rim International Symposium on Dependable Computing,2000,77-84.
  • 7Okamura H,Miyahara S,Dohi T.Effect of preventive rejuvenation in communication network system with burst arrival.Proceedings of Autonomous Decentralized Systems,2005,151-158.
  • 8Xie W,Hong Y G,Trivedi K S.Analysis of a two-level software rejuvenation policy.Reliability Engineering and System Safety,2005,87(1):13-22.
  • 9Castelli V,Harper R,Heidelberger P.Proactive management of software aging.IBM Jourhal of Research & Development,2001,45(2):311-332.
  • 10Liu Y,Trivedi K S,Ma Y.Modeling and analysis of software rejuvenation in cable modem termination systems.InternationaI Symposium on Software Reliability Engineering,2002,159-170.

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部