Helix QAC 軟體靜態測試工具

Mondo 科技 更新 2024-02-01

產品概述

Helix QAC是Perforce(原PRQA)的產品,主要用於C C++*的自動化靜態分析,可提供編碼規則和資訊保安相關檢查、質量測量、軟體結構分析、測試結果管理等功能。 Helix QAC 可準確識別軟體中的潛在問題,並通過ISO26262功能安全標準認證。 適用於自動駕駛領域,可以保證嵌入式軟體的質量,提高其抵禦黑客攻擊的能力。 Helix QAC 的主要模組是 QAC QAC++、Dashboard(以前稱為 QA Verify)和常見的行業規則包(如 MISRA C:2012、MISRA C++:2008、AUTOSAR C++、CERT、CWE 等)。

主要特點:

廣泛的程式設計規則。

QAC QAC++支援各種新的程式設計標準(MISRA C:2012,AUTOSAR C++,CERT,CWE等)和其他行業程式設計規則。 QAC QAC++ 可以發現 1,900 多個 C 語言問題和 1,400 多個 C++ 問題,包括編譯鏈結錯誤、語言規範違規、潛在的不確定行為和不安全的資料型別轉換。

自動檢查程式設計規則。

在工具中新增需要分析的檔案,配置相應的環境,執行一次即可分析所有新增的檔案,快速、簡單易用、易於理解、快速上手。

友好的幫助系統。

如果在檢查分析結果中的錯誤時不理解提示的錯誤,可以雙擊錯誤進入幫助系統。 除了提供錯誤描述外,幫助系統在大多數情況下都會提供乙個示例程式,可以幫助了解錯誤的原因,並根據示例修改自己的**。

提供對軟體結構的分析。

您可以分析軟體的結構,包括檔案之間的包含關係、函式之間的呼叫關係以及函式本身的結構。

提供軟體的質量分析。

採用國際標準的軟體質量測量方法和測量指標,對客戶的質量進行評價。 提供60多個指標進行評估,客戶可以輕鬆在每個指標之間切換。

自定義您自己的報告。

可實現固定模板報表的生成,也可根據使用者需求自定義報表內容。 它可以匯出 PDF 報告和 HTML 報告。

團隊 合作。 可實現版本管理、基線管理、使用者管理,插入注釋,實現團隊協作。

可持續整合。

支援命令列分析和與 Jenkins 等持續整合環境的整合。

資質證書

應用例項

相關問題答案

    軟體測試測試開發 軟體測試的基本概念

    在我們的各種應用程式中訪問每個 在過去的兩年裡,我們也看到了很多大廠商的APP存在問題,比如美團外賣,比如阿里雲 微信,而為了避免這些大問題,我們需要在軟體上線之前,盡可能地發現軟體問題,也就是我們所說的測試,也就是說,測試軟體,找到問題的原因,是我們軟體測試的目的。在了解什麼是軟體測試之前,我們必...

    準確測試工頻線路引數的最佳選擇

    準確測試工頻線路引數的最佳選擇 工頻線路引數的測試是電力系統中的一項重要任務,對保證電力系統的穩定執行起著至關重要的作用。但在實際測試過程中,由於各種因素的影響,往往導致測試結果不準確,影響電力系統的安全執行。因此,如何選擇最佳的測試方法,如何準確測試工頻線路引數,成為我們需要解決的最重要的問題。....

    軟體測試 測試開發 selenium NoSuchDriverException 問題已解決

    當我們使用 Selenium 進行 Web 自動化測試時,我們有時會遇到這種情況nosuchdriverexception此異常通常是由於 Web 驅動程式無法找到指定的瀏覽器驅動程式引起的。在這篇文章中,我們將討論nosuchdriverexception原因以及如何解決此問題。nosuchdri...

    要發現真實的自己,您可以嘗試以下 5 種測試工具

    你對自己有足夠清晰的認識嗎?使用這些工具,您可以深入研究自己的個性 情緒 思維方式和行為模式。無論您是在尋找自我意識還是探索職業可能性,這些性格測試工具都可以為您提供寶貴的見解和建議,幫助您更多地了解自己。MBTI Myers Briggs Type Indicator 是一種基於心理學的性格測試工...

    Web 自動化測試工具的重要作用是什麼?

    隨著網際網絡的飛速發展,Web應用已成為企業不可或缺的一部分。為了確保 Web 應用程式的質量和可靠性,Web 自動化測試工具變得至關重要。以下是 Web 自動化測試工具在軟體開發生命週期中扮演的角色 .提高測試效率和速度。Web 自動化測試工具可以快速執行大量測試用例,遠遠超過手動測試的效率。這有...