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,一经查实,立即删除!

相关文章

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开发…

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

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

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、如果代码不满足你的要求,请寻求其他的…

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——每个库都针对时间序列分析的不同方面进行了定制。这些库…

最长子字符串的长度 (一) - 华为OD统一考试(C卷)

OD统一考试(C卷) 分值: 100分 题解: Java / Python / C 题目描述 给你一个字符串 s,字符串s首尾相连成一个环形,请你在环中找出字符出现了偶数次最长子字符串的长度。 输入描述 输入是一串小写字母组成的…

VS2015编译GDAL3.2.0+opencl+C#

参考借鉴https://www.cnblogs.com/litou/p/15004877.html 参考借鉴https://www.cnblogs.com/xiaowangba/p/6313903.html 参考借鉴gdal、proj、geos、sqlite等在VS2015下编译和配置_vs2015编译sqlite3-CSDN博客 参考借鉴Windows下GDAL3.1.2编译 (VS2015)_gdal windows编译-CS…

字符串String

字符串字面量 let s "hello";变量s属于字符串字面量,它们属于硬编码进程序的字符串值,属于不可变的类型。但并不是所有字符串的值都能够在编写代码时确定。 String类型 String类型会在堆上分配到自己需要的存储空间,所以它能够…

声明式数据建模、定义简单易懂:下一代 ORM 助你效率倍增 | 开源日报 No.102

prisma/prisma Stars: 34.0k License: Apache-2.0 Prisma 是一个下一代 ORM,包括以下工具: Prisma Client:为 Node.js 和 TypeScript 自动生成的类型安全查询构建器Prisma Migrate:声明式数据建模和迁移系统Prisma Studio&#…

鸿蒙应用开发(二)环境搭建

开发流程 IDE下载 首先下载HUAWEI DevEco Studio,介绍首次启动DevEco Studio的配置向导: 运行已安装的DevEco Studio,首次使用,请选择Do not import settings,单击OK。安装Node.js与ohpm。node.js 是基于 V8 引擎构…

JavaScript常用技巧专题二

文章目录 一、前言二、生成随机字符串三、转义HTML特殊字符四、单词首字母大写五、将字符串转换为小驼峰六、删除数组中的重复值七、移除数组中的假值八、获取两个数字之间的随机数九、将数字截断到固定的小数点十、日期10.1、计算两个日期之间天数10.2、从日期中获取是一年中的…