原PRQA动态测试软件产品线（包含QA-C、 QA-C++、QA-Verify等），对立更名为“Helix QAC”,PRQA的代码动态剖析工具可能帮忙企业开发团队进步代码的品质和平安，缩短软件开发所需的工夫，HelixQAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等畛域。
HelixQAC
HelixQAC是动态代码剖析工具，根据C和C++编码规定主动扫描代码对规定的违反。开发团队在开发过程的晚期就能够用它来检测缺点，因为此时批改代码是最不便也最经济的。Helix QAC因而自动化强制施行代码编程规范，比方MISRA，保障代码的合规性。
性能个性
◆ 遵循代码规范
遵循编码和工业规范。Helix QAC主动审查代码，确保它们合乎用户抉择的编码标准。合规性报告可视化地揭示用户哪些代码须要多加注意。Helix QAC反对多种C和C++编码标准，提供相应的合规性模块，也反对规范的客户化定制。
◆ 查看更多缺点
在开发晚期查看编译器没有发现的要害缺点。Helix QAC为用户的软件建设了准确的行为模型，跟踪代码中的变量值，如同运行时一样。因而这种剖析最大化地笼罩了代码，使误报和漏报最低。它甚至能辨认极其简单的代码引起的问题。
◆ 进步代码品质
提供任何应用程序的整体品质和平安。Helix QAC辨认必须批改的缺点，提供具体的领导帮忙开发人员批改问题。这是不须要运行程序的。开发人员既然取得了即时的上下文反馈，他们将因而从谬误中取得学习，下一次编写新的代码（或者评审代码）时，能力将失去晋升。
◆ 协同代码审查
Helix QAC的仪表盘提供了协同代码审查的能力，用户可能在Helix QAC查看出的诊断上增加注解，为其余用户调配须要他们采取的动作。
◆ 适应数百万行代码
让动态剖析适应你的环境。Helix QAC有能力解决数百万行代码，保障你的产品无论代码由如许简单它都是平安的。
◆ 重用代码
重用品质信得过的代码。Helix QAC检测代码移植性问题，所以你能重用让你释怀的代码，帮忙你的疾速开发。
◆ 减速开发过程
升高瓶颈减速开发。Helix QAC能集成在构建零碎和继续集成环境中，尽早且频繁地发现缺点，从而防止了在开发前期往往须要破费甚巨的谬误。它也减速了以后代码的评审，你甚至能够只让它查看新的代码变动，疾速提供反馈。
◆ 监督整体代码品质
应用Helix QAC的仪表盘监督代码品质。你可能用它监督代码品质度量，取得品质趋势。仪表盘还能帮你为利益相干方创立属于他们的报告。
编程规范合规性
● MISRA
① MISRA编码标准查看平安要害零碎的潜在问题。MSIRA C和MISRA C++合规性模块指出违反这些规定的代码段。
② MISRA C模块强制施行MISRA C:1998、MISRA C:2004和MISRA C:2012。
③ MISRA C++模块强制施行MISRA C++:2008。
④ 在MISRA规定查看方面，Helix QAC的准确性远高于其余工具。它对规定的违反划分出重大度的优先级，你能够据此批改最重要的问题。
MISRA C
MISRA C++
● AUTOSAR
① 自动化查看AUTOSAR C++编码标准的合规性。
② AUTOSAR编码规定辨认C++14的平安问题。
③ AUTOSAR C++模块指出违反这些规定的代码段。
AUTOSAR
● CERT
① 主动查看代码对CERT C和C++规范的合规性。
② CERT编码规定辨认代码中的安全漏洞。
③ CERT C和C++合规性模块指出违反这些规定的代码段，帮忙你打消未定义的行为，利用平安编码的最佳实际
④ Helix QAC通过具体的阐明和示例，帮忙你优先解决最重大的问题。所以你将能开发安全可靠的软件系统，且可能追踪和报告CERT合规性。
调用树
CERT C++
● CWE**
① 主动查看代码是否属于CWE平安脆弱性列表里的行为。
② CWE辨认C和C++中常见的平安脆弱性。
③ CWE合规性模块指出代码是否有这些行为，有助于用户优先解决要害谬误，晋升代码整体品质。
热点图
CWE C++
● HIC++
① 主动查看代码是否合乎High Integrity C++编码标准，它是原PRQA代码专家开发的规范。
② HIC++规范确保C++11和C++14的高质量代码。
HIC++
● JSF AV C++
① 主动查看代码是否合乎Joint Striker Fight Air Vehicle（JSF AV）C++编码标准。
② JSF AV C++用于平安要害的开发。Helix QAC提供了对该规范规定的了解最为粗浅的诊断信息。
JSF AV C++
● 客户化规定
① 主动查看代码是否合乎定制规定。
② 你可能为你本人的C/C++编码规定定制一个合规性模块，Helix QAC主动施行这些规定。
Helix-qac
动态剖析优越性
\ 编码问题的晚期检测
在新的代码和以前的代码中发现编码问题。比拟其余动态代码分析器，Helix QAC发现更多的编程谬误，包含C/C++的未定义或未指定的行为，且实用于数百万行的大型项目。
\ 危险优先级**
以危险的重大水平划分编码问题的优先级。Helix QAC应用过滤器、克制和基线的伎俩帮忙你关注最为要害的代码缺点，提供准确的诊断和可操作的后果。用户因而可能首先批改最重要的问题。
\ 打消安全漏洞
在源代码上打消安全漏洞。编程谬误往往导致犯罪分子利用软件中的破绽窃取信息，但Helix QAC使你看到并管制编程谬误，因而能在源代码级别上就打消了破绽。
\ 协同代码审查
协同代码审查，包含人工的和主动的动态剖析。你可能为团队成员分配任务。
\ 监控代码品质
监控代码整体品质。Helix QAC确保团队所有成员应用的是统一的编码规定，你能管制规定的偏离和诊断的克制，也能测量、跟踪和记录品质度量及其趋势。
\ 集成其它工具集
将动态代码剖析集成到其它开发工具。Helix QAC反对大多数编译器。你能够把它集成到许多开发工具中，包含集成开发环境（比方Microsoft Visual Studio）、版本控制系统（比方Helix Core）、以及继续集成构建服务器（比方Jenkins）。
工业规范认证
Helix QAC通过了独立的规范认证，Helix QAC是由Programming Research开发的，后者当初是Perforce的组成之一。
SGS-TÜV Saar认证
Helix QAC通过SGS-TÜV Saar合乎如下性能平安规范：
· ISO 26262 (automotive) up to ASIL level D.
· IEC 61508 (general industrial) up to SIL 4.
· EN 50128 (railways) up to SW-SIL 4.
· IEC 62304 (medical devices) up to Software Safety Class C.
· IEC 60880 (nuclear power).
ISO 9001 | TickIT认证
Helix QAC也通过了ISO 9001 | TickIT plus Foundation Level认证。
ISO 9001是广被采纳的规范，确保企业组织通过继续改良来满足和超过客户的需要和满意度。
提供代码检测的厂商：http://www.softtest.cn/
代码检测工具列表：http://www.softtest.cn/multi/435.html
工具介绍：http://qa-systems.cn/multi/575.html
工具试用链接：http://qa-systems.cn/info/532.html