PGRelief的优势,你了解吗?

PGRelief三大

  将原先必须到测试阶段才能发现的问题提前到编码阶段发现

    有效减少返工和测试工作量

    对问题精确定位,最大限度减少开发人员的额外负担

点二:多角度检查确保软件品质提高

    包含了富士通10多年开发中积累的经验和技术

    可以检查如下规范

    ISO/IEC 9989:1990,1999             (C语言规范)

    ISO/IEC 14882:1998,2003,2011       (C++语言规范)

    MISRA-C 1998,2004,2012;MISRA-C++2008 (汽车工业软件可靠性协会编码规范)

    IPA/SEC                            (适合嵌入式的C语言高品质编码规范)

    多个角度对源程序进行检查,提高软件品质

    所检查的可能问题总数达到650个

点三:为获得ISO26262认证提供帮助

    ISO26262之Part-6:对是否符合编码规范有着严格要求

    PGRelief所具备的静态检查功能不可或缺,可以用于编码规范检查。

    ISO26262之Part-8:对检查用的工具自身的妥当性有着严格要求

    要求用来进行规范检查所使用的第三方工具也必须通过该认证。

    PGRelief也获得了ISO26262的认证。并且通过了ISO26262的最苛刻/最高级别的安全性要求认证ASIL-D (Automative Safety Integrity Level-D)。

ISO26262是什么?

  在汽车行业中,针对特定的电气器件、电子设备、可编程电子器件等专门用于汽车领域的部件,旨在提高汽车电子、电气产品功能安全的国际标准。

  为汽车安全提供了一个生命周期(管理、开发、生产、经营、服务、报废)理念,并在这些生命周期阶段中提供必要的支持。该标准涵盖功能性安全方面的整体开发过程。

PGRelief主要特点

高命中率

  基于程序的数据流及控制流,准确地检查出程序中的缺陷。

  由于检查的高命中率,对检查结果进行验证的工作量也会相应降低。

完备的代码评审辅助功能

  本软件同时包含了许多辅助功能,比如「检查点的分类功能」可以帮助你根据检查点的重要性来查看检查结果;而「代码查看器」则可以帮助你快速跳转到源代码中出现问题的位置。

详细的检查点解说文档

  对各个检查点提供了详细的解说,包括指出的理由、处理方法等各种信息。据此,开发人员可以轻松的解决问题。并且,通过阅读这些文档,开发人员可以进行编码知识的自学,从而促进自身技能的提高。

支持多种编译器

  PGRelief支持多种编译器。只要在选项中进行正确的设定,就可以正确解析包含了编译器扩展语法的用户源程序。此外,对于尚未支持的编译器,提供调查和定制服务。

时间: 2024-08-07 22:40:36

PGRelief的优势,你了解吗?的相关文章

云存储技术优势及其发展趋势的探讨

云存储技术优势及其发展趋势的探讨 1.引言 近年来,由于信息技术的发展,科学计算和商业计算等众多应用领域会产生了规模相当巨大的数据,并且数据量仍在快速增加,呈海量形式发展.在科学计算方面,如物理学.天文学.生物学等领域都会产生规模庞大的数据,而且每年的数据规模达到若干PB.而在商业计算方面,Web搜索.社会网络等需要处理的数据规模也非常庞大,例如,Google和Facebook等应用产生的数据达到PB甚至EB级.按照摩尔定律,处理器的速度每18个月就会翻一番,光纤技术的发展也大大加快了数据在网络

针对企业需求,Bluemix具有三大突出优势

1. 简单.快速:加速应用开发速度,缩短部署时间.Bluemix上来自IBM和第三方提供的大量可组合的产品,可供开发人员直接使用.BlueMix 提供的DevOps服务便于整个团队成员分享工作成果.开展协作.并通过性能监控来加快发现问题进行修改.完整的开发体验可以保证在高质量的前提下,加快产品上市速度. 2. 开放.灵活:基于开放标准开发,适应企业的个性化需求.Bluemix以开放标准为基础并且利用了Cloud Foundry,从而帮助开发人员避免被供应商绑定的问题,同时允许他们利用现有的应用开

Angular 1.0演变Angular 2.0的简单优势列举

