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

摘要

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