第四章 软件测试方法（此章完结）

4.5静态测试

是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、解耦等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序进行结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析、找出欠缺和可疑之处。静态测试结果可以用于进一步查错，并为测试用例选取提供指导。

静态测试包括：代码检查、静态结构分析、代码质量度量等。它可以由人工进行，也可以借助软件工具自动进行。

代码检查包括：代码检查、桌面检查、代码审查等，主要检测代码设计的一致性，代码对标准的遵循、可读性、代码的逻辑表达的正确性、代码结构的合理性等方面；可以发现违背程序的编写标准的问题，程序中不安全不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。

静态测试具有发现缺陷早、降低返工成本、覆盖重点和发现缺陷的概率要的优点以及耗时长、不能依赖测试和技术能力要求高的缺点。

静态测试最常用的计算就是评审，在软件活动中主要的评审是同行或阶段评审。

4.5.1同行评审

是一种学术成果审查程序，即一位作者的学术著作或计划被同一个领域的其他专家学者来加以评审。通常是指通过评审对象作者的同行来确认缺陷或错误的检查方法。一般评审对象是指文档、代码、流程、方法等。在软件活动的每个阶段中都需要开展评审活动，越早越好，便于发现问题。

1、同行评审的类型

同行评审的组织形式一般分为正规检视、技术评审、走读3中类型

1）正规检视：是在软件开发过程中进行的，发现、排除软件开发周期各阶段存在的错误、不足的过程，是一种静态测试方法，其生存周期为软件的开发周期、应用于开发过程中产生额