首先,Angular最核心的4大特性分别是: 1.模块化 2.MVC 3.双向数据绑定 4.指令 Angular 1.0演变Angular 2.0的简单优势列举: 1.性能限制上的优化 说明:随着时间的推移,各种特性被加入进去以适应不同场景下的应用开发,在最初的架构受到了限制,而Angular 2.0很好的解决了这些问题. 2.仿照WEB后端的结构模式来编写前端 说明:支持模块.类.lambda表达式. generator等新的特性 3.支持移动端开发 说明:Angular1.x没有针对移动 应

认识JQuery,JQuery的优势、语法、多库冲突、JS原生对象和JQuery对象之间相互转换和DOM操作,常用的方法

(一)认识JQuery  JQuery是一个JavaScript库,它通过封装原生的JavaScript函数得到一套定义好的方法    JQuery的主旨:以更少的代码,实现更多的功能 (二)JQuery的优势 1)可以像CSS一样访问和操作DOM 2)修改CSS控制页面外观 3)简化JS代码操作 4)事件代理更加容易 5)动画效果使用方便 6) Ajax技术更加完美 7)大量的基于Jquery的插件 8)可以自定义扩展功能插件 (三)JQuery的语法 格式:$(selector).actio

细说ios开发和Android开发有什么区别?谁更有优势?

ios开发和安卓开发的市场分析:      首先iOS系统是应用在iPhone.iPad等高端设备上的,iOS市场占有的份额虽然不高,但是用户的消费能力比较强,生态圈较好有利于开发者直接获利.Android向大众人群普及,市场份额占有率虽然很高,但是用户群体的人均消费能力普遍弱,但是依托于用户的基数使得Android有资本跟iOS抢占市场份额. ios开发与安卓开发区别比较:      iOS:基于Unix闭源的操作系统,核心语言是Objective-C,相关的语言还有C语言(重点在数据结构和算

七牛的优势和便宜购买方法

既然推荐七牛,那么就得说说七牛的优势,在说之前给大家推荐一个七牛优惠码:61d1fd4d  优惠码是九折,1万以下99折,一万以上95折,目前七牛所有的优惠码都是统一折扣的,建议大家收藏使用,永久有效. 下面进入正题,七牛是目前国内数一数二的云存储厂商了,但不是第一个开始做这个的,既然能超越前人,肯定有其过人之处. 1.免费流量和额度 七牛每月都有一定的免费流量和额度,对于中小网站和个人来说,基本无成本.算是免费使用了,搭建一些中小个人网站完全够用. 2.cdn加速 网页静态资源优化加速分发,对

Docker 有什么优势?

1.什么是容器? 依托与linux 内核功能的虚拟化技术 2. docker 是什么? 能够把应用程序自动部署到容器的开源引擎 3. docker 跟原有的工具有何区别? 传统的部署模式是:安装(包管理工具或者源码包编译)->配置->运行: Docker的部署模式是:复制->运行. 4. docker 会对服务器端开发/部署带来什么变化? 实现更轻量级的虚拟化,方便快速部署  对于部署来说可以极大的减少部署的时间成本和人力成本 Docker支持将应用打包进一个可以移植的容器中,重新定义了

网络安全标准与 “腾讯模式”背后的海量大数据及技术优势

针对腾讯反电信网络诈骗的系列技术产品和成果进行考察.交流座谈中,腾讯公司董事会主席兼CEO马化腾首次提出了反电信网络诈骗的"腾讯模式",依托现代网络安全技术与大数据能力,联合全行业伙伴,开放合作共享,职能联动互通,形成对抗黑色产业链的联合反诈骗生态闭环.值得一提的是,"腾讯模式"的思路在企业安全领域也有体现,其背后的安全大数据积累将通过腾讯云开放,促进各行业安全能力的提升. 安全标准是网络安全工作重中之重 "网络安全标准作为网络安全保障体系的重要组成部分,

2.采用四象限法将你小组的四则运算软件的需求功能进行分类。阐述其优势与不足。------------答题人:张立鹏

如果把要做的事情按照紧急.不紧急.重要.不重要的排列组合分成四个象限,这四个象限的划分有利于我们对时间进行深刻的认识及有效的管理. 第一象限 这个象限包含的是一些紧急而重要的事情,这一类的事情具有时间的紧迫性和影响的重要性,无法回避也不能拖延,必须首先处理优先解决.它表现为重大项目的谈判,重要的会议工作等. 第二象限 这二象限不同于第一象限,这一象限的事件不具有时间上的紧迫性,但是,它具有重大的影响,对于个人或者企业的存在和发展以及周围环境的建立维护,都具有重大的意义. 第三象限 第三象限包含的