陈子杭 肖 刚* 郭晓燕 姚志超 李洪宇

(1. 上海交通大学，上海 200240； 2. 上海飞机设计研究院，上海 201210)

0 引言

根据SAE ARP 4754A所规定的民用飞机研制流程，民用飞机应在早期设计阶段进行飞机级需求的确认与验证工作[1]。在传统的工作中，这一过程主要基于需求文档完成。近年来，以场景作为工具，在场景中进行测试工作，完成需求的确认与验证的方法逐渐受到工业界的关注。而要实现基于场景的测试，首先要解决的问题是测试用例的生成[2]，在以往的工作中测试用例由测试人员手动编写完成，存在着效率低和容易遗漏的缺点，基于场景模型自动生成测试用例逐渐成为研究的热点。本研究采用SysML活动图构建民用飞机运行场景模型，提出了基于场景模型的测试用例生成和排序方法，为后续实施基于场景的自动化测试提供了理论基础。

1 基于场景的测试

基于场景的测试最早应用于软件工程领域，通过软件的具体应用场景来生成测试用例，以期找出软件中的错误[3]。近年来，逐步应用于自动驾驶等领域，通过建立测试场景数据库来进行驾驶安全性测试工作[4-5]。在民机领域，主要利用场景分析来进行需求的捕获工作[6-7]，但由于民机本身作为一个复杂产品，加上其所处的环境具有多重影响因素，基于场景进行相应的工作还处在初步阶段[8-10]，有很大的进步空间。

2 民机运行场景建模

2.1 建模步骤

民机运行场景是指飞机在交付后投入载客运行阶段所处的环境。在建立场景模型的过程中首先需要明确构建场景的目的，即构建场景的用途。……