基于顺序图的FADEC软件需求状态图模型验证

摘要：

基于模型的系统工程MBSE方法论在全权限数字电子控制(FADEC)软件开发领域的应用越来越普遍,模型作为开发过程中传递信息的介质,其在软件开发过程中的重要性不言而喻.完善的需求模型可以降低FADEC软件研制过程中的风险,提高研制效率.以SysML顺序图为测试用例,对模型进行测试.通过测试用例与需求的追踪关系,保证了测试的有效性.测试用例生成过程中利用了ATG用例自动生成技术.测试结果表明了此方法的实用性,实现了对需求模型的充分测试.

关键词：MBSE、FADEC、ATG、顺序图

所属期刊栏目：35

分类号：V23(航空发动机（推进系统）)

在线出版日期：2016-06-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：109-112,127