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

【类型】期刊

【作者】汪澔  武仲芝  唐剑 

【刊名】图学学报

【关键词】 测试用例,SysML,需求验证,基于模型的测试

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

【年份】2024

【作者单位】中国商用飞机有限责任公司北京民用飞机技术研究中心;

【期号】02

【页码】308-316