Parasoft发布最广泛的MISRA规则覆盖-C/C++test最新版本正式上线!

news2024/11/26 8:27:29

作为拥有30多年自动化软件测试经验的全球领导者Parasoft宣布发布Parasoft C/C++test的最新2022.2版本,支持MISRA C:2012修正案3和MISRA C++ 202x的草案版本。Parasoft针对C和C++软件开发的统一、完全集成的测试解决方案的最新版本,帮助团队实现自动化静态分析和编码标准的遵从性,提高生产力,并缩短上市周期

为顶级软件供应商提供最广泛的MISRA C/C++覆盖范围,Parasoft致力于帮助客户走在快速发展的标准领域前列。支持MISRA C 2012修正案3,更新了现有的指南,并通过新的规则扩展了标准,以涵盖C11和C18语言。

作为MISRA的C++工作组的参与者,Parasoft积极开发MISRA C++ 202x,即新版的C++编码标准,Parasoft被授权发布其中的规则草案。C/C++test 2022.2附带了新的MISRA C++ 202x标准的测试配置规则集。其中包含对早期版本规则的支持。C/C++test用户可以用早期版本的C++静态分析检查器扫描他们的代码,并在标准版本发布前开始改进他们的C++代码。

Parasoft最新的C/C++软件开发解决方案中功能包括:

  • 对C++模板的支持,提供了对C++模板类的插桩能力,这些桩函数可以隔离被测试的代码,实现了早期测试,并简化了错误注入。这降低了单元测试的成本并提高了生产力。

  • 支持最新的2022 CWE Top 25和On The Cusp,在静态分析中自动识别安全弱点。

  • 支持GitHub和GitLab合并请求中的静态分析基线,增强了CI/CD工作流的集成。

  • 运行在Linux ARM上的C/C++test Standard的新发行版,可支持在基于Linux ARM的开发平台上进行静态分析和代码覆盖率测量,提供满足编码安全和标准安全的能力,如MISRA、AUTOSAR C++14和CERT。

  • 新增编译器,实现了使用Green Hills PPC 2020.1或PPC 2019.1和GNU GCC for ARM64 8、10、11满足构建项目的合规性。

"我们很高兴地宣布,我们的C/C++test 2022.2版本的新功能和增强功能可以立即提高生产力。先进的功能,如完全覆盖新的编码准则,对MISRA规则的覆盖率我们支持接近100%,有助于简化MISRA C 2012 AMD 3和MISRA C++ 202x的合规性。而且还包括更多支持现代开发生态系统的功能,加速测试自动化并提高其质量。" ——Igor Kirilenko(Parasoft首席产品官)

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

下载和详细信息

申请一个演示,看看Parasoft C/C++test如何帮助你的开发团队交付先进的安全关键系统。

业务需求: info-china@parasoft.com

技术服务: support-cn@parasoft.com

关于Parasoft

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

Parasoft屡获殊荣的报告和分析仪表板将所有这些整合在一起,提供了一个集中的质量视图,使企业能够充满信心地交付,并在当今最具战略性的生态系统和开发计划中取得成功,包括安全性、安全关键性、敏捷性、DevOps以及持续测试。

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

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

相关文章

【java入门系列三】java基础-控制结构

