软件工程教案_10(第六章 节 软件测试)？？ PPT课件.ppt

静态测试：基本特征是在对软件进行 分析、检查和审阅，不实 际运行被测试的软件。 静态测试约可找出30～70%的逻辑设计错误. 对需求规格说明书、软件设计说明书、源程序做检查和审阅，包括： 是否符合标准和规范； 通过结构分析、流图分析、符号执行指出软件 缺陷； 动态黑盒测试 —闭着眼睛测试软件 软件 输入 不深入代码细节的测试方法称为动态黑盒测试。 软件测试员充当客户来使用它。 输出 动态白盒测试 —带上X光眼镜测试软件 ?????????????? 3581322.293419985680302829734315 250*(1+0.015)*((1+0.015)^360-1)/0.015 250*(1+0.015)*((1+0.015)^360-1)/0.015 §6.2 两种类型的测试 6.2.1 黑盒测试 (用户规格说明书、外部特征) 功能测试、数据驱动测试、基于规格说明书的测试 6.2.2 白盒测试（内部逻辑结构） 开盒测试、结构测试、玻璃盒测试、基于覆盖的测试 根据逻辑结构设计测试用例;力求提高覆盖率; C B A D 比较 黑盒测试 白盒测试 优 点 缺 点 性 质 ①适用于各阶段测试 ②从产品功能角度测试 ③容易入手生成测试数 据 ①可构成测试数据使特定程 序部分得到测试 ①某些代码得不到测试 ②如果规格说明有误， 则无法发现 ③不易进行充分性测试 ①不易生成测试数据(通常) ②无法对未实现规格说明的 部分进行测试 ③工作量大，通常只用于单 元测试，有应用局限 是一种确认技术，回答 “我们在构造一个正确 的系统吗？” 是一种验证技术，回答 “我们在正确地构造一个系 统吗？” 6.2.3 穷举测试 例:输入 三条边长 黑盒测试 可采用的测试用例数 (设字长16位) 执行时间: 设测试一次需1ms 共需一万年. =2 X2 X2 ≈3X10 16 16 16 14 白盒测试 例:含4个分支,循环次数 ≤20,从A到B的可能 路径 执行时间: 设测试一次需2ms 穷举测试需5亿年. =5+5 +...+5 +5 ≈10 20 1 2 19 14 A B §6.3白盒测试的测试用例设计 6.3.1 逻辑覆盖法 (1)语句覆盖 (2)判定覆盖 (3)条件覆盖 (4)判定/条件覆盖 (5)条件组合覆盖 (6)路径覆盖 (7)点覆盖 (8)边覆盖 例: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; 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e (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=40 最弱的逻辑覆盖 (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)条件覆盖 每个判定的每个条件的可能取值至少执行一次 满足条件: T1,T1, T2,T2 T3,T3 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 测试用例 通过 满足的 覆盖 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分支，不满足判定覆盖的