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