“基于模型的测试和验证工：虹科Reactis”

/ S2// S2 /

/ s2/1/ s2/基于模型的测试和验证工具

基于模型的开发( model-based development )设计方法以直观、快速、高效等特点广泛应用于汽车、航空/(/k0/)航天等基于模型的开发嵌入式控制系统设计中。 与以前流传下来的设计方法不同，不采用多而复杂的结构和编程语言，而是采用mbd平台构建各种功能的模块。 通过模块的仿真工具，可以进行系统测试，生成快速原型等。 不仅可以事先加强测试和验证，还可以利用硬件多环仿真方法，实现快速高效的系统动态测试。

以前流传下来的方法的设计方法是最初设计的硬件系统的原型实体，之后进行测试，之后的设计中继续改善，但在硬件阶段发现问题并不容易，需要时间和价格。 基于模型的设计是指，首先建立算法模型、物理模型和环境模型，然后基于matlab/simulink平台进行系统测试和仿真，然后在后续的设计中进行模拟，然后自动调用 实际上，将测试提前到了模拟阶段，使设计制造商能够尽早发现和处理问题。 基于模型的设计是为了在最后阶段进行硬件原型测试，首先验证良好的设计，而不是为了找出不良的设计。

reactis是与simulink/stateflow环境生成的模型文件*.mdl进行比较，生成测试用例，进行模拟、测试、验证的工具。 这样，设计工程师就可以在模型设计阶段(系统结构设计和子系统模块设计阶段)测试和验证系统，而无需等到v模型的右侧。 在更早的设计阶段保证系统的安全性和功能的正确性。 reactis高效、高复盖率的测试用例还可以用于独立的c代码测试、单元测试和系统测试。

reactis是一种基于模型的测试、模拟和验证工具。 其中包括三个子功能模块: reactis tester——。 生成合理高效的测试用例。 reactis simulator ——模型的模拟测试； reactis validator ——验证模型和系统要求的一致性。

2 reactis的主要优点

根据simulink/stateflow或targetlink的模型自动创建测试用例

客户可以定制测试目标

客户可以定制测试用例的创建标准

自动化的测试和验证功能可以更快地详细分解模型和系统，从而帮助客户节省大量的时间和价格

支持修改协调和分析( MC/DC )指导方针

提供详细的涵盖范围报告，包括测试集涵盖的副本和未涵盖的副本

具有设置断点的功能，客户可以单步执行，也可以以模块为单位执行

与以前流传的调试工具界面相似，便于客户采用

附有详细的例子和教程，帮助客户尽快学习和掌握

/ S2/]3react is 子功能块——测试器

reactis是其专利的算法，能够迅速生成复盖度高的测试用例，并删除冗余的测试用例。 这样生成的测试用例不仅可以用于模型测试，还可以导出*.m/*.mat/*.csv等样式文件，用于后期的代码测试、单元测试、系统测试。 reactis的测试用例生成器可以扩展现有的测试用例，可以随机生成测试用例，可以根据分支、mc/dc等系统的特定方面进行扩展。 如下图所示。

覆盖规则包括诊断、诊断、修改/诊断转换( MC/DC )。

比较simulink的复盖规则:联合子系统复盖，分支复盖，查找表复盖。

比较状态覆盖规则:状态，条件-操作，事务-操作。

是4 reactis子功能模块——模拟器

采用reactis simulator的用户可以直观地运行simulink/stateflow模型。 模拟器的客户界面与以前流传的编程语言调试界面类似，客户在模拟模型时可以单步执行( step-by-step )或以模块为单位执行) 模拟器还不错

模拟时反向执行

的可控制重播reactis tester编写的测试

以图形方式显示各种测试准则

微调tester生成的测试示例

图像: reactis simulator为simulink模型提供了高级调试环境

5 reactis子功能模块验证器[/S2/]

reactis validator会自动在模型中查找违反客户指定规则的部分。 如果validator发现违规，则可以自动创建描述违规的测试用例，然后在reactis simulator中运行测试以确定问题的原因。 该工具可以尽早发现设计错误和不一致，减少设计审查所需的手工操作。