2023年2月24日，国际独立第三方检测、检验和认证机构德国莱茵TÜV集团为中移智行网络科技有限公司（以下简称“中移智行”）颁布了A-SPICE L3和ISO26262功能安全产品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 ，汇总手动和自动测试的覆盖率，提供每个测试覆盖率和跨构建的趋势结果报告；
-
广泛支持的嵌入式环境，如ARM、RISC-V、IAR、GreenHills、Tasking、WindRiver等等。
3. 功能安全与合规性
Parasoft C/C++test 提供了符合行业标准所需的一切。
-
Parasoft C/C++test参照IEC61508、IEC62304、ISO26262和EN50128标准通过了TÜV的功能安全认证，帮助开发团队达到期望的安全完整性级别（SIL/ASIL）；
-
为了简化工具验证过程，对于DO-178B/C、DO-330和ED-12B/C，以及其他安全性标准，Parasoft可以给用户提供安全认证套件。这些安全认证套件是可以根据您的特定环境和使用需求定制的，可以确保用户拥有验证时所需的所有文档。
关于Parasoft
Parasoft通过其经过市场验证的自动化软件测试工具集成套件，帮助企业持续交付高质量的软件。Parasoft的技术支持嵌入式、企业和物联网市场，通过将静态代码分析和单元测试、Web UI和API测试等所有内容集成到交付管道中，再加上服务虚拟化和完整的代码覆盖率，减少了交付安全、可靠和合规软件所需的时间、精力和成本。
Parasoft屡获殊荣的报告和分析仪表板将所有这些整合在一起，提供了一个集中的质量视图，使企业能够充满信心地交付，并在当今最具战略性的生态系统和开发计划中取得成功，包括安全性、安全关键性、敏捷性、DevOps以及持续测试。
