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

hirain

　　RapitaVerification Suite(简称：RVS)，为英国Rapita Systems 公司提供的一套针对嵌入式软件目标平台测试工具。RVS 可以对软件的时间性能(WCET)进行全面的测试分析及验证，广泛应用于具有高可靠性要求的软件中，支持多种目标硬件上的动态测试。其产品符合ISO-26262、DO-178B/C、IEC-61508等行业规范要求，兼容Vxworks、AUTOSAR操作系统，支持C、C++、Ada 多种语言，全方位支撑PowerPC、Intelx86、ARM、Infineon 等主流处理器。

　　RVS提供两个版本：航空领域(Aero)和汽车领域(Auto)。针对航空、汽车领域分别提供DO-178C Qualification Kit和ISO-26262 Qualification Kit 来满足高安全、高可靠的嵌入式软件验证需求。在奥迪、大陆电子、TRW、空客、柯林斯、霍尼韦尔等全球领先企业得到成功应用。

　　产品介绍

　　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 的接口，进行对软件时间问题进行详细审查。



　　显著特点

　　定位不常见的时间的事件，比如竞态条件

　　定位多任务和多核系统的系统容量和负载问题，消除系统集成风险

　　支持多个目标系统，而不是绑定到一个特定的操作系统

　　应用&案例

　　巴西航空工业公司使用RVS 工具为飞控系统Level A 级软件进行最差运行时间分析，为DO178B 适航认证提供素材。

　　AleniaAermacchi公司，使用RVS 工具为M-346 飞机软件进行最差运行时间分析，节省了10% 的测量时间，并且检查结果可信度更高。