Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X

Parasoft C/C++test 2023.1 全面支持MISRA C 2023

06.30.2023

2023年6月30日——嵌入式软件测试解决方案的全球领导者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%,从而提高了生产力并降低了开发成本

随着 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 C/C++test 2023.1 全面支持MISRA C 2023
MISRA C 2023 compliance dashboard.

 

 

 

 

 

 

 

 

 

 

 

 

 

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的解决方案如何帮助嵌入式开发团队遵守最新版本的编码标准,缩短产品开发时间,节省成本。

Parasoft | 业务咨询
赵晨怡
Parasoft大中华区高级总监
电话|021-60932819-212
手机|18930203323
邮箱|Saliha.Zhao@parasoft.com