登录 | 注册 | English

资讯中心

yzc88网页版登录  >  资讯中心  >  企业资讯

亚洲城ca88唯一官网成功代理模型测试工具Reactis

        Reactive Systems企业成立于1999年,在模型测试领域拥有丰富的经验。近日,亚洲城ca88唯一官网成功代理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等。

关于恒润
企业概况
企业理念
企业资质
资讯中心
恒润在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进恒润
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
恒润月刊
用户留言
个人中心
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? yzc88网页版登录 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图