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

• 作者: 刘传会 张红安 戴瑾珺 杜伟
• 来源期刊: 测控技术
• 学科: 航空航天
• 关键词: MBSE FADEC ATG 顺序图
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 软件纵横
• 页码范围: 109-112,127
• 页数: 5页
• 分类号: V23
• 字数: 2828字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜伟		1	1	1.0	1.0
2	刘传会		1	1	1.0	1.0
3	张红安		1	1	1.0	1.0
4	戴瑾珺		1	1	1.0	1.0