一种面向发动机软件FADEC需求的建模分析及测试用例自动生成方法

本发明提出了一种面向发动机软件FADEC需求的建模分析及测试用例自动生成方法，属于航空发动机控制领域。本发明在系统需求层次使用DeepSeek辅助预处理，完成基于形式化表格的建模工作；通过多层级的需求模型分析，自动检测需求中存在的漏洞；最后通过建立语法逻辑架构，自动生成符合满足DO‑178C适航要求的测试用例集。本发明专注于发动机软件FADEC需求层面的形式化验证工作，通过使用可执行的模型，可以有效地发现需求或者设计过程中出现的缺陷，并且及时地消除错误，自动生成测试用例，从而大大减少开发后期的返工和迭代成本。