● 摘要
自从1976年Michael Fagan首次提出代码审查以来，代码审查一直被认为是一种重要而且有效的改进软件质量的方法。代码审查通常采用人工方式进行，检查代码和设计的一致性、代码逻辑和结构的合理性等方面。但随着软件规模的不断增大，人工代码审查耗时、成本巨大且需要知识和经验积累的问题也越来越引起人们的关注。由于代码审查对于软件质量保障的重要地位，因此研究并开发实用、高效的代码审查辅助工具，解决代码审查低效的问题就显得尤为重要。 本文从代码审查的7步流程入手，研究并改进了传统的流程，研发了缺陷自动检测工具，对其中的“个人准备”、“审查会议”和“缺陷修改”三个阶段进行了辅助支持，提高了代码审查的效率，从而帮助审查人员简单、高效的完成代码审查的工作。 本文首先总结了代码审查领域的相关概念，对国内外的研究现状进行了深入的调研，接着对目前流行的代码审查工具进行了研究、总结和分类，并发现了目前研究中存在的不足；针对这些不足，本文在实现自动缺陷检测的基础上提出了对缺陷模式定制和扩充的方法，并引入了缺陷模式树的概念进一步提高了缺陷自动检测的效率。 结合QESat 2.3的整体结构和分析流程，本文分别阐述了缺陷检测系统的系统功能、体系结构和设计实现。并在设计实现中具体分析了语法树的解析过程、扩充缺陷模式的两种方法、缺陷模式树对提高缺陷检测效率的辅助作用以及用于提高工具易用性的设计。最后，通过实例分析验证了本系统的有效性和高效性，并对检测出的缺陷违规进行了分析和论述。