[1]赵伟. 代码规则检查工具评析[J].计算机技术与发展,2015,25(07):193-197.
　ZHAO Wei. Evaluation and Analysis of Code Inspection Tools[J].,2015,25(07):193-197.
点击复制

 代码规则检查工具评析()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
25
期数:
2015年07期
页码:
193-197
栏目:
应用开发研究
出版日期:
2015-07-10

文章信息/Info

Title:
 Evaluation and Analysis of Code Inspection Tools
文章编号:
1673-629X（2015)07-0193-05
作者:
 赵伟
 江苏自动化研究所
Author(s):
 ZHAO Wei
关键词:
 ; 软件测试; 代码规则检查; MISRA ; 缺陷
Keywords:
 ; software testing; code rule checking; MISRA; defect
分类号:
TP301
文献标志码:
A
摘要:
 软件测试是保障软件质量最有效的手段，而代码规则检查能够透过征兆直接看到问题本质，快速找到缺陷，发现30%~70%的逻辑设计和编码缺陷，是所有测试手段中最高效的。由于此方法要求测试人员熟悉软件编程，因此对测试人员有较高要求。且读懂对方代码，也是一项耗时、费力的工作，严重影响测试效率。代码规则检查工具实现了对代码是否符合国军标相关标准的规则检查，能按照代码规则自动、快速验证代码与相关标准的复合性，同时检查代码的可读性、代码与设计的一致性、代码逻辑表达的正确性及代码结构的合理性等。通过对几种主流的代码规则检查工具的对比分析，探讨了各个工具的优缺点及选择的诸多因素，对于软件测试人员如何选择合适的该类测试工具，具有实际参考价值。
Abstract:
 Software testing is the most effective means of software quality assurance. But code rule checking can directly see the essence through signs. Finding the defects quickly and finding 30%-70% logic design and coding defects is the most efficient in all test means. But this method requires the tester to be familiar with software programming,so it has higher requirements. And reading opposite code is a time-consuming and laborious work,it can seriously affect the efficiency of the test. Code checking tool can check if the code conform to the relevant standard and it also can quickly and automatically check if the code follow the relevant standard according to the code rule. At the same time,it can check the consistency of code and design,the readability of the code,the correctness of code logical expression and the rationality of the code structure. Through several mainstream contrastive analysis of code rule checking tools,discuss the advanta-ges and disadvantages of each tool and various factors for the selection. It has actual reference value for software staff how to select suit-able testing tool of this kind.

相似文献/References:

[1]张磊 王晓军.基于遗传算法的业务流程测试[J].计算机技术与发展,2010,(03):155.
　ZHANG Lei,WANG Xiao-jun.Test of Business Process Based on Genetic Algorithm[J].,2010,(07):155.
[2]樊玮 朱贺.软件结构化测试用例自动生成方法[J].计算机技术与发展,2010,(05):26.
　FAN Wei,ZHU He.Summary of Method for Software Structured Testing Case Automatic Generation[J].,2010,(07):26.
[3]高莉 李龙澍.基于UML状态图的测试技术研究[J].计算机技术与发展,2009,(05):68.
　GAO Li,LI Long-shu.A Survey about UML Statechart Testing[J].,2009,(07):68.
[4]徐金宝 解芳 吴美红 李升.轻量级Java EE框架下软件测试的应用研究[J].计算机技术与发展,2009,(09):115.
　XU Jin-bao,XIE Fang,WU Mei-hong,et al.Research on Software Testing in Light - Weight Java EE Framework[J].,2009,(07):115.
[5]孙淑香 侯秀萍 蔡文涛.基于树型模型的黑盒测试用例自动生成[J].计算机技术与发展,2009,(02):77.
　SUN Shu-xiang,HOU Xiu-ping,CAI Wen-tao.Black- Box Testing Case Automatic Generation Based on Tree Model[J].,2009,(07):77.
[6]马菁 顾景文.决策树在软件测试用例生成中的应用[J].计算机技术与发展,2008,(02):66.
　MA Jing,GU Jing-wen.Application of Decision Tree on Software Test Case Generation[J].,2008,(07):66.
[7]张磊磊 李心科.基于API和Postscript的图形自动化验证方法[J].计算机技术与发展,2008,(05):94.
　ZHANG Lei-lei,LI Xin-ke.Research on Graphical Automated Verification Method Based on API and Postscript[J].,2008,(07):94.
[8]万松松 薛锦云 谢武平.最小测试用例集生成方法改进及应用[J].计算机技术与发展,2008,(10):181.
　WAN Song-song,XUE Jin-yun,XIE Wu-ping.Improvement and Application of Minimal Test Suite Generation Technology[J].,2008,(07):181.
[9]邓璐娟 卢华琦 孙义坤 刁海港.改进的粒子群算法在测试数据生成中的应用[J].计算机技术与发展,2010,(07):216.
　DENG Lu-juan,LU Hua-qi,SUN Yi-kun,et al.Improved Adaptive PSO Application on Automatic Test Data Generation[J].,2010,(07):216.
[10]赵荣利 崔志明 陈建明.面向对象软件测试技术的研究与应用[J].计算机技术与发展,2007,(01):15.
　ZHAO Rong-li,CUI Zhi-ming,CHEN Jian-ming.Research and Application on Object- Oriented Software Testing[J].,2007,(07):15.
[11]孙黎[][],张涛[],周珊[]. 基于ATE的FPGA软件自动化测试技术的研究[J].计算机技术与发展,2014,24(08):6.
　SUN Li[][],ZHANG Tao[],ZHOU Shan]. Research on Software Automation Testing Technology of FPGA Based on ATE[J].,2014,24(07):6.
[12]贾冀婷. 基于K均值PSOABC的测试用例自动生成方法[J].计算机技术与发展,2015,25(06):12.
　JIA Ji-ting. Automatic Testcase Generation Method Based on PSOABC and K-means Clustering Algorithm[J].,2015,25(07):12.
[13]朱国冉,李怀忠. UML活动图到有色Petri网映射方法的研究[J].计算机技术与发展,2015,25(11):71.
　ZHU Guo-ran,LI Huai-zhong. Research on Mapping Method from UML Activity Diagram to Petri Nets[J].,2015,25(07):71.
[14]刘冬[][],靳蓓蓓[],阙向红[]. 基于一种遗传算法的最小测试用例集自动生成[J].计算机技术与发展,2016,26(04):86.
　LIU Dong[][],JIN Bei-bei[],QUE Xiang-hong[]. Automatic Generation of Minimal Test Set Based on a Genetic Algorithm[J].,2016,26(07):86.
[15]姜文,刘立康. 软件调试问题研究[J].计算机技术与发展,2017,27(11):1.
　JIANG Wen,LIU Li-kang. Research on Software Debugging[J].,2017,27(07):1.

更新日期/Last Update: 2015-09-08