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

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年年底正式推出。

关于Rapita Systems

Rapita Systems为航空电子和汽车电子行业的客户开发目标板嵌入式验证软件解决方案。我们的工具有助于降低测量成、优化和验证系统执行时间、性能以及测试效率,同时该方案支持单核和多核系统。Rapita验证套件(RVS)有助于节省验证软件功能安全(基于需求的测试)、结构覆盖和执行时序所需的工作量。此外,Rapita的MACH178提供了一种端到端解决方案,可以提供完整的认证证据,以满足多核系统的DO-178C和CAST-32A/AMC 20-193的认证需要。

www.rapitaystems.com您可以在LinkedIn、Twitter和YouTube上关注Rapita Systems。

关于Solid Sands
Solid Sands成立于2014年,是C和C++编译器以及库测试、验证和安全服务的一站式服务商。Solid Sands提供广泛的测试和验证套件,在编译器和库测试覆盖领域处于一流水平,该套件可以帮助客户轻松达到ISO标准要求的软件工具质量水平。该公司的名字结合了沙子—世界上最丰富的硅资源—和Solid Sands行业领先的测试和验证技术之可靠和安全。有关公司产品和服务的更多信息,请访问www.solidsands.nl。您可以在LinkedIn、Twitter和YouTube上关注Solid Sands。

  • Solid Sands 与 Rapita Systems建立合作,致力于解决C++标准库的代码覆盖率分析需求已关闭评论
    A+
发布日期:2023年02月07日  所属分类:今日关注