W-Y-2-1 静态测试课件.pptxVIP

单元二白盒测试之静态测试

静态测试1979年，格伦福德?迈尔斯在在《软件测试的艺术》一书中首次提出：“软件测试是为了发现错误而执行程序的过程”，推翻了软件测试是为了验证程序正确的说法。随着软件的复杂度越来越高，人们对软件质量的要求也发生了变化，软件运行无错并不是衡量软件质量的唯一标准。实际上，在不运行程序的状态下对程序规范进行检测、对程序结构进行分析，往往能发现程序潜在的错误。静态测试主要有两种方法：代码检查法、静态结构分析法。

目录目录CONTENTS代码检查01静态结构分析02

代码检查桌面检查（DeskChecking）通常由程序设计人员对代码进行分析、检查，以发现程序中的错误，并补充相关文档。代码检查通常借助一定的技术手段，对代码进行以下检查。（1）检查变量的交叉引用表：检查是否存在未说明的变量、违反了类型规定的变量以及变量的引用和使用的正确性。（2）检查标号的交叉引用表：验证所有标号的正确性以及转向指定位置的标号是否正确。（3）检查子过程或函数：验证调用是否正确，调用的子过程或函数是否存在以及参数顺序、个数、类型、单位的一致性。（4）等价性检查：检查全部等价变量的类型和单位的一致性。（5）常量检查：检查常量引用的取值、数制和类型的一致性。（6）设计检查：检查程序设计结构是否合理。（7）风格检查：检查程序编写是否符合编程标准，包括注释、缩进、命名是否规范等。（8）控制流检