基于因果图的测试用例设计.pptVIP

基于因果图的测试用例设计 制作人：等待花开 2004/10/14 1.因果图测试简介 黑盒测试和白盒测试是很广泛使用的两类软件测试方法，因果图（Cause-Effect Graph）测试是黑盒测试中的一种。当某个模块的输入、输出很多或存在多种组合，又或者变量间存在相应的关系（不是相互独立的）时，使用因果图测试是十分有效的。若规格说明不很复杂，使用边界值测试或等价类测试即可。 2.因果测试的基本步骤 3.因果图的画法 4.如何进行因果图测试 根据上面的测试基本步骤，对下面的例子进行因果图测试： Example:如想对文件进行修改，输入的第一列字符必须是A或B，第二列字符必须是一个数字，如果第一列字符不正确，则给出信息L；如果第二列字符不正确，则给出信息M。 第一步：分析了上面的规格说明的要求后，我们可以很明确的把 原因和结果分开。 原因： 结果： 1.第一列字符为A 21.修改文件 2.第一列字符为B 22.给出信息 L 3.第二列字符为一数字 23.给出信息 M 第二步：这个例子规格说明中，很明确的给出了原因和结果之间 的对应关系，将原因和结果根据它们之间的对应关系用 相应的逻辑符号连接起来，画出因果图如下： * 利用因果图生成测试用例一般有以下几个基本步骤: （1）分析软件规格说明描述中, 哪些是原因(即输入条件或输入条件 的等价类),哪些是结果(即输出条件), 并给每个原因和结果赋予 一个标识符. （2）分析软件规格说明描述中的语义.找出原因与结果之间, 原因与 原因之间对应的关系. 根据这些关系,画出因果图. （3）由于语法或环境限制，有些原因与原因之间，原因与结果之间 的组合情况不可能出现。为表明这些特殊情况，在因果图上用 一些记号标明约束或限制条件。 （4）把因果图转换成判定表。 （5）把判定表的每一列拿出来作为依据，设计测试用例。 ? C1 E1 C1 E1 C1 C2 C3 E1 C1 E1 C1 图3—1 因果图的基本符号 (1)恒等 (2)非 (3)或 (4)与 3.1基本图形介绍： 如图3—1中所示，ci表示原因，一般置于图左部；ei表示结果，一般置于图右部。ci和ei都可以取值0或1，0表示某状态不出现，1表示某状态出现。 （1）恒等：若c1为1，则e1也为1；否则，e1为0。 （2）非： 若c1为1，则e1为0；否则e1为1。 （3）或： 若c1或c2或c3为1，则e1为1；否则e1为0；“或” 可有任意个输入。 （4）与： 若c1和c2都为1，则e1为1；否则e1为0。“与” 也可有任意个输入 因果图中使用了简单的逻辑符号，以直线连接左右结点，左结点表示输入状态（或称原因），右结点表示输出状态（或称结果），而在实际问题中，输入条件相互之间还可能存在某些依赖关系，我们称之为“约束”，比如某些输入条件本身不可能同时 出现，输出状态间也往往存在约束。在因果图中用特定符号表明这些约束，见下图: b a E b a c I a b O a b a b R M 图3 图3—2约束符号 （1）E约束（异）：a、b中至多有一个可能为1，即a、b不 可能同时为1。 （2）I约束（或）： a、b、c中至少有一个必须为1，即a、 b、c不能同时为 0。 （3）O约束（唯一）：a、b中必须有一个，且仅有一个为 1。 （4）R约束（要求）：a是1时，b必须是1，即不可能出现a