扩展有限状态机到场景的转化

摘要：

　　扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EFSM可以更加精确地刻画软件系统的动态行为。由于前置条件的存在,EFSM中的状态迁移可能存在不确定性。论文针对扩展有限状态机中状态迁移不确定性导致的状态不可执行问题提出一种转化方法,将EFSM转化成等价的确定的场景,从而能利用发展较为成熟的FSM方法生成测试序列。

关键词： 软件设计 扩展有限状态机 场景技术 性能测试

作者: DONG Huanzhen 董焕珍 LI Jinhua 李劲华 MA Zhibing 马志兵

作者单位: College of Information Engineering, Qingdao University, Ningxia Road 308,266071 青岛大学信息工程学院,青岛,266071

会议类型: 国内会议

会议名称: 第19届全国计算机新科技与计算机教育学术大会

会议地点: 黄山

会议语种:中文

页码: 89-94

在线出版日期: 2008-08-02（万方平台首次上网日期，不代表论文的发表时间）