题目：代码审查辅助工具的研究与实现

代码审查是由Michael Fagan在1976年首次提出的，是发现软件缺陷最有效的方法之一。代码审查通常是采取人工阅读代码的方式来执行，检查代码和设计的一致性、代码逻辑和结构的合理性等方面是否存在缺陷。代码审查在保证软件产品的质量中起着关键作用；但是代码审查非常耗时，且需要知识和经验的积累。由于代码审查的有效性、重要性和开销大这对矛盾的存在，使得研究并开发出一个代码审查的综合辅助工具来切实帮助提高代码审查工作的效率和质量变得十分必要。本文主要研究：面向对象给代码审查带来的程序理解方面的困难，提出使用程序静态分析技术和关注点建模技术来分析程序结构，跟踪程序中存在的离域现象；研究各种对审查过程的改进方法，提出一个通用的审查过程模型；并研究审查过程中需要计算机辅助支持的各种要素。根据所提出的解决方案，并在分析了老版QESat（Quality Engineering-Software Analysis and Testing Tools）体系结构的不足的基础上，设计实现了一个基于Eclipse平台的代码审查辅助工具。本文详细介绍了工具的系统功能、体系结构以及支持人工辅助审查的相关功能模块。然后通过一个实例介绍了工具的使用流程，并与其他工具进行了比较。最后，总结了系统的功能并指出了今后的发展方向。