学习记录🤔分支控制if-elseswitch分支接收字符for循环控制while循环do-while打印金字塔break终止-可以用label:表明continue与break类似return循环中表示直接退出方法(函数),主方法直接结束字符串比较trick讨论总结谢谢点赞交流!(…

外观模式

外观模式 1.外观模式介绍 1.外观模式(Facade),也叫“过程模式:外观模式为子系统中的一组接口提供一个一致的界面,此模式定义了一个高层接口,这个接口使得这一子系统更加容易使用 2.外观模式通过定义一个一…

Linux(06)之获取内核代码

Linux(06)之获取内核代码 Author:OnceDay Date:2023年1月5日 漫漫长路,有人对你微笑过嘛… 参考文档: 《Linux内核设计和实现》 1.概述 linux内核的基本架构如下: 所以每个处理器运行的地方只有以下可能&#xf…

带你玩转指针——指针进阶(二)

上次我们说到了函数指针,对于函数指针大家还不太清楚的参考,指针进阶(一)http://t.csdn.cn/z5cjM函数指针数组数组是存放相同类型的空间,前面我们已经学习了指针数组int* arr[10] 每个元素是int*那么我们把函数的地址存…

grpc实现c++异步非阻塞stream

grpc实现c异步非阻塞stream 参考文章 Non-blocking single-threaded streaming C servergRPC C async api doc and sample codegrpc异步stream server端demo 序言 原来一直是用着同步阻塞的grpc stream。由于不想再创建新的线程来监听grpc stream的新消息了,所以就…

怎么提高程序设计能力?可以参考程序-设计原则,程序-设计模式

怎么提高程序设计能力? 简单说下我的方式方法: 【程序架构】 借鉴设计模式和设计原则 【程序业务】 多理解客户需求,理解后,做竞品逻辑分析,分析出其逻辑结构,和数据结构 ; 再根据客户需求…

自己有工厂,怎样接外贸订单?

很多做外贸的小工厂和小型加工厂,除了传统的营销渠道外,也不知道如何做、才能接到外贸订单。小工厂想获得外贸订单,可通过以下7个方法:1、注册一些外贸B2B平台,发布产品,等待客户询盘外贸B2B平台太多了&…

商务车改装之奔驰威霆改装

今天来看看这台车的改装效果,首先外观改成GLS的一个包围。同时大灯换了一个三道杠的运动大灯。运动大灯加上包围,是不是时尚了很多。再来看看威霆内饰,白红相间的色彩搭配,仪表台换成一个大连屏的仪表台,带着飞机一样的…

4路DI开关检测计数器NPN/PNP输入,Modbus TCP协议,WiFi模块YL160频率测量 计数器

特点:● 4路开关量输入,支持NPN和PNP输入● DI每一路都可用作计数器或者频率测量● 支持Modbus TCP 通讯协议● 可以设置每转脉冲数用于转速测量● 内置网页功能,可以通过网页查询电平状态● 可以通过网页设定输出状态● 宽电源供电范围&…

OPC Expert v8.1.2211 Crack

像专业人士一样解决您的 OPC 和 DCOM 连接问题 [无需经验] 快速修复 OPC 和 DCOM 错误 使用 OPC Expert,您无需任何经验即可解决和修复 OPC 连接问题。OPC Expert 为您完成繁重的工作,以快速自动诊断 OPC 和 DCOM 问题……Ω578867473而且还不止于此。OP…

基于Java+SpringBoot+vue+element实现餐厅点餐系统平台

基于JavaSpringBootvueelement实现餐厅点餐系统平台 博主介绍:5年java开发经验,专注Java开发、定制、远程、文档编写指导等,csdn特邀作者、专注于Java技术领域 作者主页 超级帅帅吴 欢迎点赞 收藏 ⭐留言 文末获取源码联系方式 文章目录基于JavaSpringBo…

ATGM336H-5N定位导航模块介绍

ATGM336H-5N定位导航模块简介ATGM336H-5N系列模块是9.7X10.1尺寸的高性能BDS/GNSS全星座定位导航模块系列的总称。该系列模块产品都是基于中科微第四代低功耗GNSSSOC 单芯片—AT6558,支持多种卫星导航系统,包括中国的BDS(北斗卫星导航系统&am…

基于Java+SpringBoot+vue+element实现火车订票平台管理系统

基于JavaSpringBootvueelement实现火车订票平台管理系统 博主介绍:5年java开发经验,专注Java开发、定制、远程、文档编写指导等,csdn特邀作者、专注于Java技术领域 作者主页 超级帅帅吴 Java毕设项目精品实战案例《500套》 欢迎点赞 收藏 ⭐留言 文末获取…

足球视频AI(五)——球员与球的对象跟踪

一、基础概念 在之前的四节中,我们尝试解决: 1,球员识别、足球识别、裁判识别; 2,队伍的分类 3,平面坐标的换算 存在关键的问题是:每一帧的画面,每次都是重新识别,无…

【OpenCV】数字图像的表示 | 图像IO操作接口 | 图像混合操作

Ⅰ. 数字图像的表示 0x00 位数 计算机采用0/1编码的系统,数字图像也是利用0/1来记录信息。 我们平常接触的图像都是8位数图像,包含0~255灰度。 0:代表最黑 1:表示最白0x01 二值图像 一幅二值图像的二维矩阵仅由0、1…

VTK-vtkAbstractTransform及其子类

前言:本博文主要研究vtkAbstractTransform及其子类的实现原理,以及由此扩展的类。 目录 vtkAbstractTransform vtkGeneralTransform vtkGeoSphereTransform(9.0.3中没有该接口) vtkGeoTransform(9.0.3中没有该接口) vtkHomogeneousTransform vtkId…

企业微信客户联系自定义工具栏开发

一、问题说明:企业微信中私聊微信客户,在聊天输入框上面有一行快捷工具,这边怎么自定义开发?如下图,我们可以点击快捷发送,然后弹出一个页面,页面中有我们需要发送给当前会话的各种资源&#xf…

Maven高级-聚合-继承

多模块构建维护 作用&#xff1a;聚合用于快速构建maven工程&#xff0c;一次性构建多个项目/模块。 制作方式&#xff1a; 创建一个空模块&#xff0c;打包类型定义为pom <packaging>pom</packaging>定义当前模块进行构建操作时关联的其他模块名称 <modules&g…

2021年MathorCup高校数学建模挑战赛—大数据竞赛B题信息流智能推荐算法中的序列评估问题求解全过程文档及程序

2021年MathorCup高校数学建模挑战赛—大数据竞赛 B题 信息流智能推荐算法中的序列评估问题 原题再现&#xff1a; 随着互联网信息的蓬勃发展&#xff0c;用户在使用互联网应用时面临着信息过载的问题。推荐算法的出现&#xff0c;满足了用户个性化的内容消费需求&#xff0c;…

分布式任务调度系列 - XXL-JOB

一、前言 本内容仅用于个人学习笔记&#xff0c;如有侵扰&#xff0c;联系删除 二、传统的定时任务 1. 概念 1.1、定时任务的基本概念 程序为解决一个信息处理任务而预先编制的工作执行方案&#xff0c;这就是定时任务&#xff0c;核心组成如下&#xff1a; 执行器&#…