Parasoft C/C++test 2023.1 全面支持MISRA C 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致力于确保我们的客户在软件测试自动化方面获得最新的技术支持。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