装备电子系统的研发、测试、保障解决方案中心

代码静态测试工具 Perforce QAC
产品中心 代码静态测试工具 Perforce QAC
产品概述

       三十余年来,Perforce QAC(原 Helix QAC)作为业界广受信赖的静态代码分析工具,始终专注于为对代码规范性、安全性与可靠性有严苛要求的软件系统,筑牢全流程质量根基。凭借深度、精准的分析能力,它长期稳居汽车、工业控制、医疗设备、轨道交通、航天防务等强监管与安全关键行业的首选解决方案之列。


111jpg(1).jpg


       Perforce QAC 全面支持 C、C++、Rust 三大主流开发语言,可实现多语言混合项目的统一检测与跨语言边界的数据流分析,一套工具即可完成全项目的代码质量管控。工具可自动完成代码深度扫描,精准识别各类编码规则违规问题与潜在安全缺陷;配套标准化 AI 辅助代码修复能力,可无缝对接主流开发环境的 AI 对话工具,基于分析结果一键生成合规、高质量的修复方案,帮助开发团队大幅缩减人工代码审查耗时,在开发早期即可完成问题闭环,从源头提升代码质量,有效缩短后续动态测试周期。

       产品可与 VS Code、Eclipse 等主流开发环境,以及各类持续集成 / 持续部署流程无缝集成,配套的 Validate 协作管理平台,支持自定义持续集成质量门禁、全链路可追溯分析报告、SARIF 等多格式合规结果导出,同时兼容反向代理灵活部署,让代码质量检查贯穿软件开发生命周期全流程。其内置行业领先的全量规则库,全面覆盖 MISRA、AUTOSAR C++14、CERT C/C++、CWE、HICPP、JSF 等全球主流编码规范,深度适配 GCC、Clang 全系列编译器,持续优化语法解析与分析覆盖范围,确保分析结果的精准度与全面性。

       此外,Perforce QAC 已荣获 TÜV SÜD 颁发的权威独立合规认证,完全符合 ISO 26262、ISO/SAE 21434、ASPICE、EN 50128、IEC 61508、IEC 60880、IEC 62304、DO-178B/C 等一系列核心功能安全标准的工具鉴定要求。产品同时通过 ISO 9001TickIT plus Foundation Level 认证,以国际顶尖的质量体系标准,确保不仅全面满足用户的合规与质量管控需求,更能持续超越客户预期。

       从编码规范合规校验到功能安全全流程护航,从单语言深度分析到多语言混合项目全覆盖,从本地开发便捷管控到团队级协作流程打通,Perforce QAC 始终以行业领先的技术能力,为企业软件研发全流程保驾护航。


      (工具试用:https://www.qa-systems.cn/

功能特性

      风险优先级分级管控

      面对静态分析产生的海量告警,团队可基于风险严重程度,对编码问题分级优先处理。Perforce QAC 内置滤波器、告警抑制、基线管理三大核心能力,帮你精准过滤低优先级干扰,锁定高风险核心缺陷;同时输出精准的问题诊断信息与可直接落地的修复指引,确保团队优先解决影响最大的核心问题。


image-web-sca-qac-risk-prioritization-2.jpg


      Perforce Validate 集中验证平台

      Perforce Validate 是 QAC、Klocwork 两款静态分析工具的统一结果集中管理平台,可汇总存储全公司代码库的静态分析数据、质量趋势与规则配置。平台支持高度自定义,团队可按需配置专属的质量门禁、合规规则集,快速识别代码问题与合规偏差;同时支持按项目、按模块拆分审查全量代码,完全匹配不同团队的差异化管理需求。


1776924970980259.png


      全链路开发工具链集成

      Perforce QAC 可无缝融入现有开发流程,与主流开发工具完成深度集成。编译器层面,兼容市面上绝大多数主流编译器;工具链层面,全面覆盖各类开发场景:包括 Visual Studio 等主流 IDE、Perforce Core 等版本控制系统,以及 Jenkins 等持续集成构建服务器,真正实现静态分析能力全流程嵌入,不打断现有开发节奏。


1776925220515236.jpg


      深度上下文分析,实现高精准修复

      Perforce QAC 的跨过程数据流分析能力,远超常规的表层代码扫描,可基于全链路代码上下文完成深度洞察。结合 AI 辅助修复能力,我们将包含详细问题说明、精准修复指引的分析结果完整输入 AI 模型,确保 AI 生成的修复方案不仅技术逻辑正确,更能完全匹配你的代码库场景与合规标准要求,帮助开发者在研发早期、以最低成本解决代码质量问题。


1776925382940868.jpg


      全流程严苛合规保障

      对于安全关键行业而言,合规是核心底线,可追溯、可验证的安全保障更是重中之重。AI 辅助代码修复能力,完全基于 QAC 对 C、C++ 语言主流安全编码标准的深度覆盖,可快速在全代码库落地标准执行,助力团队满足功能安全要求、完成合规举证。同时,我们严格保障代码质量与合规性不打折扣:所有 AI 生成的修复建议,必须经过开发者人工审核确认后才可生效,从根源上规避 AI 生成漏洞,确保代码始终符合安全与合规要求。


      AI + 静态分析,实现 DevOps 流程自动化

      AI 辅助代码修复能力可轻松集成至 VS Code 开发环境,插件设计灵活,原生适配 GitHub Copilot,同时兼容多类大语言模型,满足团队的差异化 AI 工具选型需求。开发团队无需切换熟悉的工具,即可在代码提交前完成问题自动修复、同步验证修复效果,确保代码提交即可通过所有质量门禁;同时可通过 Copilot 的对话交互能力,与 AI 协同澄清问题根因、优化修复方案,真正实现研发流程的自动化提效。

      从早期缺陷精准检测,到问题智能闭环修复,Perforce QAC 始终以安全合规为底线,助力安全关键行业的研发团队提效增速。如需了解更多 AI 辅助代码修复的落地细节,可进一步深入沟通。


Perforce QAC 支持语言

• C
• C++
• Rust 


Perforce QAC 编码标准

      Perforce QAC 使符合编码标准变得简单。您可以使用以下合规分类法,在您的代码库中强制执行编码标准。而且,你在诊断中会出现更少的假阳性和假阴性。


功能安全

• MISRA C:2025
• MISRA C:2023
• MISRA C:2012
• MISRA C:2004
• Barr-C
• AUTOSAR C++14
• MISRA C++:2023
• MISRA C++:2008
• JSF AV C++


信息安全

• CERT C
• CERT C++
• CWE, including CWE Top 25(含 CWE Top 25 最关键弱点)
• ISO/IEC TS 17961 (C 语言安全规范)
• HKMC C
• HKMC C++


代码质量

• 高完整性 C++ (HIC++)


自定义

• 创建专属编码标准
• 自定义检测规则
• 定制化合规模块


谁在使用 Perforce QAC?

      当前,代码质量管控工具已在全行业得到广泛应用,尤其在以下领域的关键任务级软件开发中,更是不可或缺的核心工具:


嵌入式开发

嵌入式系统的高效设计与研发,离不开对日益增长的研发数字资产的规范化管理,全流程均需在严格的合规准则下开展。对于质量关键型行业而言,代码必须符合对应的编码标准与行业要求,而 Perforce QAC 可完整提供代码合规性的有效举证。


汽车行业

当前汽车软件的研发往往涉及超 1 亿行代码,且车载嵌入式软件的研发,通常与汽车其他硬件系统的研发相互独立。
这一特性要求研发团队必须有效应对一系列专属挑战。借助 Perforce QAC,研发团队可实现跨团队项目协同,同时保障代码高质量交付,完全满足监管合规要求。


航空航天与国防
航空航天、国防及军工单位日常高度依赖嵌入式软件,软件的安全性、保密性与可靠性是核心底线,这也给研发团队带来了零缺陷交付的极高要求。
庞大的代码库、复杂的系统架构,再加上严苛的合规要求,进一步加大了研发管控难度。借助 Perforce QAC,航电系统研发团队可轻松完成合规举证,打造高质量、高可靠的系统软件。


医疗设备行业
医疗设备内嵌软件的质量,直接关乎患者的生死安危,因此相关设备的功能安全与信息安全正受到越来越严格的监管审查。
通过使用 Perforce QAC,企业可全面适配持续更新的国家监管法规要求,有效验证医疗设备的安全性、可靠性与运行效率。


能源技术行业
能源与公用事业领域的产品研发团队,必须保障产品符合功能安全合规要求、满足行业监管规范,同时规避潜在的安全漏洞与编码错误,这对团队的合规管控能力提出了极高挑战。
借助 Perforce QAC,能源与公用事业研发团队可轻松实现编码标准落地合规、快速识别潜在风险,同时实现代码合规状态的全链路可视管控。


Perforce QAC 已通过 ISO、IEC、EN 系列合规标准认证

      Perforce QAC 已通过独立第三方合规认证,该产品由 Programming Research(简称 PRQA)研发,目前 PRQA 已正式并入 Perforce 公司。


TÜV 南德(TÜV-SÜD)认证

Perforce QAC 已通过 TÜV 南德认证,完全符合以下核心功能安全标准要求:

• ISO 26262(汽车行业),最高支持 ASIL D 等级
• IEC 61508(通用工业行业),最高支持 SIL 4 等级
• EN 50716(轨道交通行业),最高支持 SW-SIL 4 等级
• IEC 62304(医疗设备行业),最高支持软件安全 C 级
• IEC 60880(核电行业)


ISO 9001 质量管理体系认证

Perforce QAC 同时通过了 ISO 9001 认证。ISO 9001 是全球应用最广泛的管理体系标准之一,旨在确保企业通过持续优化改进,始终满足并超越客户的需求与预期。


ISO 27001 信息安全管理体系认证
Perforce QAC 同时通过了 ISO 27001 认证。ISO 27001 明确了企业信息安全管理需满足的专项规范要求,企业只有顺利完成合规审核,方可获得经权威认可的认证机构颁发的认证证书。


TÜV-SÜD Perforce QAC certificate.

典型应用
  • 编码问题的早期检测

       在新的代码和以前的代码中发现编码问题。比较其他静态代码分析器,Perforce QAC发现更多的编程错误,包括C/C++的未定义或未指定的行为,且适用于数百万行的大型项目。

  • 风险优先级

       以风险的严重程度划分编码问题的优先级。Perforce QAC使用过滤器、抑制和基线的手段帮助你关注最为关键的代码缺陷,提供精确的诊断和可操作的结果。用户因此能够首先修改最重要的问题。

  • 消除安全漏洞

       在源代码上消除安全漏洞。编程错误往往导致犯罪分子利用软件中的漏洞窃取信息,但Perforce QAC使你看到并控制编程错误,因此能在源代码级别上就消除了漏洞。

  • 协同代码审查

      协同代码审查,包括人工的和自动的静态分析。你能够为团队成员分配任务。

  • 监控代码质量

       监控代码整体质量。Perforce QAC确保团队所有成员使用的是一致的编码规则,你能控制规则的偏离和诊断的抑制,也能测量、跟踪和记录质量度量及其趋势。

  • 集成其它工具集

      将静态代码分析集成到其它开发工具。Perforce QAC支持大多数编译器。你可以把它集成到许多开发工具中,包括集成开发环境(比如Microsoft Visual Studio)、版本控制系统(比如Helix Core)、以及持续集成构建服务器(比如Jenkins)。