加固封面^零 是一种结构覆盖率分析工具，不需要项目源代码或修改所使用的开发环境封面^零分析从兼容目标或数据收集机制收集的分支跟踪信息。

作为R的一部分VS toolsuite,加固封面^零 构成软件验证解决方案的一部分，该解决方案还包括用于功能测试和最坏情况执行时间分析的工具。

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

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

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

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

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

加固封面和加固封面^零包括一个强大的“正当理由让您标记代码为覆盖的机制。使用此特性，您可以提供验证代码的基本原理，并创建模板来更容易地验证代码。当您的代码更改时，正当性将自动迁移，以表示正当性代码的新位置。

有关使用理由的更多信息，请参阅白皮书．

加固封面和加固封面^零保留用于生成结果的代码的修订信息。如果您试图合并不兼容修订的覆盖率，该工具将报告一个错误。加固封面包括一个最佳数据集计算器您可以使用此功能计算代码更改时需要再次运行的最便宜测试，从而节省宝贵的测试工作。

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

Treemaps提供了对代码库的高级概述，并帮助您一目了然地了解代码的覆盖范围。

您可以查看Rapi封面和加固封面^零结果在持续集成软件，允许您跟踪您的验证进度随时间的推移。

是的，你可以。如果你提供VS通过对调试符号的访问，您还可以跟踪从源代码和目标代码收集的结果。

你可以 申请R的试用版VS包括拉皮在内封面^零．你也可以 安排一个示范，我们团队的一名成员将与您合作，向您展示Rapi的优点封面^零可以给你的。

加固封面^零通过分析程序执行期间产生的分支跟踪，产生覆盖结果。虽然可以从分支跟踪推断出决策覆盖率的覆盖率指标，但大多数分支跟踪不包括产生MC/DC结果的足够信息。

如果需要收集MC/DC结果，可以使用Rapi封面．

您可以使用Rapi测量函数、调用、语句、分支和决策覆盖率封面^零．

软件分析由零足迹RVS工具具有以下要求：

• 平台(目标和任何外部设备，例如调试器)必须能够无间隙地生成分支跟踪，以确保能够重构完整的程序跟踪。
• 操作系统需要使上下文切换可见。对于某些系统，支持此功能可能需要对操作系统进行修改。
• R需要一个平台支持包(PSP)VS来与平台(包括目标硬件和跟踪捕获机制)进行接口，以便将分支跟踪转换为RVS该工具理解并反汇编可执行文件，并解析生成的目标代码。PSP的开发与平台的四个组件兼容：编译器、指令集、分支跟踪和实时操作系统。

有关zero footprint R软件分析需求的更多信息VS工具和当前支持的平台列表，请参阅我们的平台支持页面．

有关需求的更多详细信息，请参阅技术报告．

加固封面^零使用两个输入来生成结构覆盖率结果。第一个输入是在执行分析中的程序时收集的分支跟踪，第二个输入是可执行文件的反汇编。通过这些输入，它可以了解程序结构和程序执行期间发生的事件，从而执行rm结构覆盖率分析并生成覆盖率结果。

如果您的源代码可用，可以。通过将源代码和调试符号导入RVS项目中，您可以在对象和源代码的上下文中查看结果，并在它们之间进行跟踪。

如果您正在使用外部设备收集分支跟踪信息，那么在系统重新启动时，数据将保持在原位，然后可以再次开始收集数据。这意味着您可以在关闭或重置序列中收集覆盖数据。这可能取决于您的目标硬件体系结构和用于收集分支跟踪信息的设备。

作为加固封面^零直接分析目标代码以产生结果，它支持任何以机器代码为目标的语言。

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

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

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

是的，您不需要使用加固测试收集报道结果。只要你有一个兼容的执行环境,中封面零可以从您的系统收集覆盖率结果。

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

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

zero footprint R需要平台支持包来支持软件分析VS工具。它们在工具和平台之间进行接口，以实现以下目的:

• 将平台生成的本机分支跟踪的特定格式转换为RVS工具理解并可用于后续分析。
• 分解目标代码以了解代码的结构和控制流，以便用于后续分析。

每个PSP设计用于支持平台的各种组件。这些组件包括：

• 用于生成可执行文件的编译器
• 要分析的目标代码的指令集
• 从平台生成的本地分支跟踪格式-这取决于用来生成分支跟踪的机制，可能是目标硬件(或模拟器)或第三方设备，例如调试器。
• 实时操作系统。

需要不同的PSP来支持零足迹R的分析VS当上述任何项在两个平台之间存在差异时，可以使用工具。有关psp如何支持零足迹R的分析的更多信息VS工具,看到我们零足迹RVS分析的要求技术说明．

要了解我们是否已经开发了与你们平台上的组件兼容的psp，请参阅我们的零足迹平台支持．

如果我们尚未开发与您平台的一个或多个组件兼容的PSP，我们可能能够开发它们。有关更多信息，请联系我们info@rapitasystems.com．

检查PSP兼容性