测试用例的设计方法（全）之四
（7）功能图分析方法
一.方法简介
一个程序的功能说明通常由动态说明和静态说明组成.动态说明描述了输入数据的次序或转移的次序.静态说明描述了输入条件与输出条件之间的对应关系.对于较复杂的程序,由于存在大量的组合情况,因此,仅用静态说明组成的规格说明对于测试来说往往是不够的.必须用动态说明来补充功能说明.功能图方法是用功能图FD形式化地表示程序的功能说明,并机械地生成功能图的测试用例. 功能图模型由状态迁移图和逻辑功能模型构成.状态迁移图用于表示输入数据序列以及相应的输出数据.在状态迁移图中,由输入数据和当前状态决定输出数据和后续状态.逻辑功能模型用于表示在状态中输入条件和输出条件之间的对应关系.逻辑功能模型只适合于描述静态说明,输出数据仅由输入数据决定.测试用例则是由测试中经过的一系列状态和在每个状态中必须依靠输入/输出数据满足的一对条件组成.功能图方法其实是是一种黑盒白盒混合用例设计方法。
（功能图方法中,要用到逻辑覆盖和路径测试的概念和方法,其属白盒测试方法中 的内容.逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计方法.该方法要求测试人员对程序的逻辑结构有清楚的了解.由于覆盖测试的目标不同,逻辑覆盖可分为:语句覆盖,判定覆盖,判定-条件覆盖,条件组合覆盖及路径覆盖.下面我们指的逻辑覆盖和路径是功能或系统水平上的,以区别与白盒测试中的程序内部的.）
1.功能图
功能图由状态迁移图和布尔函数组成.状态迁移图用状态和迁移来描述.一个状态指出数据输入的位置（或时间）,而迁移则指明状态的改变.同时要依靠判定表或因果图表示的逻辑功能.例,一个简化的自动出纳机ATM的功能图。
2.测试用例生成方法
从功能图生成测试用例,得到的测试用例数是可接受的. 问题的关键的是如何从状态迁移图中选取测试用例. 若用节点代替状态,用弧线代替迁移,则状态迁移图就可转化成一个程序的控制流程图形式.问题就转化为程序的路径测试问题（如白盒测试）问题了.
3.测试用例生成规则
为了把状态迁移（测试路径）的测试用例与逻辑模型（局部测试用例）的测试用例组合起来,从功能图生成实用的测试用例,须定义下面的规则.在一个结构化的状态迁移（SST）中,定义三种形式的循环:顺序,选择和重复.但分辨一个状态迁移中的所有循环是有困难的.（其表示图形省略）。
4.从功能图生成测试用例的过程
1)生成局部测试用例:在每个状态中,从因果图生成局部测试用例.局部测试用例由原因值（输入数据）组合与对应的结果值（输出数据或状态）构成。
2)测试路径生成:利用上面的规则（三种）生成从初始状态到最后状态的测试路径。
3)测试用例合成:合成测试路径与功能图中每个状态中的局部测试用例.结果是初始状态到最后状态的一个状态序列,以及每个状态中输入数据与对应输出数据的组合。
5.测试用例的合成算法:采用条件构造树.
二.实战演习
暂无
场（8）场景设计方法
一.方法简介
现在的软件几乎都是用事件触发来控制流程的，事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果就形成事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计者设计测试用例，同时使测试用例更容易理解和执行。
基本流和备选流：如下图所示，图中经过用例的每条路径都用基本流和备选流来表示，直黑线表示基本流，是经过用例的最简单的路径。备选流用不同的色彩表示，一个备选流可能从基本流开始，在某个特定条件下执行，然后重新加入基本流中（如备选流1和3）；也可能起源于另一个备选流（如备选流2），或者终止用例而不再重新加入到某个流（如备选流2和4）。
二.实战演习
1. 例子描述
下图所示是ATM例子的流程示意图。
2.场景设计：下表所示是生成的场景。
表3-8 场景设计
|
场景1——成功提款 |
基本流 |
|
|
场景2——ATM内没有现金 |
基本流 |
备选流2 |
|
场景3——ATM内现金不足 |
基本流 |
备选流3 |
|
场景4——PIN有误（还有输入机会） |
基本流 |
备选流4 |
|
场景5——PIN有误（不再有输入机会） |
基本流 |
备选流4 |
|
场景6——账户不存在/账户类型有误 |
基本流 |
备选流5 |
|
场景7——账户余额不足 |
基本流 |
备选流6 |
注：为方便起见，备选流3和6（场景3和7）内的循环以及循环组合未纳入上表。
3.用例设计
对于这7个场景中的每一个场景都需要确定测试用例。可以采用矩阵或决策表来确定和管理测试用例。下面显示了一种通用格式，其中各行代表各个测试用例，而各列则代表测试用例的信息。本示例中，对于每个测试用例，存在一个测试用例ID、条件（或说明）、测试用例中涉及的所有数据元素（作为输入或已经存在于数据库中）以及预期结果。
表3-9 测试用例表
|
TC（测试用例）ID号 |
场景/条件 |
PIN |
账号 |
输入（或选择）的金额 |
账面 金额 |
ATM内的金额 |
预期结果 |
|
CW1 |
场景1：成功提款 |
V |
V |
V |
V |
V |
成功提款 |
|
CW2 |
场景2：ATM内没有现金 |
V |
V |
V |
V |
I |
提款选项不可用，用例结束 |
|
CW3 |
场景3：ATM内现金不足 |
V |
V |
V |
V |
I |
警告消息，返回基本流步骤6，输入金额 |
|
CW4 |
场景4：PIN有误（还有不止一次输入机会） |
I |
V |
n/a |
V |
V |
警告消息，返回基本流步骤 4，输入 PIN |
|
CW5 |
场景4：PIN有误（还有一次输入机会） |
I
|
V |
n/a |
V |
V |
警告消息，返回基本流步骤 4，输入 PIN |
|
CW6 |
场景4：PIN有误（不再有输入机会） |
I |
V |
n/a |
V |
V |
警告消息，卡予保留，用例结束 |
4.数据设计
一旦确定了所有的测试用例，则应对这些用例进行复审和验证以确保其准确且适度，并取消多余或等效的测试用例。
测试用例一经认可，就可以确定实际数据值（在测试用例实施矩阵中）并且设定测试数据，如表3-10所示。
表3-10 测试用例表
|
TC（测试用例）ID号 |
场景/条件 |
PIN |
账号 |
输入（或选择）的金额 （元） |
账面 |
ATM内的金额（元） |
预期结果 |
|
CW1 |
场景1：成功提款 |
4987 |
809-498 |
50.00 |
500.00 |
2 000 |
成功提款。账户余额被更新为450.00 |
|
CW2 |
场景2：ATM内没有现金 |
4987 |
809-498 |
100.00 |
500.00 |
0.00 |
提款选项不可用，用例结束 |
|
CW3 |
场景3：ATM内现金不足 |
4987 |
809-498 |
100.00 |
500.00 |
70.00 |
警告消息，返回基本流步骤6，输入金额 |
|
CW4 |
场景4：PIN有误（还有不止一次输入机会） |
4978 |
809-498 |
n/a |
500.00 |
2 000 |
警告消息，返回基本流步骤4，输入PIN |
|
CW5 |
场景4：PIN有误（还有一次输入机会） |
4978 |
809-498 |
n/a |
500.00 |
2 000 |
警告消息，返回基本流步骤4，输入PIN |
|
CW6 |
场景4：PIN有误（不再有输入机会） |
4978 |
809-498 |
n/a |
500.00 |
2 000 |
警告消息，卡予保留，用例结束 |
测试用例设计综合策略
1. Myers提出了使用各种测试方法的综合策略：
1)在任何情况下都必须使用边界值分析方法，经验表明用这种方法设计出测试用例发现程序错误的能力最强。 文章来源：文斯测试技术研究中心 http://blog.csdn.net/vincetest】
2)必要时用等价类划分方法补充一些测试用例。
3)用错误推测法再追加一些测试用例。
4)对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度，如果没有达到要求的覆盖标准，应当再补充足够的测试用例。
5)如果程序的功能说明中含有输入条件的组合情况，则一开始就可选用因果图法。
2.测试用例的设计步骤 【文章来源：文斯测试技术研究中心 http://blog.csdn.net/vincetest】
1)构造根据设计规格得出的基本功能测试用例；
2)边界值测试用例；
3)状态转换测试用例；
4)错误猜测测试用例；
5)异常测试用例； 来源：文斯测试技术研究中心 http://blog.csdn.net/vincetest】
6)性能测试用例；
7)压力测试用例。
3.优化测试用例的方法
1)利用设计测试用例的8种方法不断的对测试用例进行分解与合并；
2)采用遗传算法理论进化测试用例；
3)在测试时利用发散思维构造测试用例。
以上内容由
于2007年12月17日星期一搜集整理
转载请注明来源！谢谢！！
