Parasoft C/C++test 2023.1 新版发布,全面支持MISRA C 2023

Parasoft是一家专门提供软件测试解决方案的公司,Parasoft通过其经过市场验证的自动化软件测试工具集成套件,帮助企业持续交付高质量的软件。Parasoft的技术支持嵌入式、企业和物联网市场,通过将静态代码分析和单元测试、Web UI和API测试等所有内容集成到交付管道中,再加上服务虚拟化和完整的代码覆盖率,减少了交付安全、可靠和合规软件所需的时间、精力和成本。

Parasoft C/C++新版本发布

2023年5月31日——嵌入式软件测试解决方案的全球领导者Parasoft宣布发布C/C++test 2023.1版本,完全支持MISRA C 2023和MISRA C 2012及其修正案4。MISRA C是软件开发C语言安全可靠的,并且最受欢迎的编码标准。新版本帮助开发人员自动执行静态代码分析和编码标准合规性,提高生产力,并缩短了上市时间。最新版本引入了广泛的新功能和增强功能,旨在:

  • 提高整个软件开发生命周期的生产力

  • 加快上市时间

  • 自动化合规性

  • 确保交付安全、可靠和合规的应用程序

新版本能够做到什么?

Parasoft C/C++test 2023.1提高了嵌入式开发人员的生产力,并确保了安全的软件开发。

C/C++test 2023.1亮点:

  • Parasoft发布C/C++test 2023.1,为MISRA C 2023提供完整的支持

  • C/C++test 2023.1是HIS指标最全面的解决方案,简化了源代码复杂性要求的执行,并降低了合规成本

  • 团队的静态分析性能提高了25%,从而提高了生产力并降低了开发成本

    扫描二维码关注公众号,回复: 15681512 查看本文章
更多亮点

随着 MISRA C 2023 的发布,开发人员现在有了确保安全可靠地使用 C11 功能的规则,例如:

  • Atomics (_Atomic, )

  • Multi-threading ( )

Parasoft的合规性报告模块也已经进行了相应的更新,确保Parasoft DTP中提供MISRA合规性报告,将测试结果整合到智能仪表板、详细报告和可操作的分析中。这可以让用户使用最新版本的MISRA C 2023标准。

C/C++test 2023.1的主要亮点之一是全面和持续地执行安全和合规编码标准。MISRA C 2023的加入引入了19条新规则和3条新指令,这些指令适用在编写代码时。这包括关于使用以下工具的进一步指导:

  • 未使用的对象

  • 短整形

  • 链式初始化

  • 可变修改数组

使用新版本,您将能够得到:

Parasoft致力于确保我们的客户在软件测试自动化方面获得最新的技术支持。Parasoft的首席产品官Igor Kirilenko表示:“此版本的C/C++test完全支持最新的MISRA C 2023标准,并包含其他软件测试自动化解决方案,可以减少工作量和成本,并确保交付安全、可靠和高质量的应用程序。”

开发团队所使用的流分析的性能显著提高25%。此外,更少的文件将被排除在分析之外,从而提高结果的准确性。

C/C++test 2023.1扩展了对DevOps CI/CD工作流程的支持,提供了新的C/C++test Bazel集成包。这种集成使开发人员能够无缝地将Parasoft的静态分析集成到任何Bazel CI管道中,从而简化开发过程。团队可以简化基于Bazel的项目的静态分析部署,并减少集成和维护工具链所需的时间。

申请一个Demo,看看Parasoft的解决方案如何帮助嵌入式开发团队遵守最新版本的编码标准,缩短产品开发时间,节省成本。

猜你喜欢

转载自blog.csdn.net/m0_67129275/article/details/131716655
今日推荐