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

Modelook在无人机测试领域中的应用|项目背景|现阶段无人机系统的架构复杂、使用场景繁多，传统方法是采用人工方式编写测试用例集，使用文档作为设计部门和测试部门之间的数据交流。测试人员将面对巨大的人工工作量，除了效率低下，容易出错之外，要保证需求、文档、测试用例和测试结果的一致性和准确性更加困难。针对复杂无人机系统而言，传统方法已经难以对系统需求实现覆盖性测试。|解决方案|基于模型的测试应用是在基于模型的系统工程（MBSE）应用大背景下，在测试领域的模型化应用。其中模型测试需要实现以SysML模型作为系统完整描述的数据来源，并自动生成测试用例所需的完备数据结构，从而打通常规设计端与验证端之间的数据鸿沟，衔接从设计到测试验证的整个MBSE过程。具体形式为通过继承上游的行为逻辑模型，自动生成测试用例，并进行覆盖率分析，实现基于统一数据源的需求、设计到验证的完整闭环。准备被测系统模型被测系统模型是基于系统维度的模型，主要包含需求模型和功能逻辑模型。需求模型数据主要包含被测系统的需求条目，功能逻辑模型数据主要包含被测系统相关的模型元素和行为图（活动图、顺序图、状态图）。生成测试用例基于被测系统的行为逻辑模型，对数据进行解析，自动生成测试场景中所需的测试用例。系统会遍历每一个行为图的众多执行路径中的每一条路径生成与之对应的测试用例，该测试用例是以顺序图的形式呈现单一测试场景，测试场景的生命线从左向右分别代表了测试激励、被测系统、测试响应。同时系统支持对测试用例进行检查分析及合并操作，保证形成一套完整且是最小割集的测试用例集。评审测试用例通过在需求条目与测试用例之间创建<<追踪>>、<<验证>>等依赖关系，检查测试用例集对需求的覆盖率，关联关系创建后可以通过矩阵视图直观的看到每一个测试用例全部或局部满足哪些需求，或者每一条需求都能够由哪些测试用例进行全部或局部测试。通过评审生成的测试用例以验证其能正确的满足系统需求，以验证交付模型直接满足需求。覆盖率分析可在测试过程中，对测试需求的覆盖率进行统计，并通过表格的方式显示分析结果，便于测试人员对测试需求完成度的分析。在需求覆盖率总结中，绿色表示测试用例集已经覆盖到的需求条目，红色是未覆盖的需求。同时，也可以将测试用例对模型元素做覆盖率分析统计，可明确测试模型对设计模型的覆盖程度。导出测试结果基于所管理的测试过程数据，按照自定义的文档模板生成测试报告。导出的测试报告中包含了测试场景、测试用例、测试需求、每个测试用例需求覆盖率的详细情况等内容。支持导出为Excel文件，可直观查看需求模型-设计模型-测试模型之间的追踪关系。可针对测试用例，生成符合XML文件格式的测试用例脚本文件，导出的测试脚本文件可导入第三方测试平台，供进一步的测试应用。|收益|l 自动生成测试用例，代替手工编写方式l 测试用例100%覆盖系统需求，验证需求已经通过SysML模型实现l 测试用例达到100%的模型覆盖率，验证SysML模型没有非预期功能l 设计和测试信息均以模型来描述，一致性得以保障