: 嵌入式目標代碼的單元測試/集成測試工具

全面支持嵌入式微機！使用自動化單元測試工具逐個模塊驗證嵌入式 C/C++ 軟件實現

無需直接使用目標代碼進行單元測試

聯合靜態分析工具【】，提供C0（語句）、C1（決策）、MC/DC覆蓋率報告，優化測試用例制作

汽車功能安全軟件工具第三方認證機構認證產品匯總

[]是一款嵌入式軟件自動化單元測試工具，基于嵌入式軟件功能實現模塊單元測試和C0/C1/MCDC覆蓋測試（test）。目標機源代碼通過交叉編譯器生成目標機執行代碼，并通過與實際處理器相同的模擬處理器環境進行單元測試，無需對執行代碼做任何改動，使得模塊測試成為可能具有高可靠性。在汽車控制軟件等對安全性要求極高的領域，單元測試已經成為不可或缺的一部分。還使用目標代碼進行單元測試，以符合汽車行業的功能安全認證標準。

產品特點

全面支持嵌入式微機！使用自動化單元測試工具逐個模塊驗證嵌入式 C/C++ 軟件實現

【單元測試】在嵌入式開發領域被廣泛重視，作為一種檢測方法，可以檢測出單靠系統測試和整體測試無法發現的【潛在錯誤】。同時，單元測試也是汽車軟件功能安全領域需要實施的認證項目之一（）。

[ ] 直接使用交叉編譯生成的目標機器代碼在模擬處理器環境中進行單元測試。它不僅可以實現C語言程序的邏輯單元驗證，而且可以對嵌入式微機組裝成產品后可能出現的問題進行高可靠性的白盒測試。

業內唯一可以直接使用目標代碼進行單元測試的工具

一些公司的單元測試工具經常采用在被測對象的源代碼中添加測試代碼或測試驅動的方法，導致測試時使用的代碼與組裝成產品后的目標機器代碼不同。雖然【理論上操作功能應該是一樣的】，但從嵌入式開發的角度來看，就像是處理交叉編譯生成的優化代碼，無法保證最終產品的質量。它是業界唯一具有實現單元測試功能的工具[無需對被測對象進行任何處理]，特別是在安全要求高的領域獲得了很高的評價。

無需建立專門的單元測試環境，可以在交叉編譯環境中進行單元測試進行開發

無需添加任何測試驅動程序或測試代碼，可以直接使用將組裝成產品的目標代碼進行單元測試。單元測試可以使用與軟件開發共同的交叉編譯環境，不再需要對測試資源進行特殊管理或建立其他特殊環境。因此，便于程序資源管理win測試工具，可以縮短準備測試環境所需的時間。

符合汽車功能安全標準要求的最佳工具()【直接使用目標機器碼實現單元測試，無需處理】

它源自適用于汽車行業的功能安全標準。其中，Part.6-9【軟件程序單元測試】包括軟件程序的結構覆蓋測試及相關規定。根據汽車安全標準 (ASIL)，提出了測試語句覆蓋率 ( )、分支覆蓋率 ( ) 和 MC/DC 覆蓋率的建議。

另一個推薦的項目是

【盡量讓單元測試的環境和目標環境一樣】

規定。如果在與目標環境不同的環境中進行單元測試，則必須顯示源代碼和目標代碼之間的差異，以及目標環境和測試環境之間的差異。因此，對于使用與目標微機不同的計算機進行編譯和單元測試的其他公司的工具，很難滿足這一要求。雖然有些公司的單元測試工具包含了交叉編譯環境和編譯功能，也可以在和目標環境相同的環境下進行測試，但是所有的測試都需要插入測試代碼重新編譯，所以測試只能實現在與目標環境不同的環境中。

GAIO 提供的單元測試工具有

●使用完全支持嵌入式微機的微機化功能測試平臺環境

●無需插入測試代碼，直接用目標機器碼進行測試

特征，提供滿足標準要求的必要功能。GAIO 提供了業界唯一符合標準要求的工具[直接從整個代碼實現單元測試]。

關于汽車功能安全的對應與認證的取得

