系统测试用例设计方法(2)

接下来我们讲因果图法。前面说过在多个条件决定多个动作，并且每个条件的取值只有两种情况下，我们就可以采用因果图和判定表方法。

因果图法就是从程序规格说明书的描述中找出因（输入条件）和果（输出或程序状态的改变），通过因果图转换为判定表，最后为判定表中的每一列设计一个测试用例。

首先我们来了解一下因果图的基本符号，我会在边上加些注解以帮助大家理解。

测试资料

A)

Ci=1, Ei=1; Ci=0, Ei=0;

B)

因 果 图 符 号

Ci=1, Ei=0; Ci=0, Ei=1;

C)

C1,C2,C3有一个以上=1，Ei=1； C1,C2,C3全=0，Ei=0；

D)

C1,C2,C3全=1，Ei=1；

C1,C2,C3有一个以上=0，Ei=0；

约

束 符 号

a和b同时只能有一个为1，但可以都为

I

a和b同时只能有一个为0，但可以都为

1

a和b有且仅有一个为1

R

a=1，要求b也要=1；其它不约束

M

a=1，强制b =0；其它不约束

测试资料

接着我们讲一下使用因果图法的步骤：

1、根据程序规格说明书描述的语义内容，分析并确定“因”和“果”，将其表示成连接各个原因与各个结果的“因果图”。需要注意的是，由于语法或环境的限制，某些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，需要在因果图上使用若干个约束符号来标明约束条件；

2、将得到的因果图转换成判定表；

3、为判定表中每一列所表示的情况设计一个测试用例。

对于较为复杂的问题，这个方法常常是十分有效的。具体我们来举个例子来讲，可以更好的理解。

举例：

以中国象棋中马的走法为例子，具体说明：

1、如果落点在棋盘外，则不移动棋子；2、如果落点与起点不构成日字型，则不移动棋子；3、如果落点处有自己方棋子，则不移动棋子；4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；5、如果不属于1-4条，且落点处无棋子，则移动棋子；6、如果不属于1-4条，且落点处为对方棋子 (非老将) ，则移动棋子并除去对方棋子；7如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。

对说明进行分析，得到原因和结果： 原因：

1、 落点在棋盘外； 2、 不构成日字； 3、 落点有自方棋子； 4、 绊马腿； 5、 落点无棋子； 6、 落点为对方棋子； 7、 落点为对方老将。 结果：

1、 不移动； 2、 移动；

3、 移动己方棋子消除对方棋子； 4、 移动并战胜对方。

根据分析出来的原因和结果，我们可以画出因果图，如下：

测试资料

E

画得不好，比较乱，大家请见谅。我只加了些必要的约束条件，还有一些没有加，不过后面会讲的。

11这个结点称做中间结点，是为了让因果图的结构更加明了，简化因果图导出的判定表。分析得出以下两个结论。只有1、2、3、4都不成立时，产生11，跟5、6、7结合分别得出22、23、24三个结果；不管5、6、7哪个成立，只要1、2、3、4有一个成立，就产生结果21；再加上落点有自方棋子的状况。可以得到判定表如下：

O

之前没有写的一些约束条件导致的。比如落点在棋盘外，那么落点就不可能在对方棋子上了。

最后将判定表内的规则转换成测试用例。

测试资料

用例：

测试资料

软件测试——系统测试用例设计方法5 测试用例编号 测试项目 测试标题 重要级别 预置条件 输入 操作步骤 预期输出 6 测试用例编号 测试项目 测试标题 重要级别 预置条件 输入 操作步骤 预期输出 7 测试用例编号 测试项目 测试标题 重要级别 预置条件 输入 操作步骤 预期输出 8 测试用例编号 测试项目 测试标题 重要级别 预置条件 输入 操作步骤 预期输出 CHINESECHESS_ST_MOVE_MA_008 象棋马

的移动 不构成日字，落点为对方老将 中 无 点击马，点击棋子的落点 1、点击自方马； 2、点击对方老将。 不移动棋子。 CHINESECHESS_ST_MOVE_MA_007 象棋马的移动 落点为自方棋子 中 无 点击马，点击棋子的落点 1、点击自方马； 2、点击自方棋子。 不移动棋子。 CHINESECHESS_ST_MOVE_MA_006 象棋马的移动 绊马腿，落点无棋子 中 无 点击马，点击棋子的落点 1、点击自方马； 2、点击无棋子落点。 不移动棋子。 CHINESECHESS_ST_MOVE_MA_005 象棋马的移动 绊马腿，落点为对方棋子(非老将) 中 无 点击马，点击棋子的落点 1、点击自方马； 2、点击对方棋子。 不移动棋子。

作者：曹德卿

QQ:56441359

MSN:yifei91wky@

测试资料

5、状态迁移图法

许多需求用状态机的方式来描述，状态机的测试主要关注在测试状态转移的正确性上面。对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态，可能不可能产生非法的状态转移等。

构造能导致状态迁移的事件，来测试状态之间的转换。 状态迁移图的步骤： 1、 画出状态迁移图； 2、 列出状态——事件表； 3、 得到状态转换树； 4、 推出测试路径；

5、 根据测试路径编写测试用例。

测试资料

下面我们结合一个例子来理解。

举例：

手机中MP3播放功能状态-事件表如下，请用状态迁移法设计用例。其中没有选择MP3曲目时不能按任何键，并且当MP3曲目在起点时不能按R键，当MP3曲目在末端时不能

这里我给出了状态-事件表，为了能更清楚的说明问题，没有有复杂的文字描述出来，一般需要先从需求中提取信息，画出状态图，再得到状态-事件表。

画出状态迁移图：

根据状态-事件表，得到状态树：

测试资料

每一条路径都是一个测试用例。

用例：

1

3

测试资料

6

7

测试资料

10