• <th id="g1iou"></th>
    <li id="g1iou"></li>

  • <dd id="g1iou"></dd>
      <dd id="g1iou"><center id="g1iou"></center></dd>

        <progress id="g1iou"><big id="g1iou"></big></progress>

      1. <span id="g1iou"></span>

        裝備電子系統的研發、測試、保障解決方案中心

        Cantata Hybrid-為Google Test套件帶來獨特的安全標準合規性
        產品中心 Cantata Hybrid-為Google Test套件帶來獨特的安全標準合規性
        產品概述

               Cantata Hybrid是Cantata的一個子集,它使用非Cantata測試套件(即Google Test和Google Mock)作為輸入運行測試,借由經過認證的單元測試工具,生成Cantata的測試結果證據連同代碼覆蓋率。
               Cantata核心產品,包括Cantata Hybrid,已經獲得SGS-TüV GmbH的獨立認證,適用于所有主要的軟件功能安全標準的最高安全完整性級別。
               Cantata和Google Test的混合體為Google Test提供了一個完全自動化的認證引擎。

               Cantata Hybrid不要求用戶學習Cantata或修改他們現有的Gtest套件或mock對象以及它們是如何構建和運行的。


        圖片1.png

        經過認證的Cantata測試結果
        對每個Gtest - 包括以ASCII和HTML格式實現的聚合代碼覆蓋率


        功能特性

        Cantata Hybrid是如何工作的
               Cantata Hybrid是在命令行中以批處理腳本運行的,它利用經過認證的核心組件Cantata編譯器驅動和插裝器(CPPCCD)來設置Cantata指令和參數,包括代碼覆蓋率,以從在GoogleTest套件中定義的輸入來構建一個測試執行。
               針對目標環境部署的Cantata庫被與源代碼和GoogleTest套件鏈接,當Hybrid測試運行時,它會并行執行GoogleTest套件中的所有GoogleTest和GoogleMock宏及其等效的Cantata測試框架指令,收集每個測試實現的Canata代碼覆蓋率。
               Cantata Hybrid并行運行標準Google測試和等效的Cantata測試,為每個測試生成結果,以及所有測試套件的詳細和聚合的代碼覆蓋率結果。覆蓋率報告是使用Cantata實用程序(CPPGETCOV)以經過認證的格式生成的。

        圖片2.png

        每個Gtest宏映射到等效的Cantata指令

        測試運行在主機或目標平臺
               Cantata Hybrid下的Google測試可以在任何提供Cantata目標特定部署的目標平臺上運行(模擬器、仿真器或物理目標板)。當在目標上運行測試時,功能和代碼覆蓋率測試結果將被定向回主機以生成報告。
               被測源代碼的副本會被使用Cantata測試指令和代碼覆蓋率進行插裝,確保生產代碼永遠不會因測試而被修改。

        圖片3.png

        為何為Google Test使用經過認證的引擎
        安全標準要求使用認證工具
               所有主要的安全相關標準都要求所有測試工具都應證明其適用于驗證安全關鍵應用軟件。這可以通過工具鑒定或使用預先認證的工具來實現,具體取決于標準。
               Google Test和Google Mock是未經認證的開源xUnit風格工具。Google不在安全關鍵軟件市場運營,因此不提供工具資格認證包或工具合格審定包。
               大多數商業單元測試供應商,包括QA Systems,已經為其工具(如Cantata)獲得了獨立認證,或者在必要時支持用戶對其工具進行資格認證(如DO-178C)。
        GTest工具的合格審定比較昂貴
               Google Test和Google Mock等開源工具可以由最終用戶進行資格認證。然而,與此相關的成本可能非常昂貴和耗時,因為它涉及:
               ● 為使用的所有工具特征定義需求
               ● 安排測試證明所有特征在工具的操作環境中符合需求
               ● 為每個工具版本和工具使用環境維護資格認證數據
               ● 為獨立的第三方組織支付費用,為你執行上述任務
               出于上述原因,大多數安全關鍵軟件的開發者不對GoogleTest和GoogleMock進行認證,而是采用一個已經得到認證的測試工具,如Cantata。
        GTest工具合格審定替代方案
               一種選擇是使用預先認證或合格的單元測試工具(如Cantata)重寫現有的GTest。然而,根據現有的GTest的數量,這可能是一個昂貴的測試遷移選項。
               Cantata Hybrid是Google Test的自動化認證引擎,為GTest和GMock工具的昂貴工具認證提供了一種更具成本效益的替代方案。
               Cantata Hybrid是經過認證的Cantata工具的一個子集,它提供了一種獨特的方法來執行現有的谷歌測試,而無需在經過認證的Cantata工具中進行任何修改。它產生所有必要的認證測試和代碼覆蓋率結果,以符合安全標準。
        經過認證的測試和代碼覆蓋率結果
               作為Cantata的組成部分,Cantata Hybrid已經獲得SGS-TüV GmbH的獨立認證,適用于所有主要的軟件功能安全標準的最高安全完整性級別。
               覆蓋率指標:
               ● 入口點
               ● 調用返回
               ● 語句
               ● 基本塊
               ● 判斷(分支)
               ● 條件
               ● MC/DC
               ● 循環
               ● 關系運算符

        主要優勢
               ● 較GoogleTest工具合格審定價格便宜
               Cantata Hybrid的價格遠低于GoogleTest和GoogleMock為符合安全標準而進行認證的成本。
               ● 不需要遷移或修改Google Tests
               Cantata Hybrid無改變地使用Google Test套件,所以團隊能夠維護他們現有的并開發新的Google測試。
               ● 不需要學習新的測試工具
               使用Cantata Hybrid從命令行運行Google測試的方法很簡單,經過認證的測試和代碼覆蓋率結果將自動生成。
               ● 不需要一個認證的代碼覆蓋率工具
               gcov(GNU覆蓋率工具)也是一個未經認證的代碼覆蓋率工具。Cantata Hybrid覆蓋率經過認證,并根據MC/DC的所有標準指標檢查100%的代碼覆蓋率。
               ● 使用標準的Cantata進行擴展
               當現有的Google測試沒有達到100%代碼覆蓋時,標準的Cantata(包括了AutoTest)能夠彌補這些覆蓋率缺陷,使用與Cantata Hybrid相同格式的報告。
               ● 多平臺可用
                  ■ Cantata Hybrid沒有平臺許可的限制,支持:
                  ■ Windows或Linux平臺的GoogleTest v1.13版本以上
                  ■ g++版本直到v13.2和Visual Studio直到2019
                  ■ Cantata目標部署所支持的任何嵌入式目標環境(交叉編譯的仿真器、模擬器、物理硬件)
                  ■ Visual Studio Code(Cantata CTR VSCode擴展)



        国产原创51蜜桃果冻在线