软件工程—软件测试概论43925.ppt

测试的分类与比较 测试方式 白盒测试：关心软件内部设计和程序实现，主要测试依据是设计文档 黑盒测试：不关心软件内部，只关心输入输出，主要测试依据是需求文档 测试阶段 单元测试、集成测试、系统测试、验收测试。是“从小到大”、“由内至外”、“循序渐进”的测试过程，体现了“分而治之”的思想。 单元测试的粒度最小，一般由开发小组采用白盒方式来测试，主要测试单元是否符合“设计”。 集成测试界于单元测试和系统测试之间，起到“桥梁作用”，一般由开发小组采用白盒加黑盒的方式来测试，既要验证“设计”又要验证“需求”。 系统测试的粒度最大，一般由独立测试小组采用黑盒方式来测试，主要测试系统是否符合“需求规格说明书”。 验收测试与系统测试非常相似，主要区别是测试人员不同，验收测试由用户执行。 §7.2 两种类型的测试 “彻底地测试”难以成为现实，要考虑时间、费用等限制，不允许无休止地测试。 7.2.1 黑盒测试 又称:功能测试 数据驱动测试 基于规格说明书的测试 7.2.2 白盒测试 又称:结构测试 玻璃盒测试 基于覆盖的测试 根据被测程序的逻辑结构设计测试用例 力求提高测试覆盖率 黑盒测试与白盒测试比较 黑盒测试是从用户观点，按 规格说明书要求的输入数据与输 出数据的对应关系设计测试用例, 是根据程序外部特征进行测试。 白盒测试是根据程序内部逻辑结构进行测试。 7.2.3 穷举测试 例:输入 三条边长 黑盒测试 可采用的测试用例数 (设字长16位) 执行时间: 设测试一次需1ms 共需一千年。 =2 X2 X2 ≈3X10 16 16 16 14 7.2.3 穷举测试 白盒测试 例: 含4个分支,循环次数 ≤20,从A到B的可能 路径 执行时间: 设测试一次需3ms 穷举测试需1千年. =5+5 +..+5 +5 ≈10 20 1 2 19 14 A B 不论黑盒还是白盒测试都不能 进行穷尽测试, 所以软件测试不可能发现程序中存在的所有错误 因此需精心设计测试方案, 力争尽可能少的次数,测出尽可能多的错误. 黑盒测试与白盒测试能发现的错误 C B A D -只能用黑盒测试发现的错误 A -只能用白盒测试发现的错误 -两种方法都能发现的错误 -两种方法都不能发现的错误 B C D 有了“黑盒”测试为什么还要“白盒”测试 黑盒测试只能观察软件的外部表现，即使软件的输入输出都是正确的，却并不能说明软件 就是正确的。因为程序有可能用错误的运算方式得出正确的结果，例如“负负得正，错错得对”，只有白盒测试才能发现真正的原因。 白盒测试能发现程序里的隐患，象内存泄漏、误差累计问题。在这方面，黑盒测试存在严重的不足。 §7.3白盒测试的测试用例设计 7.3.1 逻辑覆盖法 例:PROCEDURE SAMPAL (A，B：REAL； VAR X：REAL); BEGIN IF (A1) AND (B=0) THEN X:=X/A IF (A=2) OR (X1) THEN X:=X+1 END; 逻辑覆盖准则: (1)语句覆盖 (2)判定覆盖 (3)条件覆盖 (4)判定/条件覆盖 (5)条件组合覆盖 (6)路径覆盖 (7)点覆盖 (8)边覆盖 1语句覆盖 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 使程序中每个语句至少执行一次 测试用例: A=2，B=0，X=4 只需设计一个测试用例: 输入数据：A=2，B=0，X=4 即达到了语句覆盖; 但如第一个判定中，AND错写成OR，则执行结果不变，即不能查出这个问题，故 语句覆盖是最弱的逻辑覆盖 2判定覆盖 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 使每个判定的真假分支都至少执行一次 A=3，B=0 ，X=1 A=2，B=1 ，X=1 例:可设计两组测试用例: A=3，B=0 ，X=1 可覆盖c、d分支 A=2，B=1 ，X=1 可覆盖b、e分支 两组测试用例可覆盖所有判定的真假 分支 条件覆盖仍是弱的逻辑覆盖 第一判定表达式: 设条件 A1 取真 记为 T1 假 T1 条件 B=1 取真 记为 T2 假 T2 第二判定表达式: 设条件 A=2 取真