立即登录
如果您已经拥有本站账号，可以直接登录。
立即登录
如果您已经拥有本站账号，可以直接登录。
*为必填项找回密码
立即注册
如果您没有本站账号，可以注册。
*为必填项登录
提供软件全生命周期研制、管理和审定的综合支持
pk10官方
021-61680661
RVS软件验证套件概述
RVS软件验证套件概述
RVS（Rapita 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是业内最先进的数据记录解决方案。
