摘要
在商用飞机全生命周期的研制过程中,需求与概念论证环节作为商用飞机研制的早期环节,将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一,以一种统一化、标准化的描述了目标产品一系列的预期行为表达。功能性需求作为功能定义的重点输出产物,决定了商用飞机的核心产品竞争力。基于功能仿真的需求验证作为一种常用的需求质量评价手段,通过建立飞机的测试模型,仿真模拟特定场景下飞机的运行行为,以结果为评判依据确认早期方案设计是否满足需求。然而,在实际面向需求的仿真测试过程中,碍于场景外部环境的多变性,往往会出现“组合爆炸式”的测试用例,极大地增加了测试的规模和成本。为解决上述问题,提出基于模型的测试(MBT)方法,通过基于系统建模语言(SysML)模型自动化生成测试用例,缩短验证过程的周期并保证需求验证的可追溯性。
Requirement and concept demonstration is the early stage of the development lifecycle of commercial aircraft,which will significantly impact the whole life cycle cost.Functional definition describes a series of standardized and unified expected behaviors of the targeted product and can be regarded as one of the core products in the requirements and concept demonstration stage.Functional requirements,as key outputs of the functional definition process,determine the core product competitiveness of commercial aircraft.As a common means for evaluating requirement quality,function simulation-based requirement verification is employed to establish a test model of an aircraft and to simulate its behavior in specific scenarios,thus confirming whether the early-stage design specifications meet the requirements based on the simulated results.However,in the actual requirement-oriented simulation process,the variability of external environmental factors in specific scenarios often leads to test cases exhibiting what is commonly known as“combinatorial explosion”,significantly increasing the scale and cost of testing.In order to solve the problem above,a model-based testing(MBT)methodology was proposed.It will automatically generate test cases based on system modeling language(SysML)models,thereby shortening the verification cycle and ensuring the traceability of requirement verification.
作者
汪澔
武仲芝
唐剑
WANG Hao;WU Zhongzhi;TANG Jian(COMAC Beijing Aircraft Technology Research Institute,Beijing 102211,China)
出处
《图学学报》
CSCD
北大核心
2024年第2期308-316,共9页
Journal of Graphics
基金
国家重点研发计划项目(2020YFB1708100)。
