SolidSands推出用于安全关键应用、可简化软件审批的SuperGuardC库安全验证套件

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

文章插图
SolidSands首席技术官MarcelBeemster
?C库测试要求、规范和实施的综合文档为开发人员提供了遵守功能安全标准所需的信息
?库测试与ISOC语言标准要求之间具有完全可追溯性和透明度
“我们的许多客户，包括开发安全关键应用领域的客户，都对标准库验证提出需求。尽管库已成为应用程序的一部分，但市场上仍缺乏对库进行专业验证的工具。因此，我们决定开发SuperGuard，”SolidSands首席运营官MarianneDamstra解释道，“作为全球安全关键应用领域编译器测试最杰出的企业，我们对测试和需求深度了解。因此，我们非常适合，也能够将SuperGuard打造为目前市场上最全面的库验证工具。”
SuperGuard为ISOC语言定义的需求和测试套件提供了全程可追溯性，以及国际认证机构要求的信息和透明度文件。
“所有的C语言编译器均与标准库一起使用，库中的函数会链接到应用程序，并在目标上执行。这使得安全关键应用程序的开发人员有责任证明库代码与其编写的代码一样经过严格测试，”SolidSands首席技术官MarcelBeemster说，“我们现有的产品SuperTest不仅可以验证编译器，还包含一套全面的测试来验证库。我们需要为开发人员提供必要的文档，以显示这些库的测试是如何基于需求和测试规范，并达到功能安全标准要求的水平的。”

文章插图
C语言规范没有明确定义一套能测试每个库函数的要求规范，但它们却是功能安全标准批准的重要组成部分，如ISO26262 。因此，它们需要通过测试开发人员从语言规范中创建，在这种情况下，SolidSands应运而生。这些要求和测试的可追溯性是SuperGuard与众不同之处。
SolidSands的产品正迅速成为安全关键应用中编译器和库认证的“黄金标准” 。
SuperGuardC库安全认证套件将于2021年夏季推出，它既能作为独立的产品，也能作为SuperTest用户的附加产品。目前，针对C++标准库的类似套件正在开发中。
关于SolidSands
SolidSands成立于2014年，是C和C++编译器和库测试、验证和安全服务的一站式商店。SolidSands提供广泛的测试和验证套件，具有独特的编译器和库测试覆盖水平，使客户能够达到ISO标准所要求的软件工具质量水平。该公司的名字结合了沙子——世界上最丰富的硅源，代表了行业领先的测试和验证技术的稳定性和安全性。有关该公司产品和服务的更多信息，请访问solidsands.nl"target="_self">www.solidsands.nl 。您可以通过LinkedIn、Twitter和YouTube关注SolidSands 。

【SolidSands推出用于安全关键应用、可简化软件审批的SuperGuardC库安全验证套件】

文章插图

SolidSands推出用于安全关键应用、可简化软件审批的SuperGuardC库安全验证套件

推荐阅读

常温酸奶有益生菌吗

星辉南辉祝大人的吗

设备管理标识牌用什么单位表示

疾病预防七种不明症状可能是致命疾病

ps怎么替换图片文字

盆帽和渔夫帽的区别

花岗岩石断裂用水泥可以吗

疏散演练两短一长是指什么

牛奶冰沙做法图解

wed是星期几

怎样预防肾结石复发呢

指甲颜色和衣服搭配

宫寒体质怎么备孕

赞美陈毅的名言名句

旅游美食和美食旅游的差别

关于灵魂和自由的句子

戒烟多久才算成功

高木被绑架在北海道民宅几楼

红视游戏为什么显示网络错误

蒸馒头粘纱布怎么办