当前位置: 首页 > news >正文

Parasoft帮助中移智行顺利获得A-SPICE L3和ISO26262功能安全认证证书

2023年2月24日,国际独立第三方检测、检验和认证机构德国莱茵TÜV集团为中移智行网络科技有限公司(以下简称“中移智行”)颁布了A-SPICE L3ISO26262功能安全产品ASIL B认证证书,标志着中移智行在软件质量体系管理和产品技术方面走在行业前端,满足国际标准要求,在这个过程中,中移智行使用Parasoft C/C++test 在软件开发测试阶段满足A-SPICE(汽车软件过程改进及能力评定)对于软件质量管理的要求,并使其在白盒测试过程中符合ISO26262汽车功能安全标准要求,通过使用Parasoft一整套完整的解决方案,将汽车电子电器系统由于软件代码故障带来的风险降到最低。

中移智行

 

时空信息产品部总经理蒋鑫表示:

公司通过充分利用符合功能安全标准的代码扫描工具Parasoft C/C++test开展静态代码扫描单元测试以及集成测试等工作,实现了代码行覆盖率分支覆盖率MC/DC覆盖率圈复杂度等指标的量化度量,确保组织级的软件编码规范落到实处,提升软件代码质量,保障产品代码符合功能安全标准要求。未来,公司将持续结合Parasoft的解决方案,提供优质、安全、可靠的5G+北斗高精度定位服务产品,协助智能驾驶汽车安全高效量产。

Parasoft C/C++test是专业针对C和C++语言的开发测试方案, 经广泛证明能提高软件开发效率和代码质量的自动化最佳实践解决方案。使用Parasoft C/C++test进行静态分析单元测试,可以帮助用户符合合规标准要求(例如:ISO26262),并帮助团队快速开发和交付高质量的软件。

1.  高效的静态分析

Parasoft C/C++test中的静态分析可以准确地扫描业界最广泛的缺陷、漏洞和不合规问题。

  • 帮助您快速找到和修复代码缺陷与完整的路径分析,以及准确的违规检测

  • 支持预防性(模式)和检测(基于数据流的)静态分析技术,以及一套全面的代码结构度量标准;

  • 跨团队和项目全面了解合规性:AUTOSAR C++14、MISRAC 2012、MISRAC++2008、CERTC/C++、CWE、HIC++等;

  • 支持使用专用的RuleWizard工具模块创建自定义规则

  • 集中化报告和合规性审核,包括针对编码标准专门法规遵从性报告流程管理

  • 易于部署:易于配置和自动化,非侵入性,并且可跨多个团队进行扩展

2.  单元测试与集成测试

Parasoft C/C++test尽量减少与创建和维护单元、集成测试相关的复杂和耗时的挑战。C/C++软件开发的集成测试解决方案需要为测试创建和管理、隔离被测试代码提供一个统一的测试环境,以及高级覆盖率报告,以确保对应用程序的彻底测试。经TÜV认证的工具Parasoft C/C++test允许用户在目标硬件上进行软件测试,从而满足各行业对各种嵌入式代码测试的要求。

  • 丰富的、基于IDE的图形界面,用于通过UI驱动的编辑器和直接使用源代码来创建和管理测试用例;

  • 全面的代码覆盖指标:函数、行语句、块路径、分支、判定、MC/DC、调用、目标/汇编等覆盖率;

  • 能够捕获开源覆盖率报告测试框架的结果,如CppUnit和Google Test;

  • 自动打桩框架,易于隔离正在测试的代码;

  • 使用Parasoft DTP ,汇总手动和自动测试的覆盖率,提供每个测试覆盖率和跨构建的趋势结果报告

  • 广泛支持的嵌入式环境,如ARMRISC-VIARGreenHillsTaskingWindRiver等等。

3.  功能安全与合规性

Parasoft C/C++test 提供了符合行业标准所需的一切。

  • Parasoft C/C++test参照IEC61508IEC62304ISO26262EN50128标准通过了TÜV的功能安全认证,帮助开发团队达到期望的安全完整性级别(SIL/ASIL);

  • 为了简化工具验证过程,对于DO-178B/CDO-330ED-12B/C,以及其他安全性标准,Parasoft可以给用户提供安全认证套件。这些安全认证套件是可以根据您的特定环境使用需求定制的,可以确保用户拥有验证时所需的所有文档。

关于Parasoft

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

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

相关文章:

  • 计算机组成 --- 计算机系统的多级层次结构
  • 新六级通关训练
  • Python是不是被严重高估了?
  • 华为欧拉服务器安装docker及达梦8
  • 【AWS入门】通过VPC创建云上私有网络
  • winform的helloworld
  • vue3笔记
  • 基于html+css的图片旋转
  • 【iOS】ARC学习
  • 3. QML实现蓝牙通信
  • 算法第二十期——FLoyd算法的入门与应用
  • VBA之正则表达式(41)-- 替换函数声明
  • python get方法及常用的代码
  • Vue——插槽
  • uni-app的基本使用(二)
  • #Java异常处理
  • 【399天】跃迁之路——程序员高效学习方法论探索系列(实验阶段156-2018.03.11)...
  • 【个人向】《HTTP图解》阅后小结
  • 【知识碎片】第三方登录弹窗效果
  • avalon2.2的VM生成过程
  • C++11: atomic 头文件
  • CAP 一致性协议及应用解析
  • CentOS7 安装JDK
  • Docker 1.12实践:Docker Service、Stack与分布式应用捆绑包
  • IP路由与转发
  • k8s 面向应用开发者的基础命令
  • Python 基础起步 (十) 什么叫函数?
  • SQLServer插入数据
  • Vue实战(四)登录/注册页的实现
  • 官方新出的 Kotlin 扩展库 KTX,到底帮你干了什么?
  • 技术发展面试
  • 设计模式 开闭原则
  • 责任链模式的两种实现
  • 基于django的视频点播网站开发-step3-注册登录功能 ...
  • # C++之functional库用法整理
  • #Spring-boot高级
  • #每日一题合集#牛客JZ23-JZ33
  • (Java实习生)每日10道面试题打卡——JavaWeb篇
  • (Redis使用系列) Springboot 整合Redisson 实现分布式锁 七
  • (二)换源+apt-get基础配置+搜狗拼音
  • (附源码)ssm码农论坛 毕业设计 231126
  • (附源码)计算机毕业设计SSM基于java的云顶博客系统
  • (十) 初识 Docker file
  • (十八)三元表达式和列表解析
  • ****** 二十三 ******、软设笔记【数据库】-数据操作-常用关系操作、关系运算
  • .dat文件写入byte类型数组_用Python从Abaqus导出txt、dat数据
  • .MyFile@waifu.club.wis.mkp勒索病毒数据怎么处理|数据解密恢复
  • .NET 跨平台图形库 SkiaSharp 基础应用
  • .net6+aspose.words导出word并转pdf
  • .pub是什么文件_Rust 模块和文件 - 「译」
  • .pyc文件是什么?
  • /usr/bin/python: can't decompress data; zlib not available 的异常处理
  • @NoArgsConstructor和@AllArgsConstructor,@Builder
  • @WebServiceClient注解,wsdlLocation 可配置
  • [ C++ ] STL_list 使用及其模拟实现