第四章_黑盒测试及其测试实例重点解析.pptVIP

* 图中左边的结点表示原因，右边的结点表示结果 原因和结果之间的关系有： 恒等：若c1=1，则e1=1；若c1=0，则e1=0 非：若c1=1，则e1=0；若c1=0，则e1=1 或：若c1=1或c2=1 或c3=1 ，则e1=1；否则e1=0 与：若c1=c2=c3=1 ，则e1=1；否则e1=0 画因果图时原因在左，结果在右，由上向下排列，并根据功能说明中规定的原因和结果之间的关系，用上述符号连接起来。必要时还可以引入一些中间结点。 表示约束条件的符号 为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。见图5-2. 图5-2 约束符号 图中互斥、包含、唯一、要求是对原因的约束，屏蔽是对结果的约束 互斥：表示a、b、c中至多只有一个为1，即不同时为1 包含：表示a、b、c中至少有一个为1，即不同时为0 唯一：表示a、b、c中有且仅有一个1 要求：表示若a=1 ，则要求b必须为1，即不可出现a=1 且b=0 屏蔽（强制）：表示若a=1 ，则b必须为0，即不可出现a=1 且b=1 利用因果图产生测试用例的基本步骤 　(1) 分析软件规格说明描述中，哪些是原因(即 　　　输入条件或输入条件的等价类)，哪些是结 　　　果(即输出条件)，并给每个原因和结果赋予 　　　一个标识符。(2) 分析软件规格说明描述中的语义，找出原因 　　　与结果之间，原因与原因之间对应的是什么 关系? 根据这些关系，画出因果图。 (3) 由于语法或环境限制，有些原因与原因之 间，原因与结果之间的组合情况不可能出 现。为表明这些特殊情况，在因果图上用 一些记号标明约束或限制条件。(4) 把因果图转换成决策表。(5) 把决策表的每一列拿出来作为依据，设计 　　　测试用例。 从因果图生成的测试用例中包括了所有输入数据的取TRUE与FALSE情况，构成的测试用例数目达到最少，且测试用例数目随输入数据数目的增加而线性地增加。 图5-3 因果图法示例 5.2因果图法测试用例 某软件规格说明中包含这样的要求：输入的第一个字符必须是A或B，第 二个字符必须是一个数字，在此情况下进行文件的修改；但如果第一个字 符不正确，则给出信息L；如果第二个字符不是数字，则给出信息M。 解法如下： （1）分析程序的规格说明，列出原因和结果。 原因：C1----第一个字符是A C2----第一个字符是B C3----第二个字符是一个数字 结果：e1----给出信息L 　　　e2----修改文件 　　　e3----给出信息M （2）将原因和结果之间的因果关系用逻辑符号连接起来，得到因果图，如图5-4所示。编号为11的中间节点是导出结果的进一步原因。 图5-4 因果图示例 ～ ～ 图5-5 具有E约束的因果图 因为C1和C2不可能同时为1，即第一个字符不可能既是A又是B，在因果图上可对其施加E约束，得到具有约束的因果图，如图5-5所示。 ～ ～ （3）将因果图转换成决策表，如表5-1所示。 （4）设计测试用例。表5-1中的前两种情况，因为原因1和原因2不可能同时为1，所以应排除这两种情况。根据此表，可以设计出6个测试用例，如表5-2所示。 规则 选项 1 2 3 4 5 6 7 8 条件 C1 1 1 1 1 0 0 0 0 C2 1 1 0 0 1 1 0 0 C3 1 0 1 0 1 0 1 0 11 1 1 1 1 0 0 动作 e1 0 0 0 0 1 1 e2 1 0 1 0 0 0 e3 0 1 0 1 0 1 不可能 1 1 测试用例 A5 A# B9 B? X2 Y% 表5-1 决策表 √ 表5-2 测试用例 编号 输入数据 预期输出 TC1 A5 修改文件 TC 2 A# 给出信息M TC 3 B9 修改文件 TC 4 B? 给出信息M TC 5 X2 给出信息L TC 6 Y% 给出信息L和信息M 例2 ：某电力公司有A、B、C、D四类收费标准,并规定： 居民用电 100度/月 按A类收费 ≥100度/月 按B类收费 动力用电 10000度/月，非高峰，B类收费 ≥10000度/月，非高峰，C类收费 10000度/月， 高峰，C类收费 ≥10000度/月， 高峰，D类收费 输入条件（原因） 输出动作（后果） c1——居民用电