《软件测试》第4章课件.ppt

试用例
一、白盒测试概述
黑盒 测试 无法 穷举
不可能对所有输入值和输入值的组合 进行测试
无法测试SPEC中未规定的潜在需求进 行测试
白盒 测试 无法 穷举
程序结构的复杂性导致无法对所有路 径进行测试（测试时间和成本所不允 许）
无法检测出软件设计上的缺陷
一、白盒测试概述
优 深入程序内部，易于发现、定位错 点 误的位置和原因 白 缺 无法查出程序中的设计缺陷 盒 点 无法查出程序中遗漏的功能或路径 测 无法检测一些数据敏感性错误 试 对测试人员的能力要求较高
实训九：语句覆盖法设计“判断闰 年”测试用例
1、“判断闰年”和“求三数中最小值”C 语言代码
2、画出isLeap函数的程序流程图
3、使用语句覆盖法设计其测试用例（最 终设计的用例数可1个或多个）
4、试分析语句覆盖的局限性
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
4.2逻辑覆盖法之判定覆盖
教材P68 ※判定覆盖的内涵：使程序模块中的每
使用相关工具（主要是UML工具或脚本分 析工具）将程序源代码转换成各种结构 图，测试人员通过分析这些图形，找出 程序中的缺陷。
二、典型白盒测试方法
3、静态测试之代码质量度量法：
依据ISO 9126软件质量模型，针对软件质 量的6个维度（功能性、可靠性、可用 性、效率、可维护性、可移植性）构建 软件的静态质量度量模型，通过量化的 数据评估程序质量。
请大家将手机置于“振动”或“静音” 状态
第4章 白盒测试方法
第4章 白盒测试方法
本章要点
白盒测试概述 典型白盒测试方法 白盒法综合使用策略
一、白盒测试概述
黑 黑箱测试/功能测试/数据驱动测试/基于 盒 规格说明的测试 测 从用户角度进行测试 (宏观角度) 试 依据软件需求规格说明书设计用例
白 白箱测试/结构测试/逻辑驱动测试/基于 盒 程序本身的测试 测 从程序设计者角度进行测试 (微观角度) 试 依据软件设计说明书和程序代码设计测
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
语句覆盖 判定覆盖 条件覆盖
弱 覆 盖
判定-条件覆盖 强
条件组合覆盖 度
修正条件判定覆盖
强
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
应用步骤：
（1）分析源代码（通常为一个模块）
（2）画出程序流程图（如果软件设计说明书 存在相关程序流程图，则直接查阅软件设 计说明书即可），并标识出图中所有路径
教材P69
※判定-条件覆盖的内涵：使程序模块中 的每一条件（比较运算）都满足1次， 且覆盖每一判定分支
※判定-条件覆盖是判定覆盖和条件覆盖 的结 合，即判定-条件覆盖真包含判定覆盖和条 件覆盖
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
4.2逻辑覆盖法之条件组合覆盖
教材P69
※条件组合覆盖的内涵：使程序模块中 的每一判定的所有条件组合都至少实 现一次
1、静态测试之代码检查法：
（1）桌面检查：程序员自已检查自己编 写的程序（往往会被自己的思维框住）
（2）代码审查：由程序员、其它编程人 员和测试人员组成审查小组，召开代码 审查会，由ቤተ መጻሕፍቲ ባይዱ序编写者逐句讲解程序逻 辑，审查小组其他成员主要依据“缺陷 检查表”提出疑问、展开讨论，确认 BUG是否存在
二、典型白盒测试方法
※条件组合覆盖真包含判定-条件覆盖
实训九：使用逻辑覆盖法设计“判 断闰年”测试用例
1、“判断闰年” C语言代码（P80）
2、画出isLeap函数的程序流程图
3、使用各种逻辑覆盖法分别设计其测试 用例（最终设计的用例数可1个或多个）
4、试分析各语句覆盖之间的差别和局限 性
本章结束
感谢关注
一分支都执行1次
※判定覆盖真包含语句覆盖
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
4.2逻辑覆盖法之条件覆盖
教材P68-P69
※条件覆盖的内涵：使程序模块中的每 一条件（比较运算）都满足1次
※条件覆盖一般包含判定覆盖，但有个别例 外情况
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
4.2逻辑覆盖法之判定-条件覆盖
1、静态测试之代码检查法：
（3）走查：与代码审查基本类似，但区 别在于：
①走查多是从软件架构与软件逻辑角 度探究缺陷，而审查多是从语法结构规 范角度检查软件缺陷；
②走查中穿插了动态测试方法（运行 程序），而审查多为静态分析；
③另外，代码审查比走查更为正式。
二、典型白盒测试方法
2、静态测试之静态结构分析法：
（3）选择相应的覆盖方法（6种）
（4）测试一个或多个测试用例满足相应的覆 盖路径
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
4.1逻辑覆盖法之语句覆盖 自学P67-P68语句覆盖相关内容。
int LogicTest(int A,int B,int X) { if ((A>1)&&(B=0)) { X=X/A;}
测试成本较高
一、白盒测试概述
静态 白 测试
盒 方法
测
试
方 动态
法
测试 方法
代码检查法（桌面检查、代码审查、 走查）
静态结构分析法
代码质量度量法（效/维/移，靠/ 用/功）
逻辑覆盖法（语句~、判定~、条件 ~、判定-条件~、条件组合~、修正条 件判定~）
基本路径测试法
控制结构测试
■程序插桩
二、典型白盒测试方法
if ((A=2)||(X>1)) { X=X+1;} return X; } //教材P68 图4-1的代码
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
a
A
b
B
c
D
C
d
E
e
G
F
f
二、典型白盒测试方法
4、动态测试之逻辑覆盖法：
4.1逻辑覆盖法之语句覆盖
※语句覆盖的内涵：使程序模块中的 每一句代码都执行1次