一种民用航空发动机软件模型规范及自动化检查方法

摘要

本发明公开了一种民用航空发动机软件模型规范及自动化检查方法，包括以下步骤：(1)标识所使用的建模工具，以及其语法、语义、特征和限制；(2)规定建模的风格及复杂性；(3)规定建模工具和支持库正确使用的约束；(4)建立需求追溯的方法，明确追溯的对象及方法以及派生设计的处理方案；(5)将条目化的需求规范结合SCADE工具，使用TCL脚本语言开发出检查工具并实现一键检查。本发明有效提高了模型对规范的符合性的检查效率，能够自动检查模型规范的落实情况，生成DO‑331中MB.A‑4.5“低层需求符合标准”的符合性证据，降低了人工分析不到位的风险，有效减轻了分析人员的工作负担。