因果图测试法

第三章黑盒测试及其用例的设计3.6因果图法3.6.1因果图法的简介3.6.2因果图3.6.3因果图法测试举例第三章黑盒测试及其用例的设计3.6.1因果图法的简介•因果图法产生的背景：等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。第三章黑盒测试及其用例的设计因果图法的简介（续）•因果图法是基于这样的一种思想：一些程序的功能可以用判定表（或称决策表）的形式来表示，并根据输入条件的组合情况规定相应的操作。•因果图法的定义：是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。•采用因果图法设计测试用例的步骤：（1）根据程序规格说明书描述，分析并确定因（输入条件）和果（输出结果或程序状态的改变），画出因果图。（2）将得到的因果图转换为判定表。（3）为判定表中每一列所表示的情况设计一个测试用例。第三章黑盒测试及其用例的设计因果图法的简介（续）•使用因果图法的优点：（1）考虑到了输入情况的各种组合以及各个输入情况之间的相互制约关系。（2）能够帮助测试人员按照一定的步骤，高效率的开发测试用例。（3）因果图法是将自然语言规格说明转化成形式语言规格说明的一种严格的方法，可以指出规格说明存在的不完整性和二义性。第三章黑盒测试及其用例的设计3.6.2因果图•因果图中用来表示4种因果关系的基本符号：c1e1恒等c1e1非～c1e1或c2c3∨c1e1与c2∧第三章黑盒测试及其用例的设计因果图（续）•因果图中的4种基本关系在因果图的基本符号中，图中的左结点ci表示输入状态（或称原因），右结点ei表示输出状态（或称结果）。ci与ei取值0或1，0表示某状态不出现，1则表示某状态出现。恒等：若c1是1，则e1也为1，否则e1为0。非：若c1是1，则e1为0，否则e1为1。或：若c1或c2或c3是1，则e1为1，否则e1为0。与：若c1和c2都是1，则e1为1，否则e1为0。第三章黑盒测试及其用例的设计因果图（续）•因果图中的约束在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系，称为“约束”。对于输入条件的约束有E、I、O、R四种约束，对于输出条件的约束只有M约束。E约束(异)：a和b中最多有一个可能为1，即a和b不能同时为1。I约束(或)：a、b、c中至少有一个必须为1，即a、b、c不能同时为0。O约束(唯一)：a和b必须有一个且仅有一个为1。R约束(要求)：a是1时，b必须是1，即a为1时，b不能为0。M约束(强制)：若结果a为1，则结果b强制为0。第三章黑盒测试及其用例的设计因果图（续）ab异Eab或Icab唯一ORab要求Mab强制•因果图中用来表示约束关系的约束符号：第三章黑盒测试及其用例的设计因果图（续）•因果图法最终生成的是决策表。利用因果图生成测试用例的基本步骤如下：（1）分析软件规格说明中哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。（2）分析软件规格说明中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系画出因果图。（3）由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。（4）把因果图转换为决策表。（5）根据决策表中的每一列设计测试用例。第三章黑盒测试及其用例的设计3.6.3因果图法测试举例•实例用因果图法测试以下程序。程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须是一个数字，此情况下进行文件的修改；如果第一个字符不是#或*，则给出信息N，如果第二个字符不是数字，则给出信息M。解题步骤：（1）分析程序的规格说明，列出原因和结果。（2）找出原因与结果之间的因果关系、原因与原因之间的约束关系，画出因果图。（3）将因果图转换成决策表。（4）根据（3）中的决策表，设计测试用例的输入数据和预期输出。第三章黑盒测试及其用例的设计因果图法测试举例（续）（1）分析程序规格说明中的原因和结果：（2）画出因果图（编号为10的中间结点是导出结果的进一步原因）：原因结果c1：第一个字符是#e1：给出信息Nc2：第一个字符是*e2：修改文件c3：第二个字符是一个数字e3：给出信息Mc1c2c3e110e2e3～∨E～∧第三章黑盒测试及其用例的设计因果图法测试举例（续）（3）将因果图转换成如下所示的决策表：12345678条件：C1C2C310111110101110010111010100100000动作：e1e2e3不可能√√√√√√√√√测试用例#3#A*6*BA1GT规则选项第三章黑盒测试及其用例的设计因果图法测试举例（续）（4）根据决策表中的每一列设计测试用例：测试用例编号输入数据预期输出1#3修改文件2#A给出信息M3*6修改文件4*B给出信息M5A1给出信息N6GT给出信息N和信息M第三章黑盒测试及其用例的设计习题1、使用因果图法为三角形问题设计测试用例。2、某软件的一个模块的需求规格说明书中描述：（1）年薪制员工：严重过失，扣年终风险金的4%；过失，扣年终风险金的2%。（2）非年薪制员工：严重过失，扣当月薪资的8%；过失，扣当月薪资的4%。请绘制出因果图和判定表，并给出相应的测试用例。