软件工程005演示文稿.PPTVIP

§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的可能 路径 执行时间: 设测试一次需2ms 穷举测试需5亿年. =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 即达到了语句覆盖; 语句覆盖是最弱的逻辑覆盖 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=3 可覆盖c、d分支 A=2，B=1 ，X=1 可覆盖b、e分支 两组测试用例可覆盖所有判定的真假 分支 语句覆盖仍是弱的逻辑覆盖 (3)条件覆盖 使每个判定的每个条件的可能取值至少执行一次 第一判定表达式: 设条件 A1 取真 记为 T1 假 T1 条件 B=1 取真 记为 T2 假 T2 第二判定表达式: 设条件 A=2 取真 记为 T3 假 T3 条件 X1 取真 记为 T4 假 T4 条件覆盖 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 满足条件: T1,T1, T2,T2 T3,T3 T4,T4 测试用例 通过 满足的 覆盖 A B X 路径 条件 分支 1 0 3 abe T1,T2,T3,T4 b,e 2 1 1 abe T1,T2,T3,T4 b,e 两个测试用例覆盖了四个条件八种可能 取值。 未覆盖c、d分支，不满足判定覆盖的要 求. 条件覆盖不一定包含判定覆盖 判定覆盖也不一定包含条件覆盖 (4)判定/条件覆盖 选取足够多的测试用例，使判断中的每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次. 判定/条件 覆盖 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X