题目：基于规则的代码走查辅助工具的设计与实现

走查的一般形式是通过对于某个过程一步步的仿真来完成的，代码走查通常就是采用人工方式对代码执行进行仿真，检查代码和设计的一致性、代码逻辑和结构的合理性等方面是否存在缺陷。代码走查在保证软件产品的质量中起着关键作用，但非常耗时，而且需要知识和经验的积累。正是由于代码走查的重要性和开销大这对矛盾的存在，使得研究和实现辅助代码走查的系统，用以提高代码走查的质量和效率十分重要。本课题从代码走查的缺陷检测和过程管理两个方面入手，分析了代码走查各个过程的计算机辅助实现。在缺陷检测方面，提出基于静态分析结果和走查规则来自动检测代码缺陷的方法，构建松散耦合的走查系统；在走查过程辅助管理方面，尽力建立丰富的图、表，方便“走查会议”使用，并且可以辅助提交软件问题报告，各种特性都可辅助“走查会议”的圆满完成；另外对实践中总结出的各种特殊情况的走查也构成了本文的研究点。本文首先简要介绍了国内外相关领域的研究现状，分析传统的代码走查过程及特点，介绍了代码走查相关的一些定义和走查过程的详细描述；接着，根据作者在涿州的走查项目中所获得的实践经验以及多样的理论指导，描述了代码走查的相关技术，并根据总结出的100余种C++代码缺陷类型，抽象出走查规则的概念，作为本系统实现的基础；最后，结合QEsat/C++的总体结构和分析过程，详细介绍了C++代码走查辅助工具的系统功能、体系结构和设计实现。在系统设计和实现部分，首先介绍了如何基于静态分析结果进行代码走查；接着通过4个缺陷实例的检测，说明核心模块的功能和处理情况，核心模块包括：静态分析模块、规则管理系统、走查执行模块、结果显示模块、缺陷报告模块；最后给出系统比较的评测结果。另外，本文还论述了一些实际中有价值的走查方法，如不同版本代码的走查、同一程序员代码的走查等。