全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- 面向民用飞机需求验证的自动化测试技术研究
- 作者： 汪澔 武仲芝 唐剑 来源： 图学学报 年份： 2024 文献类型 ： 期刊 关键词： 测试用例 SysML 需求验证 基于模型的测试
- 描述： 在商用飞机全生命周期的研制过程中，需求与概念论证环节作为商用飞机研制的早期环节，将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一，以一种统一化、标准化的描述了目标产品一系列的预期行为表达。功能性需求作为功能定义的重点输出产物，决定了商用飞机的核心产品竞争力。基于功能仿真的需求验证作为一种常用的需求质量评价手段，通过建立飞机的测试模型，仿真模拟特定场景下飞机的运行行为，以结果为评判依据确认早期方案设计是否满足需求。然而，在实际面向需求的仿真测试过程中，碍于场景外部环境的多变性，往往会出现“组合爆炸式”的测试用例，极大地增加了测试的规模和成本。为解决上述问题，提出基于模型的测试(MBT)方法，通过基于系统建模语言(SysML)模型自动化生成测试用例，缩短验证过程的周期并保证需求验证的可追溯性。