rvs—面向目标硬件的高可靠、高安全软件测试工具-凯发官方首页

rvs—面向目标硬件的高可靠、高安全软件测试工具

概述

        rapita verification suite(简称:rvs),为英国rapita systems 公司提供的一套针对嵌入式软件目标平台测试工具。rvs 可以对软件的时间性能(wcet)进行全面的测试分析及验证,广泛应用于具有高可靠性要求的软件中,支持多种目标硬件上的动态测试。其产品符合iso-26262、iec-61508 等行业规范要求,兼容vxworks、autosar操作系统,支持c、c++、ada 多种语言,全方位支撑powerpc、intelx86、arm、infineon 等主流处理器。
        rvs 在汽车领域提供iso-26262 qualification kit 来满足高安全、高可靠的嵌入式软件验证需求。
 

产品介绍
1. 软件运行时间评估工具—rapitime
        rapitime 能够进行软件时间性能的测量,通过分析得出最差执行时间数据,并为代码优化提供指导,其主要功能如下:

 

 

• 显著特点

    ♦  检查不同的函数对于最差、最优以及平均执行时间的影响

    ♦  通过大量调用来查看执行时间的变化
    ♦  对于函数自身的上下文、循环以及数据块进行分析
    ♦  定位产品的性能瓶颈
    ♦  可视化的显示每个函数对最差情况执行时间的影响
    ♦  检查最差情况的出现频率
    ♦  识别代码在最差情况下的执行路径
    ♦  显示由于硬件性能不同对于执行时间的影响

 

2. 软件覆盖率分析工具—rapicover
        rapicover 是一款基于目标硬件的嵌入式软件的测试覆盖率分析工具, 针对所使用的测试用例给出对应的现场测试覆盖率信息,其插桩点的开销很小,并能针对目标板的实际情况提供灵活的支持方式。其主要功能如下:

 

 

• 显著特点
    ♦  支持c、c++、ada编程语言
    ♦  很小的时间开销
    ♦  语句覆盖,变量定义、条件判断或循环
    ♦  mc/dc覆盖、功能覆盖、调用覆盖
    ♦  与 matlab/simulink 无缝集成,可便捷集成 sil/pil/hil环境中
    ♦  提供do-178b/c kit


3. 软件多任务调度分析工具—rapitask
        rapitask 为复杂的嵌入式系统提供了可视化的操作系统的调度和事件跟踪。rapitask 可以通过rapitime 的接口,进行对软件时间问题进行详细审查。

 

 

• 显著特点
    ♦  定位不常见的时间的事件,比如竞态条件
    ♦  定位多任务和多核系统的系统容量和负载问题,消除系统集成风险
    ♦  支持多个目标系统,而不是绑定到一个特定的操作系统
凯发官方首页-凯发娱乐登录
用户登录
用户注册
*

请输入您常用的邮箱地址,错误的地址将影响功能使用

*
*
*
    性别    男   
*
网站地图