2023年2月24日,国际独立第三方检测、检验和认证机构德国莱茵TÜV集团为中移智行网络科技有限公司(以下简称“中移智行”)颁布了A-SPICE L3和ISO26262功能安全产品ASIL B认证证书,标志着中移智行在软件质量体系管理和产品技术方面走在行业前端,满足国际标准要求。
>>点击获取Parasoft C/C++test试用
在这个过程中,中移智行使用Parasoft C/C++test在软件开发测试阶段满足A-SPICE(汽车软件过程改进及能力评定)对于软件质量管理的要求,并使其在白盒测试过程中符合ISO26262汽车功能安全标准要求,通过使用Parasoft一整套完整的解决方案,将汽车电子电器系统由于软件代码故障带来的风险降到最低。
Parasoft C/C++test是专业针对C和C++语言的开发测试方案, 经广泛证明能提高软件开发效率和代码质量的自动化最佳实践解决方案。使用Parasoft C/C++test进行静态分析和单元测试,可以帮助用户符合合规标准要求,并帮助团队快速开发和交付高质量的软件。
高效的静态分析
Parasoft C/C++test中的静态分析可以准确地扫描业界最广泛的缺陷、漏洞和不合规问题。
- 快速找到和修复代码缺陷与完整的路径分析,以及准确的违规检测。
- 支持预防性(模式)和检测(基于数据流的)静态分析技术,以及一套全面的代码结构度量标准。
- 跨团队和项目全面了解合规性:AUTOSAR C++14、MISRAC 2012、MISRAC++2008、CERTC/C++、CWE、HIC++等。
- 支持使用专用的RuleWizard工具模块创建自定义规则。
- 集中化报告和合规性审核,包括针对编码标准的专门法规遵从性报告和流程管理。
- 易于配置和自动化,非侵入性,并且可跨多个团队进行扩展。
单元测试与集成测试
Parasoft C/C++test为测试创建和管理、隔离被测试代码提供一个统一的测试环境,以及高级覆盖率报告,以确保对应用程序的彻底测试。经TÜV认证的工具Parasoft C/C++test允许用户在目标硬件上进行软件测试,从而满足各行业对各种嵌入式代码测试的要求。
- 丰富的、基于IDE的图形界面,用于通过UI驱动的编辑器和直接使用源代码来创建和管理测试用例。
- 全面的代码覆盖指标:函数、行语句、块路径、分支、判定、MC/DC、调用、目标/汇编等覆盖率。
- 自动打桩框架,易于隔离正在测试的代码。
- 支持的嵌入式环境,如ARM、RISC-V、IAR、GreenHills、Tasking、WindRiver等等。
功能安全与合规性
Parasoft C/C++test提供了符合行业标准所需的一切。
- 通过了TÜV的功能安全认证,帮助开发团队达到期望的安全完整性级别(SIL/ASIL)。
- Parasoft给用户提供安全认证套件。这些安全认证套件是根据特定环境和使用需求定制的,可以确保用户拥有验证时所需的所有文档。
关于Parasoft
Parasoft通过其经过市场验证的自动化软件测试工具集成套件,帮助企业持续交付高质量的软件。Parasoft的技术支持嵌入式、企业和物联网市场,通过将静态代码分析和单元测试、Web UI和API测试等所有内容集成到交付管道中,再加上服务虚拟化和完整的代码覆盖率,减少了交付安全、可靠和合规软件所需的时间、精力和成本。
关于慧都
慧都是一家行业数字化解决方案公司,专注于软件、石油与工业领域,以深入的业务理解和行业经验,帮助企业实现智能化转型与持续竞争优势。在软件工程领域,我们提供开发控件、研发管理、代码开发、部署运维等软件开发全链路所需的产品,提供正版授权采购、技术选型、个性化维保等服务,帮助客户实现技术合规、降本增效与风险可控。
慧都科技作为Parasoft公司在中国区的官方授权合作伙伴,为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险,最终构建符合国际标准的高质量软件体系。
发表评论