|
|||||
|
|
| 消除EFSM中状态迁移不确定的方法 | |
| 引用本文： | 刘霞,年小玲,游霞.消除EFSM中状态迁移不确定的方法[J].攀枝花学院学报,2006,23(4):96-98. |
| 作者姓名： | 刘霞 年小玲 游霞 |
| 作者单位： | 1. 攀枝花学院计算机学院,四川,攀枝花,617000 2. 西南交通大学计算机与通信工程学院,四川,成都,610031 3. 攀枝花学院电信学院,四川,攀枝花,617000 |
| 摘 要： | 扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。 |
| 关 键 词： | 扩展有限状态机 有限状态机 状态测试 |
A Method to Eliminate Indetermination When States Had Been Changed in EFSM |
|
| Liu Xia,Nian Xiaolin,You Xia.A Method to Eliminate Indetermination When States Had Been Changed in EFSM[J].Journal of Panzhihua University,2006,23(4):96-98. | |
| Authors: | Liu Xia Nian Xiaolin You Xia |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |