会员服务

帐号
密码
忘记密码加入会员登入
电子报订阅

嵌入式软件自动测试及验证工具 Reactis

CAE 最新的一个流行分支是基于模型的设计(Model-based Design),注重于嵌入式控制设计,非常适合于机电仪一体化设备的开发。传统的设计方法是先设计的硬件系统原型实体,然后进行测试并在后续的设计中不断改进,但是在硬件阶段发现问题很难,而且需要大量的时间和成本。

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

RSI(Reactive Systems, Inc.)总部位于美国,成立于1999年,旗舰产品 Reactis 和 Reactis C plug-in 是针对Simulink/StateFlow 或者 TargetLink 模型的测试和验证工具;Reactis for C是面向C代码的测试和验证工具。Reactis是针对Simulink/Stateflow环境生成的模型文件*.mdl,产生测试用例,进行仿真、测试和验证的工具。 它使得设计工程师不需要等到V模型的右侧才进行测试验证,而是在模型设计阶段,即系统结构设计和子系统模块设计阶段就能够对系统进行测试验证。在更早的设计阶段保证系统的安全性和功能的正确。同时,Reactis高效、高覆盖度的测试用例也可以用于独立C代码的测试,单元测试和系统测试。

基于模型的设计(Model-Based Design)的设计方法以其直观、快速、高效等优势,在汽车、航空航天等的基于模型的开发嵌入式控制系统设计中得到广泛的应用。传统方式的设计方法是先设计的硬件系统原型实体,然后进行测试并在后续的设计中不断改进,但是在硬件阶段发现问题很难,而且需要大量的时间和成本。基于模型的设计就是先建立算法模型、物理模型以及环境模型,然后基于MATLAB与Simulink平台,进行系统测试与仿真,在后续的设计中不断进行仿真,再用自动代码创建工具产生实际系统所需的软件代码。实际上是将测试提前到了仿真阶段,设计制造人员能尽早发现并解决问题。基于模型的设计在最后阶段要进行硬件原型测试,主要是为了验证良好的设计,并不是要找出不良的设计。基于模型的设计过程中,模型的测试和验证至关重要,Reactis是业界领先的软件工具,可直接使用Simulink/Stateflow和TargetLink模型进行测试和验证。

模型设计之初先建立算法模型、物理模型以及环境模型,然后基于MATLAB与Simulink平台,进行系统测试与仿真,在后续的设计中不断进行模拟, 再用自动程序代码产生器产生实际系统所需的软件程序代码。实际上是将测试提前到了仿真阶段,设计制造人员能尽早发现并解决问题。基于模型的设计在最后阶段要进 行硬件原型测试,主要是为了验证良好的设计,并不是要找出不良的设计。

 
 

Reactis主要有三个模块:
1. Reactis – 基于模型的测试、仿真和验证工具。其中包含三个子功能模块:Reactis Tester - 生成精简高效的测试用例;Reactis Simulator --- 对模型进行仿真测试;Reactis Validator --- 对模型与系统要求的一致性进行验证。
2. Reactis C plug-in –是Reactis软件的插件,可以对系统中通过S-Function连接的C语言代码进行白盒子检查。
3. Reactis for C Standalone - 是面向C代码的检查、测试软件。它可以完全独立运行,不需要 Matlab/Simulink 环境。支持静态分析和动态分析两种模式。


客户行业
  • 汽车、地面运输、航天、军事、半导体、重型装备等行业。 
 
 
 021-64227122            sales.testing@cybernet.sh.cn          关注莎益博测试与测量     
  

 

TOP