南京航空航天大学学报(自然科学版)2025，Vol.57Issue(5)：P.999-1012,14.DOI:10.16356/j.1005-2615.2025.05.020
FADEC软件需求形式化建模与测试用例生成的实例研究
摘要
关键词
计算机软件与理论/机载软件形式化建模/变量关系模型/自然语言需求建模/测试用例自动生成分类
信息技术与安全科学引用本文复制引用
董泽华,胡军,沈翔宇,熊波,董亚炯,戴嘉磊..FADEC软件需求形式化建模与测试用例生成的实例研究[J].南京航空航天大学学报(自然科学版),2025,57(5):P.999-1012,14.基金项目
国家自然科学基金和“叶企孙”联合基金重点项目(U2241216,Y2022-V-0001-0027)。 （U2241216,Y2022-V-0001-0027）
