C++代码审查相关技术研究及辅助工具的设计.pdfVIP

摘 要 代码审查是一种提高软件质量、降低成本的有效方法。目前大部分代码审查技术和工具 主要用于结构化程序的审查。近年来，随着面向对象技术的飞速发展，面向对象程序的代码 审查己经成为一个重要的研究课题。为此，我们对C+十代码审查技术进行了深入研究，并研 制一个C++程序的代码审查辅助工具CIT, 本文首先介绍了代码审查的发展背景和基本的审查方法;其次针对C+十面向对象封装 的特点，借助于对类依赖图的切片，提出了对C++程序进行分块以及确定阅读顺序的方法: 在此，我们收集了C++的审查清单((checklist)，在原有基于审查清单的阅读方法((CBR)的基础 上总结了针对这些 checklist的手工审查方法，并用表格的方式对审查过程做出指导，改善 了原有的CBR阅读方法，使阅读过程具备更强的目的性:最后我们详细讨论了CIT的设计思 想和实现方法口 CIT主要由分类规则集、源代码分析器、公共信息库和违例信息检测等模块组成。分类 规则集提供了用户可以选择的针对C++的各种规则，它是进行代码审查的规范和标准.源代 码分析器对C十+源代码进行词法、语法分析和后期处理，抽象出程序的语法、语义存入公共 信息库。公共信息库由信息表组成，通过树型结构高效地组织了程序的语法、语义信息，为 不同的维护工具提供了通用的信息组织形式。违例信息检测模块调用公共信息库的对外接 口，获取公共信息库的信息，根据编码规范对代码进行审查。 CIT是一种灵活有效的基于计算机的代码审查辅助工具，可以实现代码自动审查，从而 能在减少审查代价的同时增加错误检测的数量，对保证软件质量具有很大帮助。 关键字 代码审查，面向对象，词法、语法分析，审查清单，公共信息库 ABSTRACT CodeInspectiontechnologiesnadtoolsarenaeffectivewayofsoftwarequalityimproving nadcostsaving.WiththequicklydevelopmentofObjectedOrientedTechnologies,thecode inspectionofobject-orientedprogramhasbeenanimportantresearchfields.TheC++code inspectiontechnologyisthoroughlyresearchedinthispapernadnaassistancetoolofC++code nispection一CITisdeveloped Atfirstthebackgroundandbasemethodsofcodeinspectionareintroduced.Andthen accordingtooneoftheobjectedorientedcharacteristicsofC++:encapsulation,weproposeda methodofC++programpartitionbasedontheslicingofprogramclassdependencegraph (PCDG),inordertodecidetheprogramreadingsequence.ThenthechecklistsofC++program arecollectednadthemanualinspectionmethodisconcludedbasedontheChecklistBased Reading(CBR).WeusetablestoinstructtheinspectionprocedurenadimprovetheCBRmethod tobemorepractical.Atlastthedesignideasandimplementationmethodsoftheautomationtools CITaredeeplydiscussed. CITismadeofseveralimportantpartssuchasclassifiedrulescollection,sourcecodeparser, commoninformationdatabasenadviolationinformationdetectionmodule.Classifiedrules collectionprovidesalltherulesthatcnabechosenbytheuser