【摘 要】
:
代码审查是一种提高软件质量、降低成本的有效方法.目前大部分代码审查技术和工具主要用于结构化程序的审查.近年来,随着面向对象技术的飞速发展,面向对象程序的代码审查已经
论文部分内容阅读
代码审查是一种提高软件质量、降低成本的有效方法.目前大部分代码审查技术和工具主要用于结构化程序的审查.近年来,随着面向对象技术的飞速发展,面向对象程序的代码审查已经成为一个重要的研究课题.为此,我们对C++代码审查技术进行了深入研究,并研制一个C++程序的代码审查辅助工具CIT.该文首先介绍了代码审查的发展背景和基本的审查方法;其次针对C++面向对象封装的特点,借助于对类依赖图的切片,提出了对C++程序进行分块以及确定阅读顺序的方法;在此,我们收集了C++的审查清单(checklist),在原有基于审查清单的阅读方法(CBR)的基础上总结了针对这些checklist的手工审查方法,并用表格的方式对审查过程做出指导,改善了原有的CBR阅读方法,使阅读过程具备更强的目的性;最后我们详细讨论了CIT的设计思想和实现方法.CIT主要由分类规则集、源代码分析器、公共信息库和违例信息检测等模块组成.分类规则集提供了用户可以选择的针对C++的各种规则,它是进行代码审查的规范和标准.源代码分析器对C++源代码进行词法、语法分析和后期处理,抽象出程序的语法、语义存入公共信息库.公共信息库由信息表组成,通过树型结构高效地组织了程序的语法、语义信息,为不同的维护工具提供了通用的信息组织形式.违例信息检测模块调用公共信息库的对外接口,获取公共信息库的信息,根据编码规范对代码进行审查.CIT是一种灵活有效的基于计算机的代码审查辅助工具,可以实现代码自动审查,从而能在减少审查代价的同时增加错误检测的数量,对保证软件质量具有很大帮助.
其他文献
附网存储技术是目前发展最为成熟的,应用也最为广泛的网络存储技术.附网视频存储服务器应用了附网存储技术,针对视频资料的特点,为其存储和共享使用提供了基于网络的解决方案
随着市场的开放,世界经济愈来愈全球化,市场变得愈来愈国际化。随着我国加入WTO以及电信行业的重组,国内电信业的市场环境已渐趋合理且竞争将日益加剧。如何改变经营模式和服务
设计并实现基于TTCN的协议一致性测试工具是一项系统的工作.首先需要有理论的支持;其次要经过细致缜密的设计,保证正确高效;最后通过程序实现,达到实用的目的.我们的工作是在
通过对体全息存储系统的组成和特性进行分析可以知道,数据在全息存储系统中会受到系统噪声和随机噪声等因素的影响,这严重影响了数据读出和写入的数据传输率,并导致读出数据
异构平台iSCSI系统可包括多种操作系统平台的服务器和存储设备,服务器以动态可扩展方式访问异地存储资源.通过对iSCSI协议和iSCSI异构系统结构进行分析,针对Windows2000和Lin
作业管理系统(JMS)是建立在操作系统之上的一类中间件软件。它的主要用途是强化操作系统的作业管理功能,形成有效的分布资源管理模式,建立一种高吞吐量和高性能的分布式计算环
本文构筑了一个集群监控系统原型,并在此基础上构建了初步的并行任务管理系统,并对如何通过提高系统的磁盘和网络I/O性能来提高系统的整体性能做了有益的探讨,为有效利用集群
蓝牙匹克网由一个蓝牙主单元和最多七个从单元组成,在蓝牙匹克网中从单元只能和主单元通信,而从单元之间不能通信,蓝牙单元之间传输的数据称为分组.篮牙匹克网中的最多八个单
该文基于H.264编码技术,设计了一个实时视频传输系统框架.在这个框架里,按照功能将其分成若干个子模块加以实现:视频捕获模块,视频编解码模块,打包和控制模块,网络传输模块等