matlab基于模型的测试与验证,基于模型的测试和验证工具——Reactis

1、基于模型的测试和验证工具--Reactis

基于模型的开发(Model-Based Development)的设计方法以其直观、快速、高效等优势，在汽车、航空航天等的基于模型的开发嵌入式控制系统设计中得到广泛的应用。它不同于传统的设计方法，不是使用复杂的结构和编程语言，而是使用MBD平台来搭建各种功能的模块。通过模块的仿真工具，可以进行系统测试，产生快速原型等。不仅可以提前和加强测试与验证，而且可以利用Hardware-in-the-loop仿真方法，实现快速高效的系统动态测试。

传统方式的设计方法是先设计的硬件系统原型实体，然后进行测试并在后续的设计中不断改进，但是在硬件阶段发现问题很难，而且需要大量的时间和成本。基于模型的设计就是先建立算法模型、物理模型以及环境模型，然后基于MATLAB的Simulink平台，进行系统测试与仿真，在后续的设计中不断进行仿真，再用自动代码创建工具产生实际系统所需的软件代码。实际上是将测试提前到了仿真阶段，设计制造人员能尽早发现并解决问题。基于模型的设计在最后阶段要进行硬件原型测试，主要是为了验证良好的设计，并不是要找出不良的设计。

Reactis是针对Simulink/Stateflow环境生成的模型文件*.mdl，产生测试用例，进行仿真、测试和验证的工具。它使得设计工程师不需要等到V模型的右侧才进行测试验证，而是在模型设计阶段，即系统结构设计和子系统模块设计阶段就能够对系统进行测试验证。在更早的设计阶段保证系统的安全性和功能的正确。同时，Reactis高效、高覆盖度的测试用例也可以用于独立C代码的测试，单元测试和系统测试。