找回密码
 注册
搜索
查看: 657|回复: 0

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

[复制链接]
发表于 2017-12-5 12:04:07 | 显示全部楼层 |阅读模式
  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% 的测量时间,并且检查结果可信度更高。




本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

×
高级模式
B Color Image Link Quote Code Smilies

本版积分规则

Archiver|手机版|小黑屋|52RD我爱研发网 ( 沪ICP备2022007804号-2 )

GMT+8, 2024-3-29 17:23 , Processed in 0.112995 second(s), 17 queries , Gzip On.

Powered by Discuz! X3.5

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表