1、厦门理工学院 计算机信息工程学院软件工程系 崔建峰第七章 功能测试因果图法崔建峰厦门理工学院 计算机信息工程学院软件工程系 崔建峰因果图法因果图法v等价类划分方法和边界值分析方法的不足v着重考虑输入条件，而不考虑输入条件的各种组合，也不考虑输入条件之间的相互制约的关系，但有时一些具体问题中的输入之间存在着相互依赖的关系，如NextDate函数问题。2厦门理工学院 计算机信息工程学院软件工程系 崔建峰因果图法因果图法v如果输入之间有关系，我们在测试时必须考虑输入条件的各种组合，那么可以考虑使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例，这就需要利用因果图。v通过因果图
2、，可以建立输入条件和输出之间的逻辑模型，从而比较容易确定输入条件组合和输出之间的逻辑关系，有利于设计全面的测试用例。3厦门理工学院 计算机信息工程学院软件工程系 崔建峰输入与输出关系输入与输出关系 Ci：表示原因（Cause,输入状态）；Ei：表示结果（Effect,输出状态）。v输入与输出之间的关系4厦门理工学院 计算机信息工程学院软件工程系 崔建峰输入或输出之间的约束输入或输出之间的约束v实际问题中,输入状态之间或输出结果之间可能存在某些依赖关系,这种依赖关系被称为约束.v在因果图中使用特定的符号来表示这些约束关系 E约束：互斥，排他 I约束：包含，或 O约束：唯一 R约束：要求 M约束：
3、屏蔽5厦门理工学院 计算机信息工程学院软件工程系 崔建峰约束关系说明约束关系说明vE约束(异):a,b最多有一个可能为1,不能同时为1.6厦门理工学院 计算机信息工程学院软件工程系 崔建峰约束关系说明约束关系说明vI约束(或):a,b,c中至少有一个必须为1,不能同时为0.7厦门理工学院 计算机信息工程学院软件工程系 崔建峰约束关系说明约束关系说明vO约束(惟一):a和b必须有一个且仅有一个为18厦门理工学院 计算机信息工程学院软件工程系 崔建峰约束关系说明约束关系说明vR约束(要求):a是1时,b必须是1,即a为1时,b不能为09厦门理工学院 计算机信息工程学院软件工程系 崔建峰约束关系说明
4、约束关系说明vM约束:对输出条件的约束,若结果a为1,则结果b必须为0.10厦门理工学院 计算机信息工程学院软件工程系 崔建峰因果图法设计步骤因果图法设计步骤 1.分析软件规格说明书中的输入输出条件并划分出等价类，将每个输入输出赋予一个标志符；分析规格说明中的语义，通过这些语义来找出多个输入因素之间的关系。2.找出输入因素与输出结果之间的关联，将对应的输入与输出之间的关系关联起来，并将其中不可能的组合情况标注成约束或者限制条件，形成因果图。3.由因果图转化成决策表，任何由输入与输出之间关系构成的路径，形成决策表的一列4.将决策表的每一列拿出来作为依据，设计测试用例。一般来说，决策表中的每一列对
5、应一条测试用例。11厦门理工学院 计算机信息工程学院软件工程系 崔建峰字符问题字符问题v某个软件的规格说明书中规定:第一个字符必须是A或B,第二个字符必须是一个数字,在此情况下进行文件的修改,但如果第一个字符不正确,则给出信息L；如果第二个字符不正确,则给出信息M。12厦门理工学院 计算机信息工程学院软件工程系 崔建峰字符问题字符问题v分析问题分析问题,按照如下步骤进行按照如下步骤进行:(1)根据软件规格说明书,列出原因和结果.(2)找出原因和结果之间的关系,原因和原因之间的约束关系,画出因果图.(3)将因果图转化为判定表(4)根据判定表设计测试用例.13厦门理工学院 计算机信息工程学院软件工
6、程系 崔建峰字符问题字符问题v原因原因:C1:第一个字符是A;C2:第一个字符是B;C3:第二个字符是一个数字.v结果结果:E1:修改文件;E2:给出信息L;(第一个字符不对给出信息L)E3:给出信息M;(第二个字符不对给出信息M)14厦门理工学院 计算机信息工程学院软件工程系 崔建峰字符问题字符问题v 因果图因果图 C1 C2 C3 10 E2 E1 E3 15厦门理工学院 计算机信息工程学院软件工程系 崔建峰带有带有E E约束的因果图约束的因果图 C1 C2 C3 10 E2 E1 E3 E16厦门理工学院 计算机信息工程学院软件工程系 崔建峰将因果图转化为决策表将因果图转化为决策表123
7、45678C1C2C310111110101110010111010100100000E1E2E3不可能测试用例A3A5AMA&B3B5BMB*C2X6CMD*17厦门理工学院 计算机信息工程学院软件工程系 崔建峰字符问题字符问题v设计测试用例设计测试用例 测试用例1:输入数据:A3 预期输出:修改文件 测试用例2:输入数据:AM 预期输出:给出信息M 测试用例3:输入数据:B3 预期输出:修改文件 测试用例4:输入数据:B*预期输出:给出信息M 测试用例5:输入数据:C2 预期输出:给出信息L 测试用例6:输入数据:CM 预期输出:给出信息LM18厦门理工学院 计算机信息工程学院软件工程系
8、崔建峰自动售货机问题自动售货机问题19厦门理工学院 计算机信息工程学院软件工程系 崔建峰自动售货机问题自动售货机问题橙汁橙汁啤酒啤酒20厦门理工学院 计算机信息工程学院软件工程系 崔建峰自动售货机问题自动售货机问题21厦门理工学院 计算机信息工程学院软件工程系 崔建峰自动售货机问题自动售货机问题22厦门理工学院 计算机信息工程学院软件工程系 崔建峰自动售货机问题自动售货机问题23厦门理工学院 计算机信息工程学院软件工程系 崔建峰自动售货机问题自动售货机问题E1：售货机“零钱找完”红灯亮 E2：退还1元硬币E3：退还5角硬币 E4：送出橙汁饮料E5：送出啤酒饮料C1：售货机有零钱C2：投入1元硬
9、币C3：投入5角硬币C4：压下橙汁按钮C5：压下啤酒按钮根据因果图，就可以转化为判定表。这里根据条C2 与C3、C4与C5的E约束（互斥），可以减少组合 24厦门理工学院 计算机信息工程学院软件工程系 崔建峰自动售货机问题自动售货机问题25厦门理工学院 计算机信息工程学院软件工程系 崔建峰Test1Test2Test3Test4Test5Test6Test7Test8Test9Test10Test11Test12Test13Test14Test15Test161101011001110001011010101101001001010001010100100101000001100010100100000100000123,2423,25.2425.21,2221,222121,2421,2521212126厦门理工学院 计算机信息工程学院软件工程系 崔建峰使用因果图法的优点使用因果图法的优点o考虑了多个输入之间的相互组合、相互制约关考虑了多个输入之间的相互组合、相互制约关系；系；o能够帮助我们按一定步骤，高效率地选择测试能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描用例，同时还能为我们指出，程序规格说明描述中存在着什么问题述中存在着什么问题27厦门理工学院 计算机信息工程学院软件工程系 崔建峰 谢 谢！
