第7章基于决策表的测试

第7章基于决策表的测试前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系，相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。因果图方法是一种检查程序输入条件的各种组合情况的逻辑模型。使用因果图的好处考虑了多个输入之间的相互组合、相互制约关系；能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题。因果图法的原理1．因果图~c1e1c1e1c1e1c2c3c1c2e1(a)恒等(b)非(c)或(d)与图2.3因果图的基本符号~c1e1c1e1c1e1c1e1c2c3c1c2e1(a)恒等(b)非(c)或(d)与图2.3因果图的基本符号因果图法的原理bbaaabaabbcEIO异或或唯一RM要求强制图2.4约束符号bbaaabaabbcEIO异或或唯一RM要求强制图2.4约束符号因果图的基本符号恒等：若原因出现，则结果出现；若原因不出现，则结果不出现。非（～）：若原因出现，则结果不出现；若原因不出现，则结果出现。或（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，作为导出结果的进一步原因。因果图实例—中国象棋中走马测试用例设计因果图实例—中国象棋中走马测试用例设计根据因果图建立判定表：(分为两表)因果图实例—中国象棋中走马测试用例设计决策表法在所有的黑盒测试方法中，基于决策表的测试是最严格，最具有逻辑性的测试方法，用来表示和分析复杂的逻辑关系。主要用来描述不同条件集合下产生动作的若干组合的情况。决策表法决策表决策表是把作为条件的所有输入的各种组合值以及对应输出值都罗列出来而形成的表格。它能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，利用决策表能够设计出完整的测试用例集合。决策表基本术语组成：桩部分（位于表左侧列）：包括条件桩和动作桩。条目部分（右侧）：包括条件项和动作项。表中一列是一条规则（表示在规则的条件部分中指示的条件环境下要采取的动作）。动作项和条件项紧密相关，指出在条件项的各组取值情况下应采取的动作。条件桩条件项动作桩动作项规则决策表基本术语无关项条件无关条件不适用（—或N/A)有限条目决策表：所有条件都是二叉条件（两个取值，真/假，是/否，0/1）的决策表。扩展条目决策表：条件可以有多个值的决策表。注意：决策表中条件没有特别的顺序，动作发生也没有特定的顺序。使用技巧标识测试用例时，把条件对应输入（输入的等价类），动作对应输出（被测软件的主要功能处理部分），每条规则对应一个测试用例。在条件和动作中，不关心条目和不可能规则的使用。（表7-2）不同的条件选择方法可能会大大扩展决策表的规模。在条件中引入等价类的决策表。（表7-4）决策表中规则数目的统计。规则条数对有限条目决策表，如果有n个条件，则产生2n条规则。在决策表中有不关心条目时，规则数的统计：没有不关心条目的规则数计为1；规则中每出现一个不关心条目，规则数乘2。构造决策表的步骤列出所有的条件桩和动作桩确定规则的个数填入条件项填入动作项，得到初始决策表简化决策表，合并相似规则决策表的化简对于n个条件的决策表，相应有2n个规则（每个条件分别取真、假值），当n较大时，决策表很繁琐。实际使用决策表时，常常先将它简化。决策表的简化是以合并相似规则为目标。即若表中有两条以上规则具有相同的动作，并且在条件项之间存在极为相似的关系，便可以合并。NextDate函数—决策表测试的完美例子决策表使用“不可能动作”的概念表示条件的不可能组合，适用于处理变量之间在输入定义域中存在逻辑依赖关系的问题。决策表总结决策表的逻辑严格性，使我们开发和识别完备决策表，解决冗余性和不一致性。开发完备又不冗余的决策表，测试人员必须在决策表中小心使用不关心条目！练习一个处理单价为5元钱的饮料自动售货机软件测试用例的设计。规格说明如下：若投入5元钱或10元钱，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示“零钱找完”的红灯亮，这时在投入10元钱并按下按钮后，饮料不送出来而且10元钱也退出来；若有零钱找，则显示“零钱找完”的红灯灭，在送出饮料的同时退还5元钱。构造因果图分析规格说明，用决策表设计测试用例。