第7章 基于决策表的测试

规则条数
对有限条目决策表，如果有n个条件，则 产生2n条规则。 在决策表中有不关心条目时，规则数的 统计：
没有不关心条目的规则数计为1； 规则中每出现一个不关心条目，规则数乘2。

构造决策表的步骤
列出所有的条件桩和动作桩 确定规则的个数 填入条件项 填入动作项，得到初始决策表 简化决策表，合并相似规则
决策表使用“不可能动作”的概念表示 条件的不可能组合，适用于处理变量之 间在输入定义域中存在逻辑依赖关系的 问题。
决策表总结
决策表的逻辑严格性，使我们开发和识 别完备决策表，解决冗余性和不一致性。 开发完备又不冗余的决策表，测试人员 必须在决策表中小心使用不关心条目！
练习
一个处理单价为5元钱的饮料自动售货机软件 测试用例的设计。规格说明如下：若投入5元 钱或10元钱，按下“橙汁”或“啤酒”的按钮， 则相应的饮料就送出来。若售货机没有零钱找， 则一个显示“零钱找完”的红灯亮，这时在投 入10元钱并按下按钮后，饮料不送出来而且10 元钱也退出来；若有零钱找，则显示“零钱找 完”的红灯灭，在送出饮料的同时退还5元钱。例。
~
(b)非
e1
因果图法的原理
a E b 异或 a R 要求 b 或 I
a b c a M 强制 图2.4 约束符号 b O
a
b 唯一
因果图的基本符号
恒等：若原因出现，则结果出现；若原因不出现， 则结果不出现。 非（～）：若原因出现，则结果不出现；若原因 不出现，则结果出现。 或（V）：若几个原因中有一个出现，则结果出 现；若几个原因都不出现，则结果不出现。 与（∧）：若几个原因都出现，结果才出现；若 其中有一个原因不出现，则结果不出现。
决策表的化简 对于n个条件的决策表，相应有2n个 规则（每个条件分别取真、假值），当n 较大时，决策表很繁琐。实际使用决策 表时，常常先将它简化。决策表的简化 是以合并相似规则为目标。即若表中有 两条以上规则具有相同的动作，并且在 条件项之间存在极为相似的关系，便可 以合并。
NextDate函数—决策表测试的完美例子
因果图实例
分开原因和结果

原因：
1----第一列字符是A; 2----第一列字符是B; 3----第二列字符是一数字。 结果：21----修改文件; 22----给出信息L; 23----给出信息M。
因果图实例
因果图实例
因果图实例—中国象棋中走马测试用例设计
分析中国象棋中走马的实际情况 1、如果落点在棋盘外，则不移动棋子；2、如果落 点与起点不构成日字型，则不移动棋子；3、如果 落点处有自己方的棋子，则不移动棋子；4、如果 在落点方向的邻近交叉点有棋子（绊马腿），则不 移动棋子；5、如果不属于1-4条，且落点处无棋子， 则移动棋子；6、如果不属于1-4条，且落点处为对 方棋子(非老将)，则移动棋子并除去对方棋子；7如 果不属于1-4条，且落点处为对方老将，则移动棋 子，并提示战胜对方，游戏结束。
因果图实例—中国象棋中走马测试用例设计
根据分析明确原因和结果 原因： 1、 落点在棋盘上； 2、 落点与起点构成日字； 3、 落点处为自己方棋子； 4、 落点方向的邻近交叉点无棋子； 5、 落点处无棋子； 6、 落点处为对方棋子（非老将）； 7、 落点处为对方老将。
因果图实例—中国象棋中走马测试用例设计
结果： 21、不移动棋子； 22、移动棋子； 23、移动棋子，并除去对方棋子； 24、移动棋子，并提示战胜对方， 结束游戏。 添加中间节点11，作为导出结果的进一 步原因。
因果图实例—中国象棋中走马测试用例设计
因果图实例—中国象棋中走马测试用例设计
根据因果图建立判定表： ( 分为两表 )
决策表法
决策表基本术语
组成：

桩部分（位于表左侧列）：包括条件桩和动作桩。 条目部分（右侧）：包括条件项和动作项。 表中一列是一条规则（表示在规则的条件部分中指示的条件 环境下要采取的动作）。 动作项和条件项紧密相关，指出在条件项的各组取值情况下 应采取的动作。
条件桩
条件项
动作桩
动作项
规则
决策表基本术语
无关项

