: 嵌入式目標(biāo)代碼的單元測試/集成測試工具

全面支持嵌入式微機(jī)！使用自動化單元測試工具逐個模塊驗證嵌入式 C/C++ 軟件實(shí)現(xiàn)

無需直接使用目標(biāo)代碼進(jìn)行單元測試

聯(lián)合靜態(tài)分析工具【】，提供C0（語句）、C1（決策）、MC/DC覆蓋率報告，優(yōu)化測試用例制作

汽車功能安全軟件工具第三方認(rèn)證機(jī)構(gòu)認(rèn)證產(chǎn)品匯總

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

產(chǎn)品特點(diǎn)

全面支持嵌入式微機(jī)！使用自動化單元測試工具逐個模塊驗證嵌入式 C/C++ 軟件實(shí)現(xiàn)

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

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

業(yè)內(nèi)唯一可以直接使用目標(biāo)代碼進(jìn)行單元測試的工具

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

無需建立專門的單元測試環(huán)境，可以在交叉編譯環(huán)境中進(jìn)行單元測試進(jìn)行開發(fā)

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

符合汽車功能安全標(biāo)準(zhǔn)要求的最佳工具()【直接使用目標(biāo)機(jī)器碼實(shí)現(xiàn)單元測試，無需處理】

它源自適用于汽車行業(yè)的功能安全標(biāo)準(zhǔn)。其中，Part.6-9【軟件程序單元測試】包括軟件程序的結(jié)構(gòu)覆蓋測試及相關(guān)規(guī)定。根據(jù)汽車安全標(biāo)準(zhǔn) (ASIL)，提出了測試語句覆蓋率 ( )、分支覆蓋率 ( ) 和 MC/DC 覆蓋率的建議。

另一個推薦的項目是

【盡量讓單元測試的環(huán)境和目標(biāo)環(huán)境一樣】

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

GAIO 提供的單元測試工具有

●使用完全支持嵌入式微機(jī)的微機(jī)化功能測試平臺環(huán)境

●無需插入測試代碼，直接用目標(biāo)機(jī)器碼進(jìn)行測試

特征，提供滿足標(biāo)準(zhǔn)要求的必要功能。GAIO 提供了業(yè)界唯一符合標(biāo)準(zhǔn)要求的工具[直接從整個代碼實(shí)現(xiàn)單元測試]。

關(guān)于汽車功能安全的對應(yīng)與認(rèn)證的取得

汽車功能安全軟件工具第三方認(rèn)證機(jī)構(gòu)認(rèn)證

2012年6月28日，“/”測試工具獲得德國第三方認(rèn)證機(jī)構(gòu)汽車功能安全規(guī)范軟件工具方面的認(rèn)證，這是包括日本在內(nèi)的亞洲地區(qū)首次獲得該認(rèn)證。

通過該認(rèn)證意味著我公司的單元測試工具“/”和程序分析工具“”是滿足靜態(tài)分析和單元測試領(lǐng)域所有安全級別的工具，并有認(rèn)證機(jī)構(gòu)的保證。

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

主要單元測試功能

采用托管單元測試

是用于管理單元測試和制作測試數(shù)據(jù)的應(yīng)用程序功能。從測試環(huán)境的設(shè)置到測試結(jié)果的上報win測試工具，通過微機(jī)化功能測試平臺（ISS）實(shí)現(xiàn)綜合管理。

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

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

自動生成 C0/C1 覆蓋率報告（標(biāo)準(zhǔn)功能）

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

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

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

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

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

單元測試的效率函數(shù)

結(jié)合程序分析工具，實(shí)現(xiàn)代碼引用分析工作的效率

使用該函數(shù)將生成的流程圖和模塊結(jié)構(gòu)圖（調(diào)用函數(shù)的結(jié)構(gòu)圖）與源代碼鏈接起來，使單元測試的源代碼分析工作更加高效。

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

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

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

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

為了實(shí)現(xiàn)C1/MCDC覆蓋，測試時需要結(jié)合各個功能的數(shù)據(jù)。使用提供的分析結(jié)果，分析條件網(wǎng)絡(luò)結(jié)構(gòu)以生成具有最小可重復(fù)性約束的 C1/MCDC 覆蓋測試數(shù)據(jù)。

支持主板

列表（）

行動環(huán)境

?操作PC/OS

?IBM PC/AT 兼容

?（同等）2GHz以上的CPU

?內(nèi)存512MB以上（推薦值）

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

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

本系統(tǒng)及軟件只用于個人封裝技術(shù)研究交流使用，不得用于商業(yè)用途，且本站不承擔(dān)任何技術(shù)及版權(quán)問題，請在試用后24小時內(nèi)刪除!