微软公司宣布不再支持你正在使用的 IE浏览器,这会严重影响浏览网页,请使用微软最新的Edge浏览器
您好, 登录| 注册|
子站:
产品/技术
应用分类

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

2021-06-08 16:51 来源:Solid Sands 编辑:电源网

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

1

Solid Sands 首席技术官Marcel Beemster

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

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

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

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

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

2

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

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

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

声明:本内容为作者独立观点,不代表电源网。本网站原创内容,如需转载,请注明出处;本网站转载的内容(文章、图片、视频)等资料版权归原作者所有。如我们采用了您不宜公开的文章或图片,未能及时和您确认,避免给双方造成不必要的经济损失,请电邮联系我们,以便迅速采取适当处理措施;欢迎投稿,邮箱∶editor@netbroad.com。

相关阅读

微信关注
技术专题 更多>>
元器件选型操作实用手册
优秀硬件工程师必学嵌入式干货

头条推荐

电子行业原创技术内容推荐
客服热线
服务时间:周一至周五9:00-18:00
微信关注
免费技术研讨会
获取一手干货分享

互联网违法不良信息举报

Reporting Internet Illegal and Bad Information
editor@netbroad.com
400-003-2006