南京大学学报(自然科学版) ›› 2010, Vol. 46 ›› Issue (1): 6470.
薛 頔 , 金茂忠 , 刘 超
Xue Di , J in Mao 2 Zhong , L iu Chao
摘要: 代码审查是一种高效的程序缺陷检测方法 , 因为它能够在软件开发的过程中找出程序的错
误 , 这很大程度上降低了改正错误的成本 . 但是传统的代码审查是一种 “劳动力密集型” 的方法 , 为了提
高代码审查的效率 , 一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用 . 本文介
绍了支持代码审查的自动化代码缺陷检测技术的相关内容 . 结合 Java 语言的特点对自动代码缺陷检测
体系结构和工作的原理做了论述 , 并引入了缺陷模式树来提高检测的速度 ; 最后通过具体的实验来分析
了自动化代码缺陷检测的有效性和高效性 .
[ 1 ] Ciolkowski M , Laitenberger O , Rombach D , et al . Software inspections , reviews and walk -throughs. Software Engineering Proceedings of the 24 th International Conference , 2002 , 641 ~ 642. [ 2 ] Zhang D X, Zhang M L. Research on object -o -riented software testing process. Journal of Nanjing University(Nature Sciences) , 2005 , 5 : 650 ~ 656. ( 张丹霞 , 张茂林 . 面向对象软件测试过程研究 . 南京大学学报 ( 自然科学 ) , 2005 , 5 : 650 ~ 656) . [ 3 ] Macdonald F M , Brooks J A , et al . Applying inspection to object 2 oriented software. Software Testing , Verification and Reliability , 6 ( 2) : 61 ~ 82. [ 4 ] Chan L , Jiang K, Karunasekera S. A tool to support perspective based approach to software code inspection. Software Engineering Confer -ence , 2005 , 110 ~ 117. [ 5 ] Kelly D , Shepard T. A case study in the use of defect classification in inspections. Proceedings of the IBM Centre for Advanced Studies Confer-ence , 2001 , 7 ~ 20. [ 6 ] Kyung GooDoh SeungCheol Shin. Analysis of secure information flow by model checking. Proceedings of The Asian Workshop on Pro-gramming Languages and Systems , 2001 , 225 ~ 236. [ 7 ] Chillarege 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. [ 8 ] Basili V , Caldiera G, Rombach D H. The goal question metric paradigm. Encyclopedia of Soft -ware Engineering , 1994 , 2(1) : 528 ~ 532. |
No related articles found! |
|