Modelook在无人机测试领域中的应用.docxVIP

本层系统开发,本层系统实现，?IVV确认3F层系统开发WV利益I妖者需 求定义需求分析 本层系统开发 ,本层系统实现 ，? IVV 确认 3 F层系统开发 WV 利益I妖者需 求定义 需求分析 ?下层系统实现 II工程背景II 现阶段无人机系统的架构复杂、使用场景繁多，传统方法是采用人工方式编写测试用例集, 使用文档作为设计部门和测试部门之间的数据交流。测试人员将面对巨大的人工工作量，除 了效率低下，容易出错之外，要保证需求、文档、测试用例和测试结果的一致性和准确性更 加困难。针对复杂无人机系统而言，传统方法已经难以对系统需求实现覆盖性测试。 II解决方案II 基于模型的测试应用是在基于模型的系统工程（MBSE ）应用大背景下，在测试领域的模型 化应用。其中模型测试需要实现以SysML模型作为系统完整描述的数据来源，并自动生成 测试用例所需的完备数据结构，从而打通常规设计端与验证端之间的数据鸿沟，衔接从设计 到测试验证的整个MBSE过程。 具体形式为通过继承上游的行为逻辑模型，自动生成测试用例，并进行覆盖率分析，实现基 于统一数据源的需求、设计到验证的完整闭环。 wv上层系统开发 wv 准备被测系统模型被测系统模型是基于系统维度的模型，主要包含需求模型和功能逻辑模 型。需求模型数据主要包含被测系统的需求条目，功能逻辑模型数据主要包含被测系统相关 的模型元素和行为图（活动图、顺序图、状态图）。 生成测试用例基于被测系统的行为逻辑模型，对数据进行解析，自动生成测试场景中所需的 测试用例。系统会遍历每一个行为图的众多执行路径中的每一条路径生成与之对应的测试用 例，该测试用例是以顺序图的形式呈现单一测试场景，测试场景的生命线从左向右分别代表 了测试激励、被测系统、测试响应。同时系统支持对测试用例进行检查分析及合并操作，保证形成一套完整且是最小割集的测试用例集。 ?5场景1场景2场景3片段用例（一） XT 4停车场系统评审测试用例通过在需求条目与测试用例之间创立vv追踪＞＞、VV验证＞＞等依赖关系，检查 测试用例集对需求的覆盖率，关联关系创立后可以通过矩阵视图直观的看到每一个测试用例 全部或局部满足哪些需求，或者每一条需求都能够由哪些测试用例进行全部或局部测试。通 过评审生成的测试用例以验证其能正确的满足系统需求，以验证交付模型直接满足需求。 ?5 场景1 场景2 场景3 片段用例 （一） XT 4 停车场系统 停车系统案例1^—1??????需求包系统需求L1进入L.6备用车位 ~ 停车系统案例 1^—1?????? 需求包 系统需求 L1进入 L.6备用车位 ~ - 1.511 通知O I 愧 — 一 4S示O -g! 一W付费 n 求停一.2车位统计 3电停车系统设计模型 测 试 用 例自咨 Non-Guest Arrives Sunny Da... 卜国 Non-Guest Arrives Sunny ... HS Non-Guest Arrives Sunny ... J国 Non-Guest Arrives Sunny ... 测 试 用 例 S-H Guest Arrives - Sunny Day Sc... 卜国 Guest Arrives - Sunny Da... I 国 Guest Arrives - Sunny Da... 覆盖率分析可在测试过程中，对测试需求的覆盖率进行统计，并通过表格的方式显示分析结 果，便于测试人员对测试需求完成度的分析。在需求覆盖率总结中，绿色表示测试用例集已 经覆盖到的需求条目，红色是未覆盖的需求。同时，也可以将测试用例对模型元素做覆盖率 分析统计，可明确测试模型对设计模型的覆盖程度。 环境信息 测试人 停车系统案例 测试机器 20 测试系统版本 12 那么试时间 2020/5/11 一^工程信息 工程 停车系统案例 需求 20 测试用例 12 覆盖率结果 停车系统案例 10%? 系统需求 10% 详细信息 Pre Payment 无覆盖 Space Availabilityr Informa 无覆盖 Allocation of Parking Spac 无覆盖 Non Payment 无覆盖 Insufficient Space 无覆盖 Produce Invoices 无覆盖 Alert Free Spaces 无覆盖 Alternate Parking 无覆盖 Entry 覆盖 Car Park Access ,无覆盖 导出测试结果 基于所管理的测试过程数据，按照自定义的文档模板生成测试报告。导出的测试报告中包含 了测试场景、测试用例、测试需求、每个测试用例需求覆盖率的详细情况等内容。 支持导出为Excel文件，可直观查看需求模型-设计模型-测试模型之间的追踪关系。 可针对测