[2018年必威体育精装版整理]02、白盒测试.pptVIP

第 2 章 白盒测试 罗 东 俊 ZSUJONE@126.COM 主要内容 2.1静态白盒测试和动态白盒测试 2.2白盒测试的重点及其对策 2.3白盒测试的测试用例设计方法 2.4白盒测试的覆盖准则 2.5白盒测试的工具 2.6代码的持续集成及其对测试的影响 2.1静态白盒测试和动态白盒测试 白盒测试关心软件内部设计和程序实现，主要测试依据是设计文档。 根据测试方法分为静态白盒测试和动态白盒测试。 静态白盒测试是指在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 动态白盒测试是指测试运行中的程序，并利用查看代码功能和实现方式得到的信息来确定哪些需要测试、哪些不需要测试、如何开展测试，从而设计和执行测试，找出软件缺陷的过程。 静态白盒测试 进行静态白盒测试的首要原因是尽早发现软件缺陷，以找出动态黑盒测试难以揭示或遇到的软件缺陷。 独立审查代码的人越多越好，特别是在开发过程初期从底层进行。 代码静态质量分析 进行代码静态质量分析所依据的度量理论 McCabe度量法 HalStead度量法 McCabe度量法 McCabe度量法是由Thomas McCabe提出的一种基于程序控制流的复杂性度量方法。 基于图论，进行程序复杂度度量 V(G)=E-n+2p E为图G中的边数，n为节点数，p为连通分量个数 V(G)值过大(≥10)，程序不易理解与维护 McCabe度量法示例 HalStead度量法 Halstead度量法以程序中出现的操作符和操作数为计算对象， 给出源程序后，根据程序中的这些参数，按公式可求得程序功耗的估值。 程序的简明性 程序的词汇量 (2) 程序的词汇量像汉语中的字、英语中的单词一样，反映了程序员需要学习多少术语才能理解、编程和维护一个程序。采用下式度量： 程序的体积 程序的功耗 动态白盒测试 动态白盒测试不仅仅是查看代码，还包括直接测试和控制软件。 主要包括四个部分，分别为： 直接测试底层功能、过程、子程序和库。在Microsoft Windows中这称为应用程序编程接口(API)。 以完整程序的方式从顶层测试软件，但是根据对软件运行的了解调整测试案例。 从软件获得读取变量和状态信息的访问权，以便确定测试与预期结果是否相符，同时，强制软件以正常测试难以实现的方式运行。 估算执行测试时覆盖的代码量和具体代码，然后调整测试，去掉多余的，补充遗漏的。 动态白盒测试 vs. 调试技术 它们的目标不同： 动态白盒测试的目标是寻找软件缺陷，调试的目标是修复它们。 软件测试人员要把问题缩减为能够演示软件缺陷的最简化的测试案例，测试时甚至包括那些值得怀疑的代码行信息；进行调试的程序员从这里继续，判断到底是什么导致软件缺陷，并设法修复。 2.2白盒测试的重点及其对策 白盒测试的重点主要体现在五个方面： 模块接口测试 模块局部数据结构测试 模块边界条件测试 模块执行路径测试 模块出错处理测试。 白盒测试的重点 模块接口测试 模块接口测试重点检查进出模块的数据是否正确。 主要检查的内容包括以下几个方面： 模块的实际输入与定义的输入是否一致，包括检查参数个数、类型、顺序等。 模块中对于非内部／局部变量是否合理使用。 使用其他模块时，是否检查该模块的可用性和处理结果。 使用外部资源时，是否检查了可用性并及时释放资源，这些资源包括内存、文件、硬盘、端口等。 模块局部数据结构测试 模块局部数据结构测试重点检查局部数据结构能否保持完整性。 主要检查的内容包括以几个方面： 变量从来没有被使用，这时可能别的地方使用了错误的变量名。 变量没有初始化。 程序中包含了错误的类型转换。 程序中是否存在数组越界。 程序中是否存在非法指针。 程序中是否存在变量或函数名称拼写错误，以及使用了外部变量或函数。 模块边界条件测试 模块边界条件测试重点检查临界数据是否正确处理。 主要检查的内容包括以下几个方面： 普通合法数据是否正确处理。 普通非法数据是否正确处理。 边界内最接近边界的(合法)数据是否正确处理。 边界外最接近边界的(非法)数据是否正确处理。 模块独立执行路径测试 模块独立执行路径测试重点检查由于计算错误、判定错误、控制流错误导致的程序错误。 主要检查的内容包括以下几个方面： 程序中是否存在死代码。 程序中是否存在错误的计算优先级。 程序中是否存在精度错误，例如：比较运算错误、赋值错误。 表达式使用不正确符号，例如：应该使用“”，却用了“=”或者“”。 循环变量的使用错误，例如：错误赋值。 模块内部错误处理测试 模块内部错误处理测试检查内部错误处理设施是否有效。 主要检查的内容包括以下几个方面： 是否检查错误出现，尤其是在资源使用前后或者使用其他模块前后。 如果出现错