● 摘要
与通用领域的软件测试技术相比，嵌入式软件测试一直不能令人满意。实时、嵌入、运行环境特别等特点极大地增加了嵌入式软件测试的复杂性和困难程度。同时，在许多要求高可靠性的重要领域，例如航空航天、医疗等，不可能完全依靠自动测试工具来测试其应用软件。因此，在嵌入式软件的测试上就有引入代码审查的必要性。1976年Michael Fagan首次提出了代码审查的概念。审查在保证软件产品的质量中起着关键作用；但是它非常耗时，且需要知识和经验的积累。由于代码审查开销大、低效、消耗人力物力，使得研究并开发出支持代码审查的自动化工具来切实帮助提高代码审查工作的效率和质量十分必要。本文首先简要介绍了国内外相关领域的研究现状和代码审查的相关概念，并从代码审查的概念和流程出发，分析和确定了本课题开发的ADSP21060汇编代码审查辅助工具应具有的功能。而后，本文对课题涉及到的关键技术进行了分析，给出了可能会遇到的问题和解决这些问题的方法。接下来，本文详细介绍了ADSP21060汇编代码审查辅助工具的系统功能、体系结构和设计实现。在设计实现部分，分别对工具的不同模块进行了详尽的说明，给出了静态分析器的实现方案和若干缺陷的描述和检测方法。最后，本课题实现了辅助ADSP21060汇编语言代码审查的工具Sim21060Inspector，并把它应用到一个具体的实例中，而后根据实验的结果分析了工具的优点和不足。Sim21060Inspector提供了如下的功能以减轻代码审查的工作量，帮助代码审查的实施：编码风格的自动格式化、自动检查代码中的违规情况、准确定位违规发生的位置，并提供违规的详细描述和修改建议。另外，本课题还建立了用于ADSP21060汇编语言代码审查的编码规范，说明了编码中应遵循的事项，覆盖了控制流、数据流、注释、命名、运算、编码风格等方面；在此基础上，又进一步选取了41条缺陷规则，使其可以被Sim21060Inspector自动检测，其中一些控制流和运算方面的缺陷是ADSP21060代码审查中所特有的。