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

        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环境中

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

显著特点
●  定位不常见的时间的事件，比如竞态条件
●  定位多任务和多核系统的系统容量和负载问题，消除系统集成风险
●  支持多个目标系统，而不是绑定到一个特定的操作系统