Solid Sands 将在 6 月 21 日至 23 日在斯图加特举行的欧洲汽车测试博览会上的 #8625 展位展示世界上第一个基于需求的专业 C 标准库测试套件 SuperGuard 的功能。
该公司的首席技术官 Marcel Beemster 还将在 6 月 21 日星期二下午 2 点发表题为“SuperGuard：在安全关键应用程序中使用 C 标准库的解决方案”的演讲。在本次会议中，他将讨论 C 标准库认证的原则和实践，特别是 ISO26262 汽车功能安全标准。
SuperGuard 于去年推出，提供从单个测试结果到源自 ISO C 语言规范的要求的完整可追溯性。它还提供开箱即用的高结构代码和分支覆盖率。这确保了标准库在汽车和其他领域的安全关键应用中的安全使用。
SuperGuard 维护提供国际认证机构指定的信息和透明度所需的文档。它可用于限定未经修改的第三方 C 库实现和自行开发或自行维护的实现。
SuperGuard 是由 Solid Sands 开发的，旨在解决开发安全关键型应用程序的客户缺乏专业图书馆鉴定工具的问题。它完美地补充了 Solid Sands 广受赞誉的 SuperTest——一个完整的测试和验证套件，用于 C 和 C++ 编译器和库，已跟踪 ISO 语言规范超过 30 年。
Marcel Beemster 解释说：“C 的一个关键特征是它具有广泛认可的 ISO 规范，其中包含所有需要的信息，但不提供要求列表。我们使用 ISO 规范创建了一个需求和测试规范列表，与我们现有的测试套件相匹配。
“最后，我们创建了工具来驱动测试套件并报告结果，以便它们完全可追溯至需求和规范。
“ISO26262 标准明确规定必须对应用程序开发人员的用例进行鉴定，这适用于重用软件和开源软件。SuperGuard 使这成为可能。”
