亚洲AV无码成H人动漫电影,免费H动漫无码AV动漫网站,亚洲H精品动漫在线观看

<optgroup id="bhqxm"></optgroup><ruby id="bhqxm"><font id="bhqxm"></font></ruby>

    <ol id="bhqxm"></ol>

    <span id="bhqxm"><output id="bhqxm"></output></span>

    <optgroup id="bhqxm"><em id="bhqxm"><del id="bhqxm"></del></em></optgroup>

      1. Helix QAC

        Helix QAC是權威的C/C++代碼合規性靜態分析工具,適用于對代碼的規范性和可靠性有較高要求的軟件系統。Helix QAC提供編碼規則檢查、數據流分析和代碼度量分析等全面的代碼靜態分析功能,可以自動檢測軟件中不規范的、不安全的、不明確的、不可移植的有關編碼風格、命名慣例、程序邏輯、語法和結構的代碼。Helix QAC現已廣泛支持MISRA C/C++, AutoSAR C++14, CERT C/C++, CWE C/C++, HiCPP, JSF等常用編碼規則集,并完全符合ISO 26262, ISO/SAE 21434, ASPICE, EN 50128, IEC 61508, IEC 60880, IEC 62304, DO-178B/C等研發標準對工具鑒定和認證的要求。


        憑借對權威代碼規則集的高準確率和覆蓋率的顯著優勢,Helix QAC已經成為高可靠性和安全性嵌入式軟件領域,尤其是汽車電子、軌道交通和航天航空領域最普遍使用和最權威的代碼靜態分析工具之一。研發團隊可以使用Helix QAC快速地滿足功能安全或適航等項目合規性的需要。

        ma_b2s1d1dl1.png

        核心價值

        • 自動實施統一的編碼規范,保證代碼的合規性

        • 快速發現代碼潛在的缺陷和錯誤,提高軟件質量

        • 優化代碼結構,提高代碼的可維護性

        • 提供權威的代碼合規性檢測報告,滿足標準認證要求

        • 分析軟件的安全性編碼規范

        • 潛移默化地提升開發團隊編碼能力

        • 顯著提高代碼走查的效率

        優勢和亮點

        • Helix QAC對常用編碼規范的支持更全面、準確和權威

        • 支持CERT C/C++, CWE C/C++, ISO/IEC TS 17961 (C secure)等安全規范集合

        • Helix QAC提供包含代碼規范檢查、數據流分析、代碼度量和代碼評審的完整代碼靜態分析能力

        • Helix QAC全面支持各種C, C++11, C++14, C++17, C++20各種版本的C/C++語言標準

        • Helix QAC提供豐富的第三方集成,支持常用的IDE和持續集成系統,如Eclipse, Visual Studio和Jenkins等

        • Helix QAC完全支持各種行業標準并提供第三方權威工具認證報告和鑒定包,包括DO-178B/C, ISO 26262, ISO/SAE 21434, IEC 61508, EN 50128, IEC 62304和IEC 60880等

        • Helix QAC全面支持MISRA C/C++, AutoSAR C++14, HiCPP, JSFAV C++等常用編碼質量編碼規范集

        • Helix QAC是第一個、也是最全支持AutoSAR C++14編碼規范集合的靜態分析工具

        • 支持對規則的自定義和啟用/禁用/抑制

        • 支持Windows和Linux等各種主機平臺,和超過30種常見的開發、編譯環境

        • 現代化的B/S+C/S部署方式,更便于團隊化部署和擴展

        • Helix QAC靜態分析準確率高、漏報率低

        • 分析速度快、簡單、易用,自動化程度高

        • Helix QAC提供多樣的報告和儀表板便于測試項目管理和測試結果追蹤

        主要功能

        • 編碼規范檢查

        • 數據流分析

        • 代碼度量分析

        • 編碼規則自定義

        • 測試結果評審

        • 報告平臺

        • 認證和鑒定

        • 編碼規范檢查

          Helix QAC提供超過2000條編碼規范,用戶可以根據規則的類型進行選擇,如代碼的命名、內存和資源使用、安全性、可移植性、未定義的行為、語言限制等各種類型。也可以利用Helix QAC針對不同的標準規范集合進行配置,如選擇MISRA C: 2004, 2012, MISRA C++: 2008, AutoSAR C++14, CERT C/C++, CWE C/C++, ISO/IEC TS 17961, HiCPP, JSF等,測試結果可以直接體現代碼對編碼規范的符合程度,并能從測試結果直接雙擊跳轉到代碼行,參考Helix QAC內建的幫助文檔可以直接對違規代碼進行修復。Helix QAC對編碼規范的檢查在規則的權威性、分析的準確性方面具有顯著的優勢。利用Helix QAC的編碼規則分析,研發團隊可以自動化地實施第三方合規、或客戶方要求,抑或是企業自身的統一編碼規范要求,保證代碼的統一性、可靠性和可維護性。

          Helix QAC
        • 數據流分析

          Helix QAC利用數據流分析的功能,自動檢測軟件代碼質量缺陷??珙?、跨文件地靜態分析軟件的潛在缺陷和錯誤,比如空指針異常、數組越界、除零、移位運算、線程死鎖等,并顯示錯誤觸發的詳細堆棧信息。Helix QAC的數據流分析功能還支持用戶自定義分析深度,以便在分析深度和效率之間合理平衡。Helix QAC的數據流分析準確度高、漏報少。利用Helix QAC的數據流分析功能,研發人員可以在后期動態測試之前,包括單元測試、集成測試和系統測試等,就通過靜態分析的方式快速檢測軟件的運行時錯誤,大大減輕了后期測試的壓力,降低了調試、修復后期測試中bug的成本。

          Helix QAC
        • 代碼度量分析

          Helix QAC的代碼度量分析功能支持全方位地統計軟件代碼的指標和結構,如常用的函數圈復雜度(STCYC)、最深的嵌套數(STMIF)、文件中的外部變量數(STECT)、未預處理的代碼行數(STTPP)等等幾十個不同級別的度量指標。Helix QAC支持研發團隊按項目、模塊、文件、函數、類等分別查看不同級別的指標,并能顯示歷史記錄曲線分析圖。Helix QAC還能對頭文件的包含關系和函數的嵌套關系能提供直觀的圖表。Helix QAC的代碼度量分析功能可以幫助研發人員快速厘清現有代碼結構,并針對結構不合理、過于復雜的代碼塊進行定位和優化。

          Helix QAC
        • 編碼規則自定義

          Helix QAC支持用戶自定義編碼規則,以滿足個性化的使用需求。用戶可以使用Helix QAC通過新增、修改規則參數,創建自定義的消息規則,最終形成企業量身定制的編碼規范集。另外,考慮到企業引入編碼規范往往不是一成不變的,可能會因為不同的項目需求,或不同項目團隊的開發習慣而不斷變化,Helix QAC提供編碼規則自定義功能有效地滿足了用戶不斷地修改、優化編碼規范集的需要。

          Helix QAC
        • 測試結果評審

          Helix QAC提供統一的基于Web的測試結果評審平臺。研發人員可以利用Helix QAC對每一條靜態檢測的結果進行評審、溝通或注釋。提高測試溝通的效率,促進測試結果的及時修改或確認。在Helix QAC的評審過程中,用戶還可以單獨對某一條認為不需要修改的測試結果進行抑制,滿足個性化的使用場景。

          Helix QAC
        • 報告平臺

          Helix QAC提供桌面客戶端和中央Web報告平臺兩種報告方式,中央Web報告平臺QA-Verify顯示了集中的代碼靜態分析的每個項目的測試結果,及各種統計報告和儀表板,用戶只需要通過瀏覽器用自己的賬號登陸中央Web報告平臺即可查看詳細信息,無需自行安裝和配置Helix QAC工具,使用效率更高。用戶也可以利用Helix QAC的桌面端的軟件自行檢測和查看結果,桌面端產生的測試結果也可以上傳到中央Web報告平臺,與團隊共享。Helix QAC的中央Web報告平臺還可與現有Microsoft Active Directory或LDAP集成,方便與現有的用戶管理系統對接,便于團隊化使用。

          Helix QAC
        • 認證和鑒定

          Helix QAC通過了多種行業的認證和鑒定,由國際權威的第三方機構TüV-SüD 針對ISO 26262, IEC 61508, EN 50128, IEC 62304和IEC 60880等標準對Helix QAC做了嚴格的認證,以滿足相關行業的功能安全合規性要求。對于這些有功能安全要求的項目,Helix QAC可以提供安全手冊和權威的認證證書。對于航空航天行業的項目,Helix QAC能按照DO-330標準提供符合DO-178B/C認證要求的工具適航鑒定包。Helix QAC還通過ISO 9001認證,ISO 9001是廣泛采用的標準,確保產品通過持續改進努力滿足并超越客戶的要求和滿意度。

          Helix QAC

        支持的環境

        Helix QAC所支持的安裝平臺:

        Windows/Linux/Solaris主流版本

        Helix QAC所支持的C/C++編譯器系列:


        VisualDSP

        GCC

        arm-none-eabi-gcc

        IAR

        COSMIC

        KEIL

        Cypress

        MPLAB

        Freescale_CW

        Visual Studio

        GHS

        QNX

        Customized compliers

        其它常用商用編譯環境

        相關資源

        • 白皮書

        • 博客

        • 新聞資訊

        • 修復和預防Bug的成本量化對比_白皮書

          點擊下載

        • 通過靜態分析和持續集成保證代碼的質量_白皮書

          點擊下載

        • 實施代碼靜態分析的投資回報率_白皮書

          點擊下載

        • 《MISRA-C合規檢驗工具對比研究》摘要_白皮書

          點擊下載

        RELATED RESOURCES

        下載申請

        是否需要技術支持

        驗證碼

        溫馨提示:

        我們將通過電子郵件向您發送下載地址,請核對您填寫的工作郵箱是否正確。

        提 交

        亚洲AV无码成H人动漫电影,免费H动漫无码AV动漫网站,亚洲H精品动漫在线观看