Solid Sands 推出用于安全关键应用、可简化软件审批的SuperGuard C 库安全验证套件

编译器测试和验证领域的全球领导者 Solid Sands 近期宣布推出SuperGuard C 库安全验证套件。和SuperTest一样，SuperGuard 也记录了C 库测试要求和规范。

Solid Sands 首席技术官Marcel Beemster

• C 库测试要求、规范和实施的综合文档为开发人员提供了遵守功能安全标准所需的信息

• 库测试与 ISO C 语言标准要求之间具有完全可追溯性和透明度

“我们的许多客户，包括开发安全关键应用领域的客户，都对标准库验证提出需求。尽管库已成为应用程序的一部分，但市场上仍缺乏对库进行专业验证的工具。因此，我们决定开发 SuperGuard，”Solid Sands首席运营官 Marianne Damstra 解释道，“作为全球安全关键应用领域编译器测试最杰出的企业，我们对测试和需求深度了解。因此，我们非常适合，也能够将 SuperGuard 打造为目前市场上最全面的库验证工具。”

SuperGuard 为ISO C 语言定义的需求和测试套件提供了全程可追溯性，以及国际认证机构要求的信息和透明度文件。

“所有的 C 语言编译器均与标准库一起使用，库中的函数会链接到应用程序，并在目标上执行。这使得安全关键应用程序的开发人员有责任证明库代码与其编写的代码一样经过严格测试，”Solid Sands 首席技术官Marcel Beemster 说，“我们现有的产品 SuperTest 不仅可以验证编译器，还包含一套全面的测试来验证库。我们需要为开发人员提供必要的文档，以显示这些库的测试是如何基于需求和测试规范，并达到功能安全标准要求的水平的。”

C 语言规范没有明确定义一套能测试每个库函数的要求规范，但它们却是功能安全标准批准的重要组成部分，如ISO 26262 。因此，它们需要通过测试开发人员从语言规范中创建，在这种情况下，Solid Sands应运而生。这些要求和测试的可追溯性是 SuperGuard 与众不同之处。

Solid Sands 的产品正迅速成为安全关键应用中编译器和库认证的“黄金标准”。

SuperGuard C 库安全认证套件将于 2021 年夏季推出，它既能作为独立的产品，也能作为 SuperTest 用户的附加产品。目前，针对C++标准库的类似套件正在开发中。