MISRA C++ 2023:C和C++测试解决方案实现静态分析

自动化软件测试解决方案的全球领导者Parasoft今天宣布,随着Parasoft C/C++test 2023.2即将发布,全面支持MISRA C++ 2023。Parasoft针对C和C++软件开发的完全集成测试解决方案计划于2023年12月发布,可以帮助团队实现自动化静态分析和编码标准合规性,提高生产力并缩短上市时间。

  • MISRA C++ 2023的发布提供了179条支持C++17的编码指南,使软件开发团队能够轻松满足编码标准。

  • MISRA和AUTOSAR联手开发最新的C++编码标准。

  • Parasoft C/C++ 2023.2即将发布,提供对MISRA C++ 2023全面支持,强制遵守静态分析。

图片

当组织使用Parasoft C/C++test 2023.2遵守MISRA C++ 2023时,C++应用程序是安全可靠的。

Parasoft在关键时刻为MISRA C++ 2023的开发做出了贡献。MISRA和AUTOSAR联手定义了一个单一的综合C++编码标准,供软件社区使用。MISRA C++ 2023为 C++17(正式名称为ISO/IEC 14882:2017)提供了179条编码指南来支持。

这项新标准将被广泛用于指导和避免所有未定义和未指定行为的实例,目的是提供安全、合规和高度可靠的C++17软件应用程序。

图片

Parasoft的MISRA专家兼项目首席软件工程师Michal Rozenau表示:

作为MISRA C++和MISRA C工作组的积极成员,我很高兴能为定制新的MISRA C++ 2023标准开发做出了贡献。

国际通用的C++编程语言具有广泛的灵活性,其跨平台兼容性潜力使其成为安全和安全关键系统的热门选择。然而,MISRA C++ 2008和AUTOSAR C++ 14等传统编码标准不支持新的C++17编码功能,并将代码标记为不符合标准。企业不得不抑制已识别的C++17功能违规,或不得不创建自己的规则,这不能提高应用程序的安全性,在某些情况下,它们还会阻碍团队移到C++17。随着MISRA C++ 2023的宣布,团队现在可以使用C++17和必要的准则来构建高质量C++应用程序。Parasoft将继续参与MISRA的C和C++的工作,为MISRA C++ 2023和MISRA C 2023的发展做出贡献。

通过Parasoft C/C++test 2023.2,用户现在有了全新的解决方案,保证他们的C++17代码安全、可靠且符合MISRA C++ 2023标准。

“MISRA”、“MISRA C”及MISRA Consortium Limited的注册商标。©The MISRA Consortium Limited, 2021。保留所有权。

关于Parasoft 

Parasoft通过其AI驱动的软件测试平台和自动化测试解决方案帮助组织持续提供高质量的软件。Parasoft成熟的技术支持嵌入式、企业和物联网市场,通过将深度代码分析和单元测试,Web UI和API测试,以及服务虚拟化和完整代码覆盖率整合到交付管道中,减少了为提供安全、可靠和合规软件所需的时间、精力和成本。

Parasoft屡获殊荣的报告和分析仪表板汇集了所有以上所述,提供了集中的质量视图,使组织能够自信地交付并成功实施当今最具战略性的生态系统和发展举措——信息安全、功能安全、敏捷、DevOps和持续测试。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/213525.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

git报错WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!

git报错WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! 可能存在的情况是:连接的gitlab服务已经切换物理服务器。除了上述的可能性还可以参考以下 Git Pull FailedWARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! IT IS POSSIBLE THAT SOMEONE IS DOING …

Windows 安全基础——NetBIOS篇

Windows 安全基础——NetBIOS篇 1. NetBIOS简介 NetBIOS(Network Basic Input/Output System, 网络基本输入输出系统)是一种接入服务网络的接口标准。主机系统通过WINS服务、广播及lmhosts文件多种模式,把NetBIOS名解析对应的IP地址&#xf…

Windows安装Maven

一、Maven 是什么? Maven 是一个项目管理和整合工具。Maven 为开发者提供了一套完整的构建生命周期框架。开发团队几乎不用花多少时间就能够自动完成工程的基础构建配置,因为 Maven 使用了一个标准的目录结构和一个默认的构建生命周期。 在有多个开发团…

AirServer Mac7.27中文破解2024最新图文安装激活教程含许可证

AirServer Mac 7.27中文破解是一款便捷式投屏软件,它的主要功能在于实时地将移动设备上的图像画面内容投放到电脑设备上,让电脑成为iPad、iPhone等iOS系统设备的大屏显示器。 在设备之间建立局域网内的信号发送与接收通道,确保数据可以稳定安…

pytorch 常用api笔记

view_as()函数 函数定义:view_as(tensor) [参数为一个Tensor张量] 该函数的作用是将调用函数的变量,转变为同参数tensor同样的形状。 例子 data1 [[[1, 2], [3, 4], [5, 6]], [[7, 8], [9, 0], [10, 11]]] t1 torch.Tensor(data1).long() # size2…

【解刊】IEEE(trans),1区TOP,CCF-B,审稿国人友好,最快仅1个月录用!值得收藏~

