网站首页 > 产业资讯 >
Solid Sands与Rapita Systems建立合作
发布时间:2023-02-07 15:03:12 · 赵法彬

近日,Solid Sands和Rapita Systems宣布,两家公司已达成战略合作伙伴关系,以开发改进C++标准库的代码覆盖率分析中,传统工具无法完全支援的部分。

QQ截图20230207150444

这次合作源于双方共同客户提出的针对C++标准库进行大规模代码覆盖率分析的需求。通过双方的交流,一致认可了深化安全关键应用市场的测试解决方案的可能性。

“据我们所知,我们是第一个尝试对C++标准库进行大规模覆盖分析的公司。”Solid Sands首席技术官MarcelBeemster说道。“在这次分析中,我们发现C++标准库中有相当大一部份是用于仅被编译器自行编译的代码。

这是C++的一个基本特性,这种方式是利用更高效的运行开销模式来获得更高的安全性能和编译速度。然而,这使得进行代码覆盖率分析变得更加困难,因为通常覆盖率分析是基于运行记录结果进行的。”

编译器和标准库认证领域的世界引领者Solid Sands,联系了许多提供覆盖率分析解决方案的公司,发现目前只有少数公司热心于处理编译时执行的代码的覆盖率分析。 Solid Sands认为这是一项安全关键功能。

Rapita Systems首席技术官Antoine Colin表示,“随着安全关键行业的发展,越来越多的现代编程功能得以推广应用,对于验证工具而言,跟上技术发展步伐并支持这些功能就显得至关重要了。我们很高兴与SolidSands合作共同达成此目标,通过探索RapiCover如何收集编译时代码的覆盖范围,以支持Solid Sand解决方案

的开发、满足客户的验证需求。”

Rapita Systems是一家国际公司,主要为航空电子和汽车电子行业的客户开发目标板嵌入式验证软件解决方案。他们的工具RapiCover现在被用于共同应对完整C++标准库的大规模代码覆盖率分析。

对于Solid Sands而言,这一合作恰逢他们准备C++版SuperGuard之际。 C++版SuperGuard预计在2023年年底正式推出。


本站部分文章来自互联网,文章版权归原作者所有。如有疑问请联系QQ:1633373438