南京航空航天大学学报

作者：董泽华，胡军，沈翔宇，熊波，董亚炯，戴嘉磊

单位：南京航空航天大学计算机科学与技术学院，南京 211106；,南京航空航天大学计算机科学与技术学院，南京 211106；,中国航发控制系统研究所，无锡 214000；,中国航发控制系统研究所，无锡 214000；,南京航空航天大学计算机科学与技术学院，南京 211106；,南京航空航天大学计算机科学与技术学院，南京 211106；

关键词：计算机软件与理论;机载软件形式化建模;变量关系模型;自然语言需求建模;测试用例自动生成

基金：国家自然科学基金和“叶企孙”联合基金重点项目（U2241216；Y2022-V-0001-0027）。

研发具有安全关键特征的全权限数字化发动机控制（Full authority digital engine control， FADEC）软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战，基于变量关系模型（Variable relation model， VRM）提出了对条目化自然语言描述的FADEC软件需求形式化建模、分析和基于模型测试用例生成的技术方法，并对FADEC中启动燃油控制软件（Start fuel control， SFC）功能实例进行了研究。研究包括对FADEC自然语言需求文档开展结构化预处理，生成领域概念库；通过需求规范化生成形式化建模框架；基于变量关系模型开展多范式的分析；基于需求模型自动生成测试用例；对FADEC需求建模分析中的领域特征问题进行总结分析等。本文对FADEC软件需求提供了建模与测试的工程经验。

来源：2025年第5期

《南京航空航天大学学报》期刊编辑部

查看南京航空航天大学学报杂志2025年第5期