黑盒测试方法——因果分析法.ppt

* * * * * * * * * * * * * * * 黑盒测试方法——因果分析法 因果分析法基础 原理： （1）软件的输入和输出之间存在逻辑关系，即因果图； （2）因果图可从规格说明书中获得 过程： 生成因果列表 建立决策表 生成测试用例 需求规格 说明书 起因结果 列表 决策表 黑盒测试方法——因果分析法 因果图 符号：Ci表示原因 Ei表示结果 原因和结果的4种关系： （1）恒等（—）: 若Ci出现，则Ei出现；若Ci不出现，则Ei也不出现 （2）非（～）: 若C出现，则E不出现；若C不出现，则E出现 （3）或（∨）: 若几个Ci中有一个出现，则E出现;若几个Ci都不出现，则E不出现 （4）与（∧）: 若几个Ci都出现，则结果出现;若其中一个Ci不出现，则E不出现 黑盒测试方法——因果分析法 因果图 C E C E C1 E C2 ∨ C1 E C2 ∧ 恒等（—） 非（～） 或（∨） 与（∧） 黑盒测试方法——因果分析法 因果图 4种输入约束： （1）互斥(E):两个原因不能同时成立，最多有一个能成立 （2）包含(I):三个原因中至少有一个必须成立； （3）唯一(O):两个原因中必须有一个且只有一个成立； （4）要求(R):当C1成立，C2也必须成立； 1种输出约束： （1）屏蔽(M):当E1是1时，E2必须是0；当E1是0，E2的值不定； 黑盒测试方法——因果分析法 因果图 C2 C1 E C3 C1 I C2 C2 C1 O C2 C1 R E2 E1 M 互斥(E) 包含(I) 唯一(O) 要求(R) 屏蔽(M) 黑盒测试方法——因果分析法 生成因果图 文件管理系统规格说明 （1）文件第一列的字符必须是一个A或B，且文件第二列的字符必须是一个数字； （2）在该情况下，文件是被修改了； （3）第一个字符不正确，则打印X12消息； （4）第二个不是数字，则打印X13消息； 黑盒测试方法——因果分析法 生成因果图 原因： C1:第1列的字符是A C2:第1列的字符是B C3:第2列的字符是数字 结果： E1:文件修改过 E2:打印消息X12 E3:打印消息X13 黑盒测试方法——因果分析法 生成因果图 C2 C1 E C4 C3 E3 E1 E2 ∨ ∧ 黑盒测试方法——因果分析法 因果图列表 因果图列表：原因的所有组合及相应的结果组合 注意：某些原因的组合不存在 1 2 3 4 5 6 输入（原因） C1 0 0 0 0 1 1 C2 0 0 1 1 0 0 C3 0 1 0 1 0 1 输出（结果） E1 0 0 0 1 0 1 E2 1 1 0 0 0 0 E3 1 0 1 0 1 0 因果图列表示例 黑盒测试方法——因果分析法 生成决策表 方法： 原因——决策表中的条件 结果——决策表中的行动 原因与结果的组合——决策规则 1 2 3 4 5 6 条件 C1 0 0 0 0 1 1 C2 0 0 1 1 0 0 C3 0 1 0 1 0 1 行动 A1 0 0 0 1 0 1 A2 1 1 0 0 0 0 A3 1 0 1 0 1 0 决策表示例 黑盒测试方法——因果分析法 生成测试用例 (1)决策表中的条件——测试用例的输入条件 (2)决策表中的行动——测试用例的期望输出 (3)一条决策规则——一个测试用例 黑盒测试方法——因果分析法 因果分析法总结 Step1:分析规格说明书，识别原因和结果 Step2:在因果图连接原因和结果 Step3:标明原因之间以及结果之间的约束条件 Step4:因果图转换为因果图列表进而生成决策表 Step5:决策表的规则转换为测试用例 黑盒测试方法——决策表 决策表方法原理 决策表并非因果图的一个辅助工具 适用情形： 输入输出较多且输入之间和输出之间互相制约的条件较多 决策表： 把作为条件的所有输入的组合以及对应输出都罗列出来形成的表格。 特点： 能将复杂问题按照各种可能情况全部列出，表示简明，并避免遗漏 黑盒测试方法——决策表 生成决策表 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 问题 能编写程序？ N N N N N N N N Y Y Y Y Y Y Y Y 熟悉软件工程？ N N N N Y Y Y Y N N N N Y Y Y Y 对软件测试感兴趣? N N Y Y N N Y Y N N Y Y N N Y Y 理解教材内容 N Y N Y N Y N Y N Y N Y N Y N Y 建议 学习C++/Java语言 √ √ √ √ √ √ 学习软件工程 √ √ √ √ √ 继续阅读 √ √ √ √ √ √ √ √ √ √