汽車功能安全軟件工具第三方認證機構認證

2012年6月28日，“/”測試工具獲得德國第三方認證機構汽車功能安全規范軟件工具方面的認證，這是包括日本在內的亞洲地區首次獲得該認證。

通過該認證意味著我公司的單元測試工具“/”和程序分析工具“”是滿足靜態分析和單元測試領域所有安全級別的工具，并有認證機構的保證。

ISO 26262 要求開發人員為不同開發軟件工具的工具置信級別 (TCL) 開發軟件工具提供認證。該認證適用于工具認證中最復雜的TCL3工具認證標準。因此，引入公司的單元測試工具后，無需對TCL部分進行認證，可以減少程序和時間。

主要單元測試功能

采用托管單元測試

是用于管理單元測試和制作測試數據的應用程序功能。從測試環境的設置到測試結果的上報win測試工具，通過微機化功能測試平臺（ISS）實現綜合管理。

使用通用且方便的 CSV 文件管理測試數據的輸入和輸出

無需插入測試代碼，直接使用目標機器代碼進行單元測試。用于功能測試的輸入和輸出數據使用通用且方便的 CSV 文件進行管理。測試結束后，輸出的測試結果和輸出期望值也會以同樣的格式顯示在CSV文件中。

自動生成 C0/C1 覆蓋率報告（標準功能）

根據測試的輸入輸出數據，自動上報對應源代碼的C0/C1測試覆蓋率結果。包括通過 graph() 顯示測試數據的能力，及其對應的被測源代碼路徑，用于分析測試結果。MC/DC 覆蓋測試功能也作為可選功能包括在內。

MC/DC覆蓋自動測試功能（選項功能）

提供 MC/DC 覆蓋測試功能作為可選功能。C0/C1覆蓋測試可以直接使用目標機器碼，無需處理。但是，MC/DC覆蓋測試需要對復合條件表達式自動插入和分解復合條件表達式，以便對每個條件表達式進行測試。這可能導致測試代碼和目標機器代碼之間的差異。為了驗證有效性，在進行MC/DC覆蓋測試的同時，運行目標機器代碼win測試工具，確認運行結果與預期值的一致性。

注意：右邊的例子表明，在第二個if語句的復合條件表達式中，[gbc>30]為false時的分支沒有被測試。對于C1覆蓋測試，其測試結果OK；對于 MC/DC 覆蓋率測試，其結果為 NG。

注意：MC/DC 覆蓋測試功能不支持 C++ 程序。

單元測試的效率函數

結合程序分析工具，實現代碼引用分析工作的效率

使用該函數將生成的流程圖和模塊結構圖（調用函數的結構圖）與源代碼鏈接起來，使單元測試的源代碼分析工作更加高效。

可自動檢索被測函數的外部變量，使測試條件的設置更高效

一種聯合程序解析工具，可自動檢索被測函數使用的外部變量。減少搜索源代碼以查找輸入條件的變量所需的工作。此外，還可以防止因手動操作導致變量指定遺漏等錯誤。

根據代碼分析自動制定C0、C1、MC/DC覆蓋測試計劃

結合程序分析工具，可以自動生成滿足覆蓋測試要求的條件分支if、for、while等測試數據。被測函數中包含的條件表達式（if 等）可以列在數據圖（）上。點擊其中一個條件，工具會自動開始檢索與其相關的變量，然后根據設置條件的閾值自動生成覆蓋測試所需的數據。

為了實現C1/MCDC覆蓋，測試時需要結合各個功能的數據。使用提供的分析結果，分析條件網絡結構以生成具有最小可重復性約束的 C1/MCDC 覆蓋測試數據。

支持主板

列表（）

行動環境

?操作PC/OS

?IBM PC/AT 兼容

?（同等）2GHz以上的CPU

?內存512MB以上（推薦值）

?顯示分辨率XGA（1024*768）或更高（推薦值）

? XP, , 7 (32bit/64bit) (※ 95/98/Me/NT/2000 不支持)

本系統及軟件只用于個人封裝技術研究交流使用，不得用于商業用途，且本站不承擔任何技術及版權問題，請在試用后24小時內刪除!