提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
翻译|行业资讯|编辑:李显亮|2021-07-06 11:51:32.563|阅读 138 次
概述:开发团队根据MISRA来衡量当今软件的很大一部分。但是到底什么是MISRA,它是如何开发的,C和C++开发人员是如何根据它来衡量标准的,以及他们是如何知道自己符合标准的?Parasoft自动化测试工具能否满足MISRA标准要求?
# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>
相关链接:
MISRA标准包含编写软件的准则和代码规则。汽车、航空航天和国防、医疗、工业自动化和铁路等行业都使用该标准来帮助他们的开发人员编写源代码,以确保软件的安全、安保和可靠性。
由于嵌入式软件工程师使用C和C++编程语言来编写安全关键型软件的代码,MISRA标准的创建者为使用这两种语言的编码者建立了这些标准。
在20世纪90年代初,电子产品在汽车中变得越来越重要。作为这些电子产品的一个组成部分的嵌入式软件也是如此。因此,工程师和制造商开始意识到,无论是出于安全还是商业原因,软件的可靠性是至关重要的。今天的挑战甚至更大,因为一辆汽车的软件可能涉及超过1亿行的编码。
今天,开发团队采用编码标准作为定义、管理和利用一组编码实践的方法,其首要目标是一致性。编码规则的主要目的是限制语言的使用,这样可以防止开发人员做一些 "错误 "的事情,并可能产生潜在的危险。
开发人员可以通过采取合理的语言使用限制来避免软件中的许多缺陷。这导致了风格的统一,这在软件项目中作为一种纪律是很有价值的。
每个MISRA标准都包含了一套编码参数和规则,以及支持材料。支持材料是标准的补充部分,提供了任何想获得符合性的程序员所必需的重要背景信息。 让我们看看当前的C和C++ MISRA编码标准本身和简要说明:
MISRA编码标准提供了全面的规则和指导方针,因此公司可以保护他们的应用程序免受运行时错误和软件故障的影响,并使它们不太容易出现安全和安全漏洞。符合MISRA标准有助于改进语法,创建代码一致性,并促进可移植性。对于不使用静态分析(或SAST-静态应用安全测试)解决方案或工具的团队来说,验证合规性可能会有问题。Parasoft简化了这一过程,这对于确保及时的软件交付和编码安全至关重要。
在整个软件开发生命周期中应用MISRA合规性是很重要的,包括在代码实现期间进行左移测试和加快代码审查。这不仅提供了质量改进,还提供了进度度量、持续可追溯性和强制执行。根据2020年MISRA合规性自动记录和合规性报告也是节省资源和时间的一个关键因素,也是解决违规问题时避免沮丧的一个关键因素。
像Parasoft这样的工具可以被配置成检测整个MISRA标准的子集。这减少了分析产生的噪音量,并增加了对解决严重违规问题的关注。
与公司实现MISRA合规性相关的问题之一是缺乏证明合规性的标准机制。为了解决这个问题,MISRA发布了“MISRA合规性2020:实现对MISRA编码指南的合规性”,这是最新的更新,提供了“MISRA合规性”的更具体定义,并确定了证明符合MISRA标准所需的几个交付件。
鉴定工具的目的是证明它们对预期的使用是有效的。它包括证明团队如何对其进行资格认证以及背后的理由。Parasoft C/C++test和我们的报告工具Parasoft DTP已经通过了TÜV SÜD的认证,可用于安全关键型应用,而且对于一些最严格的工艺标准,如DO-178B/C及其要求,存在一个工具鉴定套件。
从开发到质量检查,Parasoft的技术通过集成静态和运行时分析,单元、功能和API测试,以及服务虚拟化,在不牺牲质量和安全性的情况下加快软件交付,节约交付成本。
强大的报告和分析功能可帮助用户快速查明有风险的代码区域,并了解新代码更改如何影响其软件质量,而突破性的技术将人工智能和机器学习添加到软件测试中,使组织更容易采用和扩展跨开发和测试团队的有效的软件测试实践。
Parasoft针对C/C++、Java、.NET和嵌入式的开发测试都有着30多年的深入研究,很多全国500强企业使用Parasoft的产品实现了软件快速、高质量的交付。
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@pclwef.cn
CEETRON Envision是一款功能强大的CAE数据分析与可视化工具包,凭借其卓越的数据提取、分析、渲染能力,能够帮助工程师和开发人员提升分析效率、改善工作流程,并通过高效的数据共享报告和生成功能,进一步优化团队协作与决策过程。
Burp Suite是一款专业的Web应用安全测试工具,集成了Proxy、Scanner、Intruder等功能,帮助渗透测试人员识别和修复Web应用中的安全漏洞,是提升Web应用安全性和防护能力的必备利器。
2024年对于FastReport来说是充满挑战和收获的一年。FastReport在多个领域取得了重要突破和创新成果,不仅不断优化现有产品,
通过提供强大的3D CAD数据访问工具并适用于桌面、移动和Web的高级环境3D可视化发动机,HOOPS在提升造船设计和制造流程的效率方面发挥了重要作用。
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@pclwef.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