Perforce QAC

Perforce QAC，主要以Helix QAC的名称销售，是一款用于软件开发的商业静态分析产品，尤其适用于嵌入式及其他安全关键环境。其起源可追溯至1986年，当时总部位于英国的Programming Research Limited开发了这款用于C编程语言的工具。QAC这一名称代表质量保证与控制（Quality Assurance and Control），反映了该产品最初专注于衡量和改进C源代码质量的目标。 该产品无需执行代码即可分析源代码。它能够识别缺陷、可疑结构、指南违规和可维护性问题，同时为大型代码库提供度量和交叉引用信息。一个核心用途是检查C及相关代码是否符合正式编码标准，包括MISRA C，该标准广泛应用于汽车及其他嵌入式系统，这些领域对可靠性、可移植性和可追溯性要求较高。该产品系列还与C++和Rust分析以及旨在支持功能安全开发的工作流程相关联。 Helix QAC将命令行工具与集成图形环境相结合。命令行界面支持自动化以及集成到构建或持续集成流程中，而图形环境帮助开发者检查发现的问题、浏览程序元素之间的关系并理解遗留代码和新编写的代码。详细的交叉引用、度量视图和图形表示旨在使发现的问题比简单的编译器风格警告列表更具可操作性。 该工具还用于有关C代码度量的技术工作，包括Les Hatton的著作《Safer C》中讨论的度量。这一关联表明该产品在源代码质量的经验评估方面长期发挥作用，而不仅仅是基于规则的符合性检查。 Programming Research Limited，通常与PRQA名称相关联，于2018年5月被Perforce Software收购。收购后，该产品被纳入Perforce的产品组合，并更名为Helix QAC。Perforce将其与其他开发及代码质量技术一同展示，重点帮助工程组织管理大型软件项目中的编码标准、静态分析和合规要求。公开可用的参考资料并未为QAC品牌确立独立的法人实体、独立上市或独立的财务概况。

Helix QAC最初名为QA·C，是由总部位于英国的软件公司Programming Research Limited于1986年创建的静态分析工具。其最初目的是分析C源代码并支持系统化的质量保证和控制。在大型软件项目日益依赖复杂C代码库的时代，该工具提供了一种无需执行即可检查源代码、识别潜在问题结构并量化代码特征的方法。 该产品超越了简单的规则检查。其功能包括源代码度量、详细的交叉引用以及旨在帮助工程师理解大型程序内关系的视图。这些功能使其既适用于新开发，也适用于旧系统的维护，因为旧系统的原始设计可能难以重建。该软件可通过命令行界面用于脚本化或自动化工作流程，也可通过图形化集成开发环境进行交互式结果调查。 一个主要应用领域是编码标准的符合性。Helix QAC尤其与MISRA C以及嵌入式软件的质量流程相关联。这些标准在缺陷可能造成严重后果且开发组织必须展示纪律性工程实践的行业中尤为重要。该工具还用于生成Les Hatton的著作《Safer C》中讨论的C源代码度量，将其与关于编码实践、软件缺陷和可维护性之间关系的研究和实际讨论联系起来。 Programming Research Limited于2018年5月被Perforce Software收购。此次收购将该产品转移至Perforce的开发工具组合，并随后采用Helix QAC品牌。在Perforce旗下，该产品仍定位为面向专业工程团队的商业代码质量和静态分析产品。参考资料表明其支持C、C++和Rust分析，以及MISRA和面向功能安全的工作流程，并在当前产品定位中包含AI辅助修复功能。可用来源未提供各版本、产品经理或公司财务业绩的完整时间线，因此此处不加以断言。

• 2018

  被Perforce Software收购

  [1]Helix QACen.wikipedia.org

  Perforce Software收购了QA·C背后的公司Programming Research Limited。该产品后来在Perforce产品组合中采用了Helix QAC名称。

• 1986

  开发原始C分析工具

  [1]Helix QACen.wikipedia.org

  Programming Research Limited为C编程语言开发了原始的QA·C静态分析工具。

面向C语言家族和Rust开发的专业静态分析平台，定位于大型嵌入式及安全关键软件项目，这些项目需要编码标准执行、缺陷检测、代码度量和可审查的合规证据。

• 静态代码分析和软件质量 · 1986

  Helix QAC

  Helix QAC是一个商业静态分析环境，专注于C语言家族和Rust软件。它检查源代码中的缺陷和编码标准违规，包括MISRA相关规则，并可为大型代码库计算度量。其命令行工具支持自动化或持续集成工作流程，而其图形环境提供交叉引用、发现导航和用于调查代码关系的图形视图。该产品尤其面向需要可重复分析和编码实践合规证据的嵌入式及安全关键开发团队。

• 2018

  将Programming Research产品纳入Perforce产品组合并购

  背景

  Programming Research Limited开发并维护了QA·C及相关静态分析技术，用于软件质量和编码标准保证。

  采取的行动

  Perforce Software收购了Programming Research Limited，随后以Helix QAC品牌呈现QA·C。

  后续影响

  Helix QAC成为Perforce更广泛的软件开发工具组合的一部分。可用参考资料中未说明交易金额。

  来源

1. 1Helix QACen.wikipedia.org
2. 2Perforce Helix QAC product pageperforce.com