基于EFSM模型的舰船装备软件任务分析与建模方法

摘要

针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与建模手段的问题,开展舰船装备软件任务分析与建模技术研究.首先,探讨舰船装备软件任务特征分析方法,包括软件的任务分解、软件需求特征和任务特征的获取.然后,进行舰船装备软件EFSM模型建模方法研究,在此基础上给出了构建任务EFSM模型的详细步骤,提出了舰船装备软件任务的EFSM模型,并给出图形化和文本化表示.从而为测试人员在任务执行层面开展测试工作提供技术支撑.