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

Solid Sands推出的SuperGuard C库安全验证套件，是一款针对安全关键应用设计的工具，旨在简化软件审批流程。以下是对该套件的详细介绍：

一、产品背景与目的

Solid Sands作为编译器测试和验证领域的全球领导者，深刻理解安全关键应用领域对标准库验证的需求。尽管库已成为应用程序的重要组成部分，但市场上仍缺乏对库进行专业验证的工具。因此，Solid Sands决定开发SuperGuard C库安全验证套件，以填补这一市场空白。

二、产品功能与特点

1. 基于需求的测试解决方案：

• SuperGuard与ISO C规范紧密结合，将规范转换为测试要求，这些要求说明了标准C库中条件函数的不同实现，并调用了合规性所需的测试。

• 该套件为C90和C99库提供了以需求为中心的测试解决方案，没有为每个C库函数定义测试要求，而是根据ISO C规范生成测试案例。

2. 完整的可追溯性：

• SuperGuard提供了从ISO标准C库规范到生成测试需求、创建测试规范和执行测试，一直到报告的链接和文档的完整可追溯性。

• 这为开发人员提供了遵守功能安全标准所需的信息，并满足了国际认证机构对信息和透明度的要求。

3. 高代码覆盖率：

• SuperGuard提供了开箱即用的高结构代码和分支覆盖率，确保了标准库在安全关键应用中的安全使用。

• Solid Sands使用该方法为MUSL-C库实现和高修改条件/决策覆盖率实现了高达100%的代码覆盖率。

4. 广泛的兼容性：

• SuperGuard与Windows和Linux系统兼容，可与任何C或C++编译器（包括裸机目标）一起使用。

• 该套件支持配置插件，并且可以利用多处理功能来传播验证运行，以便更快地执行测试。

5. 灵活的测试定制：

• 对于那些实现定义的元素，SuperGuard为工程师提供了完全控制来添加他们自己的测试或调整生成的测试集。

• 开发人员可以根据具体需求生成多个测试规范，并应用于库实现。

三、应用场景与价值

SuperGuard C库安全验证套件适用于各种需要精确验证C库安全性的场景，如：

1. 汽车电子：确保车载系统中的C库函数在极端条件下仍能稳定运行，提高行车安全性。

2. 航空航天：对飞行控制系统中的C库进行严格的验证，确保系统在各种复杂环境下的可靠性。

3. 医疗设备：对医疗设备中的C库进行验证，确保设备在关键时刻能够准确、稳定地运行，挽救患者生命。

通过使用该套件，开发人员可以大大简化软件审批流程，提高产品质量和安全性，降低因C库问题导致的潜在风险。

四、市场反馈与未来发展

SuperGuard C库安全验证套件自推出以来，受到了广大开发人员的热烈欢迎和高度评价。随着技术的不断发展，Solid Sands将继续完善该套件的功能和性能，以满足更多用户的需求。同时，该公司也在积极开发针对C++标准库的类似套件，以进一步拓展其产品线和应用领域。

综上所述，Solid Sands推出的SuperGuard C库安全验证套件是一款功能强大、易于使用的工具，为开发人员提供了完整的可追溯性和高代码覆盖率，适用于各种需要精确验证C库安全性的场景。