《表1 设备初始化任务EFSM模型状态迁移表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于任务的舰船装备软件测试技术研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

以某舰船装备软件设备初始化任务为例，建立EFSM模型如图2所示。在该模型中，状态集S={s0，s1，s2，s3，s4，s5}，初始状态为s0，终止状态为s5，迁移集T={t1，t2，t3，t4，t5，t6，t7，t8，t9}。表1明确了每个迁移的源状态、目标状态、激励事件、前置条件、行动操作和后置条件。