面向民用飞机需求验证的自动化测试技术研究

作     者：汪澔 武仲芝 唐剑 WANG Hao;WU Zhongzhi;TANG Jian

作者机构：中国商用飞机有限责任公司北京民用飞机技术研究中心北京102211 

出 版 物：《图学学报》 (Journal of Graphics)

年 卷 期：2024年第45卷第2期

页      面：308-316页

学科分类：081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家重点研发计划项目(2020YFB1708100) 

主　　题：需求验证 测试用例 基于模型的测试 SysML 

摘      要：在商用飞机全生命周期的研制过程中,需求与概念论证环节作为商用飞机研制的早期环节,将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一,以一种统一化、标准化的描述了目标产品一系列的预期行为表达。功能性需求作为功能定义的重点输出产物,决定了商用飞机的核心产品竞争力。基于功能仿真的需求验证作为一种常用的需求质量评价手段,通过建立飞机的测试模型,仿真模拟特定场景下飞机的运行行为,以结果为评判依据确认早期方案设计是否满足需求。然而,在实际面向需求的仿真测试过程中,碍于场景外部环境的多变性,往往会出现“组合爆炸式的测试用例,极大地增加了测试的规模和成本。为解决上述问题,提出基于模型的测试(MBT)方法,通过基于系统建模语言(SysML)模型自动化生成测试用例,缩短验证过程的周期并保证需求验证的可追溯性。