网站首页 收藏本站 联系我们
  • 首页
  • 关于望驰
    • 关于我们
    • 技术优势
    • 企业文化
  • Parasoft
    • Virtualize
    • Jtest™
    • Insure++™
    • SOAtest™
    • C++test™
    • dotTest™
  • Cybellum
    • Cybellum
  • beSTORM
    • beSTORM
  • Synopsys
    • Seeker
    • AppCheck
    • Coverity
  • 主营产品
    • Fortify
    • Security Fortify
    • CheckMarx
    • Deepkeep
  • Micro Focus
    • UFT
    • ALM Octane
    • WebInspect
    • LoadRunner
    • UFT Pro
    • Mobile Center
    • Service Virtualization
    • Network Virtualization
  • 测试仪器
    • CxCodebashing
  • 项目案例
    • 汽车解决方案
    • 金融解决方案
    • 工业控制系统
    • 医疗
    • 航空航天
    • 安全实验室
  • 行业新闻
    • 企业新闻
    • 行业动态
  • 联系我们
行业新闻
行业新闻
行业动态
  • 热门资讯
  • • Checkmarx:安卓又一严重漏洞!威胁着10亿人的..
  • • Checkmarx测评|物联网设备正在泄露你多少隐私..
  • • SlavaBronfman的访谈–Cybellum
  • • MISRAC++和AUTOSARC++的合并:软件开发行业专..
  • • 面向服务架构(SOA)的汽车软件分析和设计..
  • • 世界智能网联汽车大会
行业新闻首页 -> 行业新闻 -> 行业新闻 -> 正文
2020年Parasoft加入MISRA委员会,以帮助制定汽车和安全关键型软件准则
2020-01-19  |  浏览:1825次
摘要:Parasoft加入MISRA委员会,以共同开发集成MISRA / AUTOSAR编码准则,Parasoft在与顶级汽车软件供应商的合作中,积累了多年经验。

位于MONROVIA, CA的自动化软件测试全球领导者Parasoft,宣布它已加入MISRA C和MISRA C ++工作组,以更加安全可靠的合作研发形式,来开发汽车和安全关键型产品软件。Parasoft在关键时刻加入了MISRA C ++工作组,致力于开发新的集成MISRA / AUTOSAR C ++编码标准。Parasoft为行业顶级汽车软件供应商提供了MISRA和AUTOSAR标准的最广泛覆盖支持。加入该委员会后,将继续Parasoft的承诺,即帮助客户保持在快速发展的安全关键领域的领先地位。

 

汽车工业软件可靠性协会(MISRA)委员会提供了编码准则,该准则已在汽车和安全至关重要的行业中广泛使用,以开发安全的软件。今年早些时候,AUTOSAR和MISRA财团宣布合并它们的标准,MISRA委员会目前正在努力将AUTOSAR C ++和MISRA C ++编码标准合并为一个单独的综合标准,以供行业使用。

Parasoft的产品经理Miroslaw Zielinski表示:“现代汽车软件包括许多新的高级功能,例如基于AI的自动驾驶,从而推动了设计复杂性和源代码的爆炸式增长。“像MISRA和AUTOSAR这样的编码准则对于开发这些先进的安全关键系统至关重要,这些准则帮助团队有效地消除可能导致程序行为无法预测、存在安全隐患或安全漏洞的高风险代码构造。”

 

除了MISRA之外,Parasoft的静态分析工具还支持许多编码指南,从而为关注标准遵从性的静态分析检查器提供了一流的覆盖范围和准确性。通过加入MISRA委员会,Parasoft将能够与业界分享收集的经验,并为创建完整和最新的标准做出贡献。

Zielinski解释说:“在过去几年中,C++语言发展迅速,以应对软件系统设计日益复杂的情况。” “至关重要的是,编码指南必须与语言的发展保持一致,以使团队能够安全地构建最先进的功能。我们很高兴加入MISRA委员会,并贡献我们在编码标准合规性和C / C ++语言方面的专业知识,来准备新版的、应对令人兴奋的未来挑战的准则。”

Parasoft在汽车和安全至关重要的行业中拥有30多年的经验,Parasoft与客户紧密合作,以实施强大的软件质量流程,并简化合规性和报告。Parasoft C / C ++ test已通过TÜV SÜD的功能安全认证,并提供统一的、集成的解决方案,来自动化各种测试的最佳实践,包括静态分析、单元测试、运行时分析、安全性测试和覆盖率分析。利用Parasoft C / C ++ test,软件供应商不必将工具和供应商结合起来即可获得完整的代码质量解决方案,并且在行合规性工作中,只需对一个工具进行资格验证,从而简化了工具资格验证。

Parasoft提供了符合市场上最广泛的汽车、安全和安全编码标准的打包规则集。Parasoft Compliance Pack提供了静态分析检查器、测试配置和文档,以实现对特定于行业编码准则的遵守,包括MISRA C,AUTOSAR C ++ 14,CERT C / C ++等。Parasoft资格认证套件可自动完成对工具进行认证所需的大部分繁琐的手工工作,并生成记录工具认证过程所需的最终报告。资格认证套件适用于包括ISO 26262,IEC 61508和DO 178在内的标准。

 

Cybellum  Parasoft  bestorm  Defensics  Appcheck  Coverity  loadrunner  fortify  Parasoft|加入|MISRA委员会|共同|开发|集成| AUTOSAR|编码准则|Parasoft|顶级汽车软件供应商|
上一页 返回列表 下一页
 
关于我们      |       产品展示      |       解决方案      |       经典案例      |       培训中心      |        新闻资讯      |        试用申请      |        联系我们
  • 上海望驰安防科技有限公司

    地址:上海市浦东灵山路958号5号楼2楼

    手机:18049824972

    电话:021-50150593

    邮箱: anying.ao@ruitde.com

CopyRight 2016 www.ruitde.com All Rights Reserved     版权所有:上海望驰安防科技有限公司   沪ICP备16034184号