RVS是验证关键软件的领先工具套件。

它在全球航空航天和汽车行业中使用，包括功能和基于需求的测试工具、时序分析（包括最坏情况执行时间分析）和结构代码覆盖率分析。

RVS通过结合软件执行的静态和动态分析来获得对软件架构的理解。利用这种理解，RVS注入和/或测试代码来执行各种功能，包括生成和运行功能测试工具，分析在功能测试期间实现的结构覆盖，以及分析正在执行的代码的计时行为。

通过集成到现有的开发环境和连续构建服务器中，RVS降低了软件验证的成本。这个R的挠性VS整合而且它极低的仪器开销支持它在最复杂的系统上使用，包括多核系统。

我们的案例研究表明，自2004年以来，我们一直为主要在航空航天和汽车嵌入式行业的公司提供优质的产品和客户服务。我们的产品设计满足航空航天工业DO-178B/C认证的严格要求，非常适合任何安全/关键任务应用，如核、医疗、工业和铁路行业。

你可以申请R的试用版VS．你也可以安排一个示范，我们团队的一名成员将与您合作，向您展示RVS可以给你的。

设计要求全部RVS工具包括与现有开发环境协同工作的能力。您可以配置这些工具以生成验证指标并使用自定义脚本运行测试，还可以将这些工具集成到现有版本控制和连续构建系统中。

所有RVS工具支持大量的数据收集策略，这些策略经过优化以实现最小的插装开销。您可以使用调试器、逻辑分析器直接从地址总线收集数据，或使用我们的数据记录器，RTBx.通过与您合作确定最佳的数据收集策略，我们可以共同确保您以最小的努力取得结果。

我们所有的RVS工具的设计是为了满足认证过程中最严格的需求，如在航空航天工业中使用的DO-178B/C过程和在汽车工业中使用的ISO 26262过程。我们可以提供开发人员资质文件、集成资质报告模板和现场测试，以支持您对R的资质VS需要认证的项目中的工具。

用于R的仪器开销VS工具是市场上最低的，并且在某些情况下可以支持零检测开销。因为这个，RVS可以在比使用其他工具更少的构建中从源代码生成验证数据。例如，在最近的客户评估中，Rapi封面工具开销比竞争对手的工具低4到5倍，导致测试代码库所需的构建数量减少了92%。如果有必要，可以配置RVS用于在多个构建中检测代码并将收集的数据编译为单个报告的工具。

RVS这些工具支持Windows7或更新版本、WindowsServer2008R2或更新版本，以及各种Linux发行版，包括Ubuntu和Red Hat。

RVS工具可以在不支持操作系统的项目上使用，方法是使用克隆集成来分割进程并将其部分委托给不支持的机器。

所有RVS可以将工具集成到几乎任何编译器和目标硬件上。我们的集成服务承诺交付R的健壮集成VS进入你的构建系统。

RVS可以将工具集成到几乎任何嵌入式目标上。我们的工程师可以与您一起确定将工具与您的目标集成的最佳策略，即使是多核架构。有关硬件架构的更多信息，我们集成了RVS工具，请参阅我们的RVS产品页面。

RVS支持C, c++和Ada项目，包括混合语言项目。

所有RVS工具包括一个友好的用户界面它以表格和图形格式显示结果。使用这个界面，您可以过滤您的结果，以放大目标功能，使它很容易找到您正在寻找的信息。

你可以看到拉皮测试,中封面和加固时间持续集成软件中的结果（以及零封装版本的结果），允许您随时间跟踪验证结果。

RVS工具被设计用来处理非常大的代码库。由于RVS在工具中，对R所需的代码行数没有基本限制VS可以处理，而RVS工具已经用于包含数百万行代码的项目。

我们提供“节点锁定”和“浮动”许可，以及一个许可服务器，以支持在您的特定开发环境中使用我们的工具。

有关我们的许可模型的更多信息，请参阅我们的RVS许可的常见问题．

所有RVS许可包括访问我们专门的内部支持团队，他们将与您合作，为您的问题提供快速修复。这是我们愿景的关键部分。2016年，我们在一个工作日内回应了97%的新支持请求，在3个工作日内关闭了56%，在20个工作日内关闭了91%。我们也通过我们的网站和电子邮件告知我们的客户已知的问题。

我们提供了R的一个扩展集合VS文件与我们的每一个产品，并提供培训课程指导你如何最有效地使用RVS工具。我们所有的用户都可以通过特权访问我们的网站，其中包括新产品发布的下载。

RVS与一系列持续集成工具集成，允许您收集每一个新构建的单元测试、覆盖率和执行时间结果，跟踪随时间推移的验证进度，并在引入软件行为时轻松识别异常。

加固测试,中封面和加固时间(包括零内存占用版本)包括定制的插件詹金斯和竹子. 拉比测试和加固封面结果也可以通过一系列其他的持续集成工具显示JUnit和Cobertura插件，与大多数持续集成软件兼容。

RVS，它支持多核计时分析，让您创建和运行多核计时测试，当这些测试在多核平台上运行时自动捕获验证结果，有效地分析收集的结果，并在分析完成时生成遵从性证据。

RVS包括一系列支持多核定时分析的特性，包括:

• RVS支持在测试期间收集一系列指标，包括执行时间结果和来自性能监视计数器的值在您的平台上，例如缓存命中和缓存失败的数量。
• RVS使它易于查看和分析多核计时结果通过让您筛选您想要查看的性能指标和测试的结果，并让您选择用于比较结果的基线。
• RVS让您生成定制的出口提供合规性证据。自定义导出通过自动从报告中提取结果并根据成功标准自动报告通过/失败状态来减少您的文档工作。
• 加固时间让你自动合并定时结果在多核定时分析期间收集到单个报告中。这允许您收集和分析来自多个测试运行、多个构建和多个时间点的结果，并支持在多个测试装备上运行结果。

Rapita验证套件(RVS)已在关键的嵌入式行业应用超过15年，并支持了全球多个航空电子项目。合格RVS产品支持20多个DO-178B和C认证项目，包括DAL A。

为了支持验证，RVS在验证结果中存储源代码的副本。RVS允许您从R中删除源代码的这个副本VS项目，所以任何与你合作的分包组织都看不到你的专有信息。然后，分包组织可以使用编辑过的结果来验证软件的各个方面，稍后您可以通过合并结果来恢复源代码的副本以供内部使用。

请注意，由于运行功能测试需要访问测试中的源代码，因此该特性对Rapi不可用测试．

浮动RVS许可证遵循“企业”模型。您可以跨越地理边界*，在不同的项目中，与不同的用户使用它们，并与从事同一项目的供应商共享它们。

^＊一些浮动许可证可能被限制在特定的地理区域内使用。在这种情况下，在发放许可证之前就达成协议。