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