消除EFSM中状态迁移不确定的方法

下载PDF

导出

摘要扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。

作者刘霞年小玲游霞

机构地区攀枝花学院计算机学院西南交通大学计算机与通信工程学院攀枝花学院电信学院

出处《攀枝花学院学报》 2006年第4期96-98,共3页 Journal of Panzhihua University

关键词扩展有限状态机有限状态机状态测试

参考文献1

1虞凡,覃征,贾晓琳,何坚.基于XYZ/E规范的软件测试用例自动生成方法[J].计算机工程,2005,31(19):76-78. 被引量：4
2黄志华,苏国平.一种基于DARTS设计的嵌入式软件测试用例模型[J].中国测试技术,2006,32(1):86-88. 被引量：2
3朱彬,缪淮扣,王娜.Z规格说明的测试用例自动生成[J].应用科学学报,2006,24(4):377-381.
4孙志岗,郝刚,王宇颖.基于网络接口规范的用例自动生成技术[J].哈尔滨工业大学学报,2006,38(9):1455-1457.
5付剑平,陆民燕,阮镰.软件测试用例生成中的前置条件分析[J].计算机应用研究,2007,24(3):103-105. 被引量：7
6高媛,陈立潮,张永梅.基于规范的软件构件测试技术研究[J].现代电子技术,2007,30(18):88-90. 被引量：1
7朱令娴,周伯生,罗文劼.过程模型的测试用例自动生成研究[J].计算机系统应用,2008,17(2):84-89.
8徐博,樊晓光,田涛.扩展UML状态图在软件测试中的应用[J].计算机工程,2007,33(24):78-79. 被引量：3
9朱义毅,缪淮扣,唐新香.一种基于Object-Z规格说明的集成测试用例生成方法[J].上海大学学报（自然科学版）,2009,15(1):60-65. 被引量：2
10张红燕,杨根兴,蔡立志.基于形式化描述可复用测试用例库的研究与实现[J].计算机应用与软件,2010,27(7):43-46. 被引量：2

攀枝花学院学报

2006年第4期

内容加载中请稍等...