Reactive Systems企业成立于1999年，在模型测试领域拥有丰富的经验。近日，恒润科技成功代理Reactive Systems企业的模型测试工具Reactis。
基于模型的开发(Model-Based Development)的设计方法以其直观、快速、高效等优势，在汽车等的基于模型的开发嵌入式控制系统设计中得到广泛的应用。
Reactis是针对Simulink/Stateflow环境生成的模型文件*.mdl，产生测试用例，进行仿真、测试和验证的工具。 它使得设计工程师不需要等到V模型的右侧才进行测试验证，而是在模型设计阶段，即系统结构设计和子系统模块设计阶段就能够对系统进行测试验证。在更早的设计阶段保证系统的安全性和功能的正确性。同时，Reactis高效、高覆盖度的测试用例也可以用于独立C代码的测试、单元测试和系统测试。
Reactis主要模块：
• Reactis——基于模型的测试、仿真和验证工具。其中包含三个子功能模块：
♦ Reactis Tester——生成精简高效的测试用例；
♦ Reactis Simulator——对模型进行仿真测试；
♦ Reactis Validator——对模型与系统要求的一致性进行验证。
• Reactis C plug-in—— ReactisApp的插件，可以对系统中通过S-Function连接的C语言代码进行白盒子检查。
• Reactis for C Standalone——面向C代码的检查、测试App。它可以完全独立运行，不需要MATLAB/Simulink环境。支撑静态分析和动态分析两种模式。
Reactis的主要特点：
• 根据Simulink/Stateflow或TargetLink的模型自动创建测试用例
• 用户可以自定义测试目标
• 用户可以自定义测试用例的创建准则
• 自动测试和验证功能，更快完成模型和系统的详尽分析，帮助客户节约大量时间和成本
• 支撑MC/DC (Modified Condition Decision Coverage)准则
• 提供详细的覆盖范围报告，包括测试集覆盖的以及未覆盖的内容
• 断点设置功能，用户可以单步实行或是选择以模块为单位实行
• 与传统的调试工具界面相似，用户使用方便
• 附有详细的例子和教程，可帮助用户尽快学习并掌握
Reactis for C Plug in
Reactis for C Plugin 无缝集成Reactis，提供模型中C代码（S-函数或Stateflow中的自定义C代码）的白盒分析。可以在C Plugin的仿真过程中从Simulink和Stateflow中跳入C代码的程序中，跟踪其中数值的变化，遍历程度，设置断点等。Reactis 和 C Plugin 同样支撑 TargetLink® 和 C 代码的测试。
Reactis for C Standalone——C 代码测试和验证
Reactis for C 基于C代码自动生成全面、简洁的测试，发现运行错误，追踪覆盖（Statement, Decision, Condition, MC/DC）。当检测到错误后，用户可以很容易重新运行导致问题的指定实行序列，从而理解、诊断、修正bug。
Reactis可应用于汽车、地面运输、半导体等行业。 客户遍布加拿大、法国、德国、英国、匈牙利、印度、日本、韩国、美国、中国大陆、中国台湾等几十个国家和地区。其主要客户有AISIN，AISIN AW，DENSO，HITACHI，HONDA ELESYS，ISUZU，JATCO，MAZDA，NISSAN，SUZUKI，TOYOTA，TRANSTRON，TTDC等。