1. 程式人生 > >Helix QAC/QAC++ — 軟體靜態測試工具

Helix QAC/QAC++ — 軟體靜態測試工具

概述
美國Perforce公司(原PRQA公司)是被世界範圍內的高階軟體開發人員、行業專家、標準團體認可的程式設計標準專家。在靜態審查方面,為廣大使用者提供相關的自動化測試及管理工具,並結合客戶需求提供專業的解決方案。其主打產品Helix QAC/QAC++是一個完全自動化的程式碼靜態分析工具,可以提供編碼規則檢查、程式碼質量度量、軟體結構分析等功能,Helix QAC/QAC++能夠全面而準確地發現軟體中潛在的問題,自身符合ISO26262 功能安全標準認證。目前Helix QAC/QAC++廣泛應用於汽車、航空航天、電子商務、醫療器械、生產和通訊等領域。

產品介紹
• Helix QAC/QAC++主要功能
♦ 程式碼自動審查
Helix QAC/QAC++能夠對C/C++ 程式碼規則進行自動檢查,報告所違反的程式設計標準和準則,減少程式碼審查所需的時間,使軟體工程師在開發階段就可以避免程式碼中的問題。
在這裡插入圖片描述


♦ 全面的規範支援
Helix QAC/QAC++全面支援多種最新程式設計標準(MISRA C:2012、MISRA C++:2008、GJB5369 、CWE C、CERT C/C++、Autosar C++、JSF++、HIC++等),及其他多種行業程式設計規則。Helix QAC/QAC++能夠發現1900 多種C語言問題、1400 多種C++ 的問題,並提供方便的二次開發介面,可以讓軟體質量工程師定製符合自身要求的規範。
♦ 科學的質量度量
Helix QAC/QAC++提供權威的度量指標分析能力,包括60 多種C 語言度量和20 多種C++ 度量,為處於不同成熟度企業的軟體質量改進提供客觀準確的依據,幫助企業從巨集觀上把控軟體質量。
♦ 靈活的測試管理
Helix QAC/QAC++能夠對全生命週期的測試過程提供程式碼質量管理解決方案。通過QA Verify 外掛,開發經理可以隨時通過網頁監控專案質量趨勢,跟蹤缺陷狀態、管理程式碼質量、分配工作任務、定義複合度量、對比分析質量、定製生成質量報告,並和Baseline 外掛一起,進行測試的版本管理和控制。

• QA Verify 主要功能
QA Verify 可以與第三方持續整合外掛(如Jenkins)整合,在伺服器端進行程式碼集中、定時測試,測試後將結果分發給團隊裡的不同角色,同時提供了良好的團隊協作、版本管理、報告匯出等功能。
在這裡插入圖片描述
• QA Framework 主要功能
QA Framework 是Perforce公司於2013 年10 月釋出的一個新模組,它將Helix QAC/QAC++的使用者介面又封裝了一層,在新的使用者介面上支援更多操作,比如可以同時使用Helix QAC/QAC++的分析器,不再需要單獨使用兩個軟體;再如使用者可以在Helix QAC/QAC++的介面上直接修改原始碼等。QA Framework的主要功能有:
♦ 新的使用者介面
►使用者可以直接在QA Framework介面中修改原始碼
►交叉平臺命令列介面
♦ 與Visual Studio和Eclipse完全整合
♦ 允許工程中同時含有C檔案和CPP檔案
♦ 更方便地儲存和釋出Helix QAC/QAC++工程檔案
在這裡插入圖片描述