条件无关 条件不适用（—或N/A)
有限条目决策表：所有条件都是二叉条件（两 个取值，真/假，是/否，0/1）的决策表。 扩展条目决策表：条件可以有多个值的决策表。 注意：决策表中条件没有特别的顺序，动作发 生也没有特定的顺序。
使用技巧
标识测试用例时，把条件对应输入（输入的等 价类），动作对应输出（被测软件的主要功能 处理部分），每条规则对应一个测试用例。 在条件和动作中，不关心条目和不可能规则的 使用。（表7-2） 不同的条件选择方法可能会大大扩展决策表的 规模。 在条件中引入等价类的决策表。（表7-4） 决策表中规则数目的统计。
因果图的基本符号
从输入（原因）考虑四种约束 E（异或）：表示两个原因不会同时成立， 两个中最多有一个可能成立。 I（或）：表示三个原因中至少有一个必须 成立。 O（惟一）：表示两个原因中必须有一个， 且仅有一个成立。 R（要求）：表示两个原因，a出现时，b也 必须出现，a出现时，b不可能不出现。
因果图方法
是一种检查程序输入条件的各种组合情 况的逻辑模型。 使用因果图的好处
考虑了多个输入之间的相互组合、相互制约 关系 ； 能够帮助我们按一定步骤，高效率地选择测 试用例，同时还能为我们指出，程序规格说 明描述中存在着什么问题 。

因果图法的原理
1．因果图
c1 (a)恒等 c1 c1 c2 e1 c2 c3 (c)或 (d)与 图2.3 因果图的基本符号 e1 e1 c1
因果图的基本符号
从输出（结果）考虑一种约束 M（强制）：两个结果，a为1时，b必须是0， 当a为0时，b值不定。
因果图方法
利用因果图生成测试用例的基本步骤：
确定软件规格中的原因和结果。分析软件规 格说明描述中，哪些是原因(即输入条件或 输入条件的等价类)，哪些是结果(即输出条 件)，并给每个原因和结果赋予一个标识符。 确定原因和结果之间的逻辑关系。分析软件 规格说明描述中的语义。找出原因与结果之 间，原因与原因之间对应的关系。根据这些 关系，画出因果图。

因果图方法
利用因果图生成测试用例的基本步骤：
确定因果图中的各个约束。由于语法或环境 限制，有些原因与原因之间，原因与结果之 间的组合情况不可能出现。为表明这些特殊 情况，在因果图上用一些记号表明约束或限 制条件。 把因果图转换为决策表。 把决策表的每一列拿出来作为依据，设计测 试用例。

在所有的黑盒测试方法中，基于决策表 的测试是最严格，最具有逻辑性的测试 方法，用来表示和分析复杂的逻辑关系。 主要用来描述不同条件集合下产生动作 的若干组合的情况。
决策表法
决策表 决策表是把作为条件的所有输入的各 种组合值以及对应输出值都罗列出来而 形成的表格。 它能够将复杂的问题按照各种可能的 情况全部列举出来，简明并避免遗漏。 因此，利用决策表能够设计出完整的测 试用例集合。
因果图方法
从因果图生成的测试用例（局部，组合 关系下的）包括了所有输入数据的取 TRUE与取FALSE的情况，构成的测试 用例数目达到最少，且测试用例数目随 输入数据数目的增加而线性地增加。
因果图实例
某软件规格说明中包含这样的要求： 第一列字符必须是A或B，第二列字 符必须是一个数字，在此情况下进行文 件的修改。但如果第一列字符不正确， 则给出信息L;如果第二列字符不是数字， 则给出信息M。
第7章 基于决策表的测试
前面介绍的等价类划分方法和边界值分析方法， 都是着重考虑输入条件，但未考虑输入条件之 间的联系，相互组合等。考虑输入条件之间的 相互组合，可能会产生一些新的情况。但要检 查输入条件的组合不是一件容易的事情，即使 把所有输入条件划分成等价类，他们之间的组 合情况也相当多。因此必须考虑采用一种适合 于描述对于多种条件的组合，相应产生多个动 作的形式来考虑设计测试用例。