基于模型的飞机航电系统持续集成开发验证方法及系统
摘要:
本发明提供了一种基于模型的飞机航电系统持续集成开发验证方法及系统,包括:定制基于模型的飞机航电系统的软件开发流程;使用定制接口自动完成基于模型的测试验证方法;测试集成控制平台完成模型配管、代码生成、测试工具链和测试验证环境集成;自动构建调用相应测试工具链和测试验证环境完成从模型到测试验证的闭环过程。本发明使用基于模型的开发验证方法解决了需求分析的理解问题,极大降低系统验证难度,节约系统验证成本,同时保证了需求、设计、测试和实现的一致性;打通模型到测试验证的闭环流程使设计人员在迭代开发过程关注的对象是模型,不断提升设计质量,大大降低迭代开发成本。
0/0