Helix QAC — 軟體靜態測試工具

HirainTeco發表於2020-04-27

        Helix QAC 是Perforce 公司(原PRQA 公司)產品,主要用於C/C++ 程式碼的完全自動化靜態分析工作,可以提供編碼規則檢查、程式碼質量度量、軟體結構分析、測試結果管理等功能。Helix QAC 能夠全面而準確地發現軟體中潛在的問題,自身符合ISO26262 功能安全標準認證。目前已廣泛應用於汽車、電子商務、醫療器械、生產和通訊等領域。


        Helix QAC 主要模組為QAC/QAC++、QA Verify、以及常用行業規則包(如MISRA C:2012、MISRA C++:2008、AUTOSAR C++、CERT、CWE 等)。


產品介紹

•  QAC/QAC++ 主要功能

       程式碼自動審查

        QAC/QAC++ 能夠對C/C++ 程式碼規則進行自動檢查,報告所違反的程式設計標準和準則,減少程式碼審查所需的時間,使軟體工程師在開發階段就可以避免程式碼中的問題。


  


     全面的規範支援

        QAC/QAC++全面支援多種新程式設計標準(MISRA C:2012、MISRA C++:2008 等), 及其他多種行業程式設計規則。QAC/QAC++ 能夠發現1700 多種C 語言問題、1300 多種C++ 的問題,並提供方便的二次開發介面,可以讓軟體質量工程師定製符合自身要求的規範。

       科學的質量度量

        QAC/QAC++ 提供權威的度量指標分析能力,包括60 多種C 語言度量和20 多種C++ 度量,為處於不同成熟度企業的軟體質量改進提供客觀準確的依據,幫助企業從宏觀上把控軟體質量。

       靈活的測試管理

        QAC/QAC++ 能夠對全生命週期的測試過程提供程式碼質量管理解決方案。透過QA Verify 外掛,開發經理可以隨時透過網頁監控專案質量趨勢,跟蹤缺陷狀態、管理程式碼質量、分配工作任務、定義複合度量、對比分析質量、定製生成質量報告,並和Baseline 外掛一起,進行測試的版本管理和控制。


•  QA Verify 主要功能

        QA Verify 可以與第三方持續整合外掛(如Jenkins)整合,在伺服器端進行程式碼集中、定時測試,測試後將結果分發給團隊裡的不同角色,同時提供了良好的團隊協作、版本管理、報告匯出等功能。



•  QA Framework 主要功能

        QA Framework 是PRQA 公司於2013 年10 月釋出的一個新模組,它將QAC/QAC++ 的使用者介面又封裝了一層,在新的使用者介面上支援更多操作,比如可以同時使用QAC 和QAC++ 的分析器,不再需要單獨使用兩個軟體;再如使用者可以在QAC/QAC++ 的介面上直接修改原始碼等。QA Framework的主要功能有:

         新的使用者介面

        1.  使用者可以直接在QA Framework介面中修改原始碼

        2.  交叉平臺命令列介面

       與Visual Studio和Eclipse完全整合

       允許工程中同時含有C檔案和CPP檔案

       更方便地儲存和釋出QAC/QAC++工程檔案



來自 “ ITPUB部落格 ” ,連結:http://blog.itpub.net/31536169/viewspace-2688609/,如需轉載,請註明出處,否則將追究法律責任。

相關文章