快乐由心

用例设计之状态迁移法(1)

上一篇 / 下一篇  2012-06-01 19:03:46 / 个人分类:软件测试理论

状态迁移法

6-1定义

状态迁移图法主要关注在测试状态迁移的正确性上面,对于一个有限状态机,通过测试验证其在给定的条件内是否能够产生需要的状态变化,有没有不可达到的状态和非法状态,可能不可能产生非法的状态转移等,通过构造能导致状态迁移法的事件,来测试状态间的转移。

6-2状态迁移图

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

B.通过构造能导致状态迁移的事件来测试状态之间的转换,常用于协议测试

C.用这种方法可以设计逆向的测试用例,如状态和时间的非法组合

6-3应用的范围

一个功能的状态比较多的情况下,比如MP3、堆栈操作等。

6-3设计步骤

² 画出状态迁移图

² 列出状态事件表

² 得到状态转换树

² 推测出测试路径

² 根据测试路径编写测试用例

6-4举例

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

1)状态-事件表

按键

Idle

播放

录音

R()

---

---

P(播放)

播放

播放

---

播放

---

F()

---

---

RC(录音)

录音

---

---

---

---

S(Idle)

----

Idle

Idle

Idle

Idle

6-1状态-事件表

就上表的意思:在某个状态可操作的按键(应参考需求说明)。

² 当处于空闲时,可操作RPFRC按键,并对应相应功能

² 当歌曲处于倒序状态时,可操作PFIdle按键,并对应相应功能

² 当歌曲处于播放状态时,可操作RFIdle

² 当歌曲处于快进状态时,可操作RFIdle

² 当处于录音状态时,只能操作Idle

² 可以看出,只有在空闲状态才能进行录音操作,录音时不能进行除空闲之外的操作

2)画出状态迁移图

                                                                


6-1状态迁移图

上图是状态迁移图,表示迁移到另一种状态。解释其中一种:如,从Idle状态,通过RC操作,进入录音状态,从RC状态,通过S操作进入Idle状态。

3)得到状态-事件表


TAG:

 

评分:0

我来说两句

Open Toolbar