公司新闻-凯发官方首页

        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—— reactis软件的插件，可以对系统中通过s-function连接的c语言代码进行白盒子检查。
•  reactis for c standalone——面向c代码的检查、测试软件。它可以完全独立运行，不需要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等。