软件测试：因果图法设计测试用例

"软件测试-因果图法" 软件测试中的因果图法是一种重要的测试方法，通过分析输入的各种组合情况，设计测试用例，以检查程序输入条件的各种组合情况。下面是关于因果图法的详细知识点： **什么是因果图法** 因果图法是一种图解法，用于分析输入的各种组合情况，从而设计测试用例。它适合于检查程序输入条件的各种组合情况，因果图法可以考虑输入条件的各种组合、输入条件之间的相互制约关系，从而设计出更加完备的测试用例。 **因果图法的背景** 等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。 **因果图的符号关系** 因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。Ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。Ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。 关系： ①恒等：若ci是1，则ei也是1；否则ei为0。 ②非：若ci是1，则ei是0；否则ei是1。 ③或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。 ④与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。 **输入条件的约束** 输入条件的约束有以下4类： ①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。 ②I约束（或）：a、b和c中至少有一个必须是1，即a、b和c不能同时为0。 ③O约束（唯一）：a和b必须有一个，且仅有1个为1。 ④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。 **输出条件的约束** 输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。 **采用因果图法设计测试用例的步骤** 1. 分析软件规格说明描述中那些是原因（即输入条件或输入条件的等价类），那些是结果（即输出条件），并给每个原因和结果赋予一个标识符。 2. 分析软件规格说明描述中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系，画出因果图。 3. 由于语法或环境限制，一些原因与原因之间、原因与结果之间的组合情况不可能出现，为表明这些特殊情况，在因果图上用一些特殊符号表示。 因果图法是一种重要的测试方法，通过分析输入的各种组合情况，设计测试用例，以检查程序输入条件的各种组合情况。