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