论文部分内容阅读
审查的概念是由1BM的Kingston NY实验室的Michael E.Fagan提出的。审查是一种由非作者的个人或小组对软件需求分析或编码进行细致考察,来发现错误、违例或其他问题的过程。对于代码,首先要求是它必须正确,能够按照程序员的真实思想去运行;其次是代码必须清晰易懂,使别的程序员能够容易理解代码所进行的实际工作,这就是所谓的编码规范。
本文探讨了一些典型的代码规范,对已有的代码审查及相关软件进行了分析比较。讨论了软件代码审查工具的设计思想和实现方法。利用词法分析生成工具FIEX,语法分析器生成工具BYACC和后期处理分析器构造出通用的C源代码分析器(PARSER)。PARSER对C源代码进行词法、语法分析和后期处理,抽象出程序的语义存入公共信息库。公共信息库由信息表组成,通过树型结构高效地组织了程序的语义信息,为不同的维护工具提供了通用的信息组织形式。代码审查工具调用公共信息库的对外接口,获取公共信息库的信息,根据编码规范对代码进行审查。