状态转换图的组成：

1、状态：以圆圈表示，开始和结束是特殊状态；

2、转换：由于事件的驱动，系统从一个状态到另一个状态；

3、事件：以系统的相关接口触发，和特定的转换关联；

4、活动：以“/”表示，活动由状态转换触发；

5、条件：以“[ ]”表示，说明状态转换只有在满足这个条件后进行。


状态转换测试：是根据状态转换来设计测试用例的一种方法。一个系统或组件的两个允许状态之间的切换。

基于状态转换的测试方法是探测Web程序动态行为异常的有效途径.Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定.本文用活动页 面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个 较为全面的动态行为模型Web程序状态转换图(WSTD).最后,采用线索k叉树并加以改进来自动生成测试用例。


状态转换图----->状态转换树

1、将开始状态作为状态转换树的根；

2、从左到右检查当前层次的节点，将该节点对应的所有下一个可能状态作为其子节点；

3、重复第二部的动作，直到遇到前面层次的节点，则该节点为最终节点，最终到结束节点。


<