计算机类 • 好刊解读 今天小编带来IEEE旗下计算机领域高分好刊,CCF-B类推荐的期刊解读,期刊审稿快,投稿友好,如您有投稿需求,可作为重点关注!后文有相关领域真实发表案例,供您投稿参考~ 01 期…

1,使用IDLE开启我们第一个Python程序

前面我们已经安装好了Python,安装了Python后,他会自动帮我们安装一个IDLE。IDLE是一个Python自带的非常简洁的集成开发环境(IDE)。他是一个Python Shell,我们可以利用Python Shell与Python交互。下面我们就利用IDLE开发…

常用的调试方法(段错误产生原因)

C 语言中常用的调试技巧和 demo C语言中常用的调试方法 打印调试信息 GDB 调试器 编写单元测试 段错误产生原因 初学时两种常用的段错误调试方法 C 语言中常用的调试技巧和 demo 当程序员进行调试时,他们通常会使用一些调试语句或技巧来帮助他们理解代码的执行过程…

跟风申请香港优才计划的人,很容易进入骗局和被割韭菜!

跟风申请香港优才计划的人,很容易进入骗局和被割韭菜! 不得不承认一个事实就是,越来越多内地人正在抢占申请香港身份的份额!就因为这个项目门槛低、投入低,简单来说就是多一层身份,多一层福利保障。 从目前…

Pyqt python 界面代码

1、界面拖动代码 # 拖动 def mousePressEvent(self, event):if event.button() QtCore.Qt.LeftButton and self.isMaximized() False:self.m_flag Trueself.m_Position event.globalPos() - self.pos() # 获取鼠标相对窗口的位置event.accept()self.setCursor(QtGui.QCur…

go - 计算CIDR的主机数量

在网络中,CIDR /32 表示该地址只能用作网络地址本身,不能分配给任何主机。因此,在计算主机数量时,应将 CIDR 地址按照其位掩码长度进行区分。对于 /32 子网掩码,主机数量总是为 1,而不是 -1。 以下是修正后…

二.ts基础类型

ts的基础类型包含js的基础类型和ts独有的基础类型 我们一般使用[let | const | val] 变量:类型 值的方式声明一个带有类型的变量 stringlet val:string 1numberlet val:number 1boolearnlet val:boolaern falseundefindlet val:undefind undefindnulllet val:nul…

Kubernetes实战(九)-kubeadm安装k8s集群

1 环境准备 1.1 主机信息 iphostname10.220.43.203master10.220.43.204node1 1.2 系统信息 $ cat /etc/redhat-release Alibaba Cloud Linux (Aliyun Linux) release 2.1903 LTS (Hunting Beagle) 2 部署准备 master/与slave主机均需要设置。 2.1 设置主机名 # master h…

成都工业学院Web技术基础(WEB)实验五:CSS3动画制作

写在前面 1、基于2022级计算机大类实验指导书 2、代码仅提供参考,前端变化比较大,按照要求,只能做到像,不能做到一模一样 3、图片和文字仅为示例,需要自行替换 4、如果代码不满足你的要求,请寻求其他的…

使用PyTorch II的新特性加快LLM推理速度

Pytorch团队提出了一种纯粹通过PyTorch新特性在的自下而上的优化LLM方法,包括: Torch.compile: PyTorch模型的编译器 GPU量化:通过降低精度操作来加速模型 推测解码:使用一个小的“草稿”模型来加速llm来预测一个大的“目标”模型的输出 张量并行:通过在多个设备…

成都工业学院Web技术基础(WEB)实验三:CSS字体等属性使用

写在前面 1、基于2022级计算机大类实验指导书 2、代码仅提供参考,前端变化比较大,按照要求,只能做到像,不能做到一模一样 3、图片和文字仅为示例,需要自行替换 4、如果代码不满足你的要求,请寻求其他的…

Oracle 慢查询排查步骤

1. Oracle 慢查询排查步骤 1.1. 前言 记录一次 Oracle 慢查询的排查过程 , 便于以后直接使用。 看了一些文档 , Oracle 中优化的方案和 Mysql 基本上是一致的 , 通常包括一下几个方向 : 基准测试 (吞吐量): 包括 Oracle 本身吞吐量和磁盘 I/O 吞吐量 硬件分析 (资源情况): 包…

rails3 row sql example

refer: https://stackoverflow.com/questions/14824453/rails-raw-sql-example 搜索怎么在Rails3 使用row sql, 打开上面的链接,可以找到这样的答案,如下图: sql "Select * from ... your sql query here" records_ar…

Nginx的server层外层的常见配置语句的解读

有下面的Nginx配置: worker_processes auto; worker_rlimit_nofile 51200;events {use epoll;worker_connections 51200;multi_accept on; }http {include mime.types;default_type application/octet-stream;server_names_hash_bucket_size 512;client_max_body_size 50m;cli…

推荐4个优秀的 Python 时间序列分析库

时间序列分析在金融和医疗保健等领域至关重要,在这些领域,理解随时间变化的数据模式至关重要。在本文中,我们将介绍四个主要的Python库——statmodels、tslearn、tssearch和tsfresh——每个库都针对时间序列分析的不同方面进行了定制。这些库…