第7章基于决策表的测试.pptVIP

第7章 基于决策表的测试 前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系，相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。 因果图方法 是一种检查程序输入条件的各种组合情况的逻辑模型。 使用因果图的好处 考虑了多个输入之间的相互组合、相互制约关系 ； 能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题 。 因果图的基本符号 恒等：若原因出现，则结果出现；若原因不出现，则结果不出现。 非（～）：若原因出现，则结果不出现；若原因不出现，则结果出现。 或（V）：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现。 与（∧）：若几个原因都出现，结果才出现；若其中有一个原因不出现，则结果不出现。 因果图的基本符号 从输入（原因）考虑四种约束 E（异或）：表示两个原因不会同时成立，两个中最多有一个可能成立。 I（或）：表示三个原因中至少有一个必须成立。 O（惟一）：表示两个原因中必须有一个，且仅有一个成立。 R（要求）：表示两个原因，a出现时，b也必须出现，a出现时，b不可能不出现。 因果图的基本符号 从输出（结果）考虑一种约束 M（强制）：两个结果，a为1时，b必须是0，当a为0时，b值不定。 因果图方法 利用因果图生成测试用例的基本步骤： 确定软件规格中的原因和结果。分析软件规格说明描述中，哪些是原因(即输入条件或输入条件的等价类)，哪些是结果(即输出条件)，并给每个原因和结果赋予一个标识符。 确定原因和结果之间的逻辑关系。分析软件规格说明描述中的语义。找出原因与结果之间，原因与原因之间对应的关系。根据这些关系，画出因果图。 因果图方法 利用因果图生成测试用例的基本步骤： 确定因果图中的各个约束。由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。 把因果图转换为决策表。 把决策表的每一列拿出来作为依据，设计测试用例。 因果图方法 从因果图生成的测试用例（局部，组合关系下的）包括了所有输入数据的取TRUE与取FALSE的情况，构成的测试用例数目达到最少，且测试用例数目随输入数据数目的增加而线性地增加。 因果图实例 某软件规格说明中包含这样的要求： 　　第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L;如果第二列字符不是数字，则给出信息M。 因果图实例 分开原因和结果 原因： 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，作为导出结果的进一步原因。 因果图实例—中国象棋中走马测试用例设计 因果图实例—中国象棋中走马测试用例设计 根据因果图建立判定表： ( 分为两表 ) 决策表法 在所有的黑盒测试方法中，基于决策表的测试是最严格，最具有逻辑性的测试方法，用来表示和分析复杂的逻辑关系。 主要用来描述不同条件集合下产生动作的若干组合的情况。 决策表法 决策表 决