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

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

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

杜伟，刘传会，张红安，戴瑾琚

(1．中航工业航空动力控制系统研究所，江苏无锡214063；2．中航工业航空动力机械研究所，湖南株洲412000)

摘要：基于模型的系统工程MBSE方法论在全权限数字电子控制(FADEC)软件开发领域的应用越来越

普遍，模型作为开发过程中传递信息的介质，其在软件开发过程中的重要性不言而喻。完善的需求模型

可以降低FADEC软件研制过程中的风险，提高研制效率。以SysML顺序图为测试用例，对模型进行测

试。通过测试用例与需求的追踪关系，保证了测试的有效性。测试用例生成过程中利用了ATG用例自

动生成技术。测试结果表明了此方法的实用性，实现了对需求模型的充分测试。

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

中图分类号：V23文献标识码：A文章编号：1000—8829(2016)04—0109—04

AModelValidatingMethodofRequi