测试用例生成方法：
从功能图生成测试用例，得到的测试用例数十可以接受的。问题的关键是如何从状态迁移图中选取测试用例。若用节点代替状态，用弧线代替迁移，则状态迁移图就可转化成一个程序的控制流程图形式。问题就转化为程序的路径测试问题了。
为了把状态迁移（测试路径）的测试用例与逻辑模型（局部测试用例）的测试用例组合起来，从功能图生成实用的测试用例，须定义下面的规则。在一个结构化的状态迁移（SST）中，定义三种形式的循环：顺序，选择和重复。但分辨一个状态迁移中的所有循环式有困难的。
测试用例生成过程：
A．生成局部测试用例：在每个状态中，从因果图生成局部测试用例。局部测试用例由原因值（输入数据）组合与对应的结果值（输出数据或状态）构成。
B．
测试路径生成：利用上面的规则（3种）生成从初始状态到最后状态的测试路径。
C．
测试用例合成：合成测试路径与功能图中每个状态的局部测试用例。结果是初始状态到最后状态的一个状态序列，以及每个状态中输入数据与对应输出数据的组合。
测试用例的合成算法：采用条件构造数。
状态迁移图法简介：
A．许多需求用状态机的方式来描述，状态机的测试主要关注在测试状态转移的正确性上面。对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态，可能不可能产生非法的状态转移等
B．
通过构造能导致状态迁移的事件来测试状态之间的转换，常用于协议测试
C．
用这种方法可以设计逆向的测试用例，如状态和时间的非法组合
状态迁移图的步骤：
A．画出状态迁移图；
B．
列出状态——事件表；
C．
得到状态转换树；
D．推出测试路径‘
E．
根据测试路径编写测试用例。
[attach]72296[/attach]
解答：
画出的状态迁移图如下：
[attach]72297[/attach]
得到状态-事件表如下：
[attach]72298[/attach]
根据状态-事件表，得到状态树如下：
[attach]72299[/attach]
以上的每一条路径，都是一个测试用例：
[attach]72300[/attach]
[attach]72301[/attach]
[attach]72302[/attach]
[attach]72303[/attach]
[attach]72304[/attach]
[attach]72305[/attach]
[attach]72306[/attach]
[attach]72307[/attach]
[attach]72308[/attach]
[attach]72309[/attach]
不是很明白| 欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/) | Powered by Discuz! X3.2 |