首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Solid Sands与Rapita Systems建立合作,致力于解决C+标准库的代码覆盖率分析需求

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

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

“据我们所知,我们是第一个尝试对C++标准库进行大规模覆盖分析的公司。”Solid Sands首席技术官Marcel Beemster说道。“在这次分析中,我们发现C++标准库中有相当大一部份是用于仅被编译器自行编译的代码。这是C++的一个基本特性,这种方式是利用更高效的运行开销模式来获得更高的安全性能和编译速度。然而,这使得进行代码覆盖率分析变得更加困难,因为通常覆盖率分析是基于运行记录结果进行的。”

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

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

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

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

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20230212A056VB00?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券