W-Y-2-1 静态测试电子课件

单元二白盒测试之静态测试静态测试1979年，格伦福德•迈尔斯在在《软件测试的艺术》一书中首次提出：“软件测试是为了发现错误而执行程序的过程”，推翻了软件测试是为了验证程序正确的说法。随着软件的复杂度越来越高，人们对软件质量的要求也发生了变化，软件运行无错并不是衡量软件质量的唯一标准。实际上，在不运行程序的状态下对程序规范进行检测、对程序结构进行分析，往往能发现程序潜在的错误。静态测试主要有两种方法：代码检查法、静态结构分析法。目录目录CONTENTS代码检查01静态结构分析02代码检查桌面检查（DeskChecking）通常由程序设计人员对代码进行分析、检查，以发现程序中的错误，并补充相关文档。代码检查通常借助一定的技术手段，对代码进行以下检查。（1）检查变量的交叉引用表：检查是否存在未说明的变量、违反了类型规定的变量以及变量的引用和使用的正确性。（2）检查标号的交叉引用表：验证所有标号的正确性以及转向指定位置的标号是否正确。（3）检查子过程或函数：验证调用是否正确，调用的子过程或函数是否存在以及参数顺序、个数、类型、单位的一致性。（4）等价性检查：检查全部等价变量的类型和单位的一致性。（5）常量检查：检查常量引用的取值、数制和类型的一致性。（6）设计检查：检查程序设计结构是否合理。（7）风格检查：检查程序编写是否符合编程标准，包括注释、缩进、命名是否规范等。（8）控制流检查：比较设计控制流图和实际程序生成的控制流图的差异。（9）路径抽查：在设计的控制流图中选择某条路径，在程序中激活这条路径，如果不能激活，则程序可能有错。（10）比对检查：将实际的代码和期望的代码（规格说明书要求的代码）进行比较，从它们的差异中发现程序的问题和错误。桌面检查桌面检查走查代码检查代码检查桌面检查桌面检查走查代码检查代码审查由审核小组通过会议方式对程序进行阅读、讨论，审核小组成员由程序设计人员和测试人员组成，按以下步骤进行代码审查。（1）审核准备会前，程序员准备一份常见错误的清单，供与会者对照检查，小组成员提前阅读设计规格书、程序文本等相关文档，以提高审查的实效。在实际工作中，程序员在会前准备审查资料时往往会发现一些错误并进行对应，因此，准备过程也是发现错误的重要阶段。（2）会议审核会中，程序员逐句讲解程序的逻辑，审核小组提出问题，进行讨论。在程序员讲解和小组过程中会暴露一些问题，审查会将讨论决定对发现问题的对应策略。走查是指程序设计人员和测试人员组成3-5人的审查小组通过逻辑运行程序，发现问题。通常按以下步骤进行走查。（1）走查准备走查前，程序员应准备好需求描述文档、程序设计文档、程序的源代码清单、编程规范和代码缺陷检查表等，小组成员须提前阅读相关准备材料。（2）走查实施小组成员利用测试用例，使程序逻辑运行，记录程序的逻辑运行的走向，发现、讨论、解决问题。在走查过程中，借助测试用例对程序的逻辑和功能提出问题，结合问题开展讨论，以发现存在的问题。静态结构分析进行静态结构分析，通常需要使用测试工具自动获取代码的系统结构、数据结构、数据接口、内部控制逻辑等信息，生成类图、方法（函数）调用关系图、模块控制流图等各种图形、图表，以清晰地呈现软件的组成结构。测试人员通过分析这些图表检查软件是否存在缺陷。通常采用以下方法进行静态结构分析。1.借助图表进行分析测试人员通常使用测试工具或通过人工分析程序结构生成各类图表，如函数调用关系图、控制流图、标号交叉引用表（常见于汇编语言中）、变量交叉引用表、子程序调用表、常量表等，这些图表能为代码的静态分析提供辅助，从这些图表中能检查出函数调用关系是否正确、是否存在说明与使用的一致性错误等。2.静态错误分析静态错误分析主要为了发现代