软件制造工程黑盒测试.pptVIP

4.3.2 黑盒测试-主要方法 因果图法借助图形来设计测试用例，适合于被测程序具有多种输入条件，程序的输出又依赖于输入条件的各种组合的情况。 在因果图中出现的基本符号通常在因果图中用Ci表示原因，用Ei表示结果，各结点表示状态，可取值“0”或“1”。“0”表示某状态不出现，“1”表示某状态出现。 主要的原因和结果之间的关系有: 表示约束条件的符号为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。 ? E（互斥）：表示a，b两个原因不会同时成立，两个中最多有一个可能成立。? I（包含）：表示a，b，c三个原因中至少有一个必须成立。 ? O（唯一）：表示a和b当中必须有一个，且仅有一个成立。? R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 ? M（屏蔽）：表示当a是1时，b必须是0。而当a为0时，b的值不定。 因果图法 利用因果图生成测试用例的基本步骤: (1) 分析软件规格说明描述中, 哪些是原因(即输入条件或输入条件的等价类),哪些是结果(即输出条件), 并给每个原因和结果赋予一个标识符. (2) 分析软件规格说明描述中的语义.找出原因与结果之间, 原因与原因之间对应的关系. 根据这些关系,画出因果图. 因果图法 利用因果图生成测试用例的基本步骤: (3) 由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不可能出现. 为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件. (4) 把因果图转换为判定表. (5) 把判定表的每一列拿出来作为依据,设计测试用例. 4.3.2 测试方法——黑箱测试 因果图法实例 某电力公司有A、B、C、D四类收费标准, 并规定： 居民用电 100度/月 按A类收费 ≥100度/月 按B类收费 动力用电 10000度/月,非高峰,B类收费 ≥10000度/月,非高峰,C类收费 10000度/月, 高峰,C类收费 ≥10000度/月, 高峰,D类收费 因果图法实例 列出原因和结果 原因：1——居民用电 2——动力用电 3——100度/月 3——≥100度/月 4——非高峰 4——高峰 5——10000度/月 5——≥10000度/月 结果：A——按A类收费 B——按B类收费 C——按C类收费 D——按D类收费 ~ ~ ~ 用因果图表明输入和输出间的逻辑关系 因果图法实例 1 I1 2 B ∨ ∧ 4 A C 3 5 ∧ D I4 I3 I2 ∨ ∧ ∧ ∧ ∧ 并列关系 选择关系 否定关系 中间结点 因果图法实例 把因果图转换为判定表 组合条件 条件 (原因) 动作 (结果) A B C 1 2 3 1 2 3 4 5 6 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 4 1 0 1 0 5 0 0 1 1 D 0 0 0 1 1 0 0 1 0 0 0 0 测试用例 1表示条件成立 或动作出现 0表示条件不成立或动作不出现 因果图法实例 把判定表的每一列写成一个测试用例 1列 居民电,90度/月 A 2列 居民电,110度/月 B 3列 动力电,非高峰,8000度/月 B 4列 动力电,非高峰,1.2万度/月 C 5列 动力电, 高峰,0.9万度/月 C 6列 动力电, 高峰,1.1万度/月 D 条件 测试用例 预期结果 组合 (输入数据) (输出动作) 因果图法 表示约束条件的符号: 为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。 因果图法实例 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下： 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时再投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。” 因果图法实例 (1) 分析这一段说明，列出原因和结果 原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