扩展有限状态机到场景的转化.pdf
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EFSM可以更加精确地刻画软件系统的动态行为。由于前置条件的存在,EFSM中的状态迁移可能存在不确定性。论文针对扩展有限状态机中状态迁移不确定性导致的状态不可执行问题提出一种转化方法,将EFSM转化成等价的确定的场景,从而能利用发展较为成熟的FSM方法生成测试序列。
作者：DONGHuanzhen 董焕珍 LIJinhua 李劲华 MAZhibing 马志兵
作者单位：CollegeofInformationEngineering,QingdaoUniversity,NingxiaRoad308,266071青岛大学信息工程学院,青岛,266071
母体文献：第19届全国计算机新科技与计算机教育学术大会论文集
会议名称：第19届全国计算机新科技与计算机教育学术大会
会议时间：2008年8月2日
会议地点：黄山
主办单位：全国高等学校计算机教育研究会,中国计算机学会
语种：chi
分类号：
关键词：软件设计 扩展有限状态机 场景技术 性能测试
在线出版日期：2013年5月28日
基金项目：
相似文献
相关博文
- 文件大小:
- 317.65 KB
- 下载次数:
- 60
-
高速下载
|
|
