“许多客户，包括那些开发安全关键型应用的行业客户，都向我们表达了对标准库进行验证的需求。库已成为应用程序不可或缺的一部分，但市场上却缺乏专业的库验证工具。正是基于这一观察，我们开发了 SuperGuard，”Solid Sands 首席商务官 Marianne Damstra 解释道。“作为全球领先的安全关键型应用编译器测试公司，凭借我们对测试和需求的深刻理解，我们完全有能力打造出 SuperGuard，使其成为目前最全面的库验证工具。”
SuperGuard 提供从 ISO C 语言定义衍生出的需求到测试套件的完整可追溯性。SuperGuard 维护必要的文档，以提供国际认证机构所需的信息和透明度。.
Solid Sands 首席技术官 Marcel Beemster 表示：“所有 C 编译器都使用标准库。库中的函数会链接到应用程序并在目标平台上运行。这意味着，对于安全关键型应用程序的开发人员来说，他们必须证明库代码的测试与他们自己编写的代码一样严格。我们目前的产品 SuperTest 不仅可以验证编译器，还包含一套全面的测试用例来验证库。我们需要向开发人员提供文档，说明这些库测试是如何基于功能安全标准所要求的各项要求和测试规范而设计的。”
C 语言规范并未明确定义每个库函数的可测试需求，然而这些需求却是 ISO 26262 等功能安全标准的重要组成部分。因此，测试开发人员（在本例中为 Solid Sands）必须根据语言规范创建这些需求。这些需求以及测试的可追溯性正是 SuperGuard 的独特之处。.
Solid Sands 产品正迅速成为安全关键型应用程序中编译器和库的“黄金标准”。.
SuperGuard C 库安全认证套件将于 2021 年夏季发布，届时既可作为独立产品使用，也可作为 SuperTest 用户的附加组件使用。目前，针对 C++ 标准库的类似软件包正在开发中。.
