立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键软件集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

RVS软件验证套件概述

您的位置: 首页 > 产品中心 > RVS软件验证套件概述

RVS软件验证套件概述


RVSRapita Verification Suite)套件由一系列组件构成,能够为用户开展高安全软件的验证提供全面支持:

RapiTime:提供软件运行时间分析功能,包括WCET(最坏运行时间);

RapiCover:支持软件结构覆盖分析,包括语句覆盖、判定覆盖和MC/DC

RapiTest:支持软件功能测试,涵盖单元测试、集成测试、和系统测试;

RapiTask:为软件调度提供可视化,能够识别竞态条件和罕见事件。

上述各个工具组件均是基于RVS的通用架构构建,可以实现无缝的集成化应用。





RapiTime


时间分析

计算WCET和高水位时间

辅助识别可优化代码

支持单核和多核芯片的时间分析

RapiTime能够基于软件在目标机的真实运行数据计算软件的时间测量项,如WCET和高水位时间,协助用户识别出软件中时间性能方面的可优化代码。

相比于其他基于CPU建模的静态分析工具,Rapitime应用范围更广,能够应用于现代的复杂目标机芯片,包括多核芯片。



RapiCover


结构覆盖分析

支持代码结构覆盖分析,包括语句覆盖、判断覆盖和MC/DC

相比于竞品,具有最低的目标机资源开销

支持从多次构建和测试中合并覆盖分析结果

RapiCover是一个具有最低开销的结构覆盖分析工具。基于高效、可配置的插装,RapiCover能够从嵌入式目标机收集语句覆盖、判定覆盖和MC/DC数据,并生成可用于适航审查的覆盖率分析报告。




RapiTest


单元测试/系统测试

管理从单元级到系统级的全层级测试数据

支持在宿主机和目标机执行测试

为大幅降低测试时间而设计

RapiTest能够大幅降低嵌入式软件测试中的人力投入。通过提供多种测试数据的编辑方式、便捷的故障注入、自动化的测试执行等手段,RapiTest实现了测试开发与测试执行的流水线作业。



RapiTask


调度/事件追踪

为系统调度提供图形可视化视图

高亮罕见的时序事件,如竞态条件

识别系统瓶颈

RapiTask能够帮助用户理解多核和多线程嵌入式系统的调度行为。借助于丰富的可视化图表,RapiTask能够帮助用户识别时序和系统负载问题。




RTBx


数据记录

能够持续数天每秒记录100+万个事件

最小的插装开销

独立于目标机的数据追踪

RTBx能够以极高的速率采集嵌入式目标机数据。基于可配置、低开销的插装库、和易用的用户接口,RTBx是业内最先进的数据记录解决方案。

上海爱韦讯信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT © 2017SHAVIATION 邮政编码:201203