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

第 5 讲白盒测试 主要内容 概述 静态测试 动态测试 白盒测试的其它方法 白盒测试的综合策略 1 概述(1/7) 什么是白盒测试 白盒测试是从程序结构入手，是基于代码的测试 被测程序的结构对测试者来说是透明的，又称结构测试 白盒测试的主要目的 保证一个模块中的所有独立路径至少被执行一次 对所有的逻辑值均需要测试真、假两个分支 在上下边界及可操作范围内运行所有循环 检查内部数据结构以确保其有效性 1 概述(2/7) 白盒测试常用的方法 静态测试 代码检查法 静态结构分析法 动态测试 逻辑测试 语句覆盖 判定覆盖 条件覆盖 判定-条件覆盖 条件组合测试 路径测试 1 概述(3/7) 白盒测试的其它方法 条件测试 数据流测试 循环测试 域测试 Z路径测试 1 概述(4/7) 程序图 是流程图的一种简化 圈复杂度 代码结构复杂性的度量方法 程序图：描述程序控制流的一种图示方法 程序圈复杂度：程序结构复杂性度量 从程序的环路复杂性可导出程序基本路径集合中的独立路径条数 1 概述(5/7) 几种结构的程序图 1 概述(6/7) 复合条件的程序图 当条件语句中用到一个或多个布尔运算符(逻辑OR，AND，NAND，NOR)时，就出现了复合条件 要对判定结点进行分解 示例：如下述程序 对应的逻辑为 1 if a or b 2 x 3 else 4 y 1 概述(7/7) 圈复杂度计算，有三种方法计算 V(G)=程序中的环域数 V(G)=E-N+2，E是程序图中边的数量，N是程序图中结点的数量 V(G)=P+1，P是流图G中判定结点的数量 圈复杂度是一种为程序逻辑复杂性提供定量的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界 独立路径必须包含一条在定义之前不曾用到的边 2 静态测试 代码检查法 静态结构分析法 2.1 代码检查法(1/4) 代码审查方式 办公桌检查 由程序员检查自已编写的程序 在程序通过编译之后，对源码进行分析检查 代码审查 由若干程序员和测试员组成审查小组 通过阅读、讨论、争议来对程序文档进行静态分析 走查 由若干程序员和测试员组成审查小组 审查第一步：材料下发每个人，各自认真阅读、研究 审查第二步：集中开会，大家根据预先设计好的测试用例，模拟运行程序，记录程序踪迹，供分析讨论之用 2.1 代码检查法(2/4) 代码审查的主要项目 变量交叉引用表 标号交叉引用表 子程序、宏、函数 等价性检查 常量检查 标准检查 风格检查 比较控制流 程序的规格说明 2.1 代码检查法(3/4) 代码审查的规则 2.1 代码检查法(4/4) 代码缺陷审查表 2.2 静态结构分析法(1/2) 使用静态结构分析工具分析程序源代码的内部结构 系统结构 数据结构 数据接口 内部控制逻辑 可生成的分析文档 函数调用关系图 模块控制流程图 内部文件调用关系图 子程序表 宏和函数参数表 2.2 静态结构分析法(2/2) 静态结构分析工具 Logiscope 面向源代码进行工作。重点是帮助代码评审和动态覆盖测试 提供文档自动生成工具。可以将代码评审的结果和动态测试情况实时生成所要求的文档 FxCop 代码分析工具，利用内视技术对.NET框架设计设计出的.exe或者.dll文件有关信息（包括外部引用、资源文件、类型描述信息、微软中间语言等）进行检查 。。。 3 动态测试 逻辑覆盖法 路径覆盖法 基本路径覆盖法 3.1 逻辑覆盖法 语句覆盖 运行被测试程序，使得每一条可执行语句至少执行一次 分支覆盖（又称判定覆盖） 运行被测程序，使程序中每个判断的取真分支和取假分支至少执行一次 条件覆盖 运行被测程序，使程序中每个判断的每个条件的每个可能取值至少执行一次 判定-条件覆盖 运行被测程序，使程序中每个判断的每个条件的所有可能取值至少执行一次，并且每个可能的判断结果也至少执行一次 条件组合测试 运行被测程序，使程序中每个判断的所有可能的条件取值组合至少执行一次 以上五种的测试强度依次增强 3.2 路径覆盖法 结点覆盖 运行所测程序，要覆盖程序中所有结点 边覆盖 运行所测程序，要覆盖程序中所有边 路径测试 运行所测程序，要覆盖程序中所有可能的路径 以上三种的测试强度依次增强 示例5-1：逻辑覆盖和路径覆盖 源程序： void DoWork(int x,int y,int z) { int k=0,j=0; if((x3)(z10)) { k=x*y-1; //语句块1 j=sqrt(k); } if((x= =4)||(y5)) { j=x*y+10;