- 嵌入式軟件測(cè)試

　　單元測(cè)試

　　單元測(cè)試方案之一采用IPL公司的Cantata++測(cè)試工具，它能夠滿足開發(fā)者進(jìn)行高效的單元測(cè)試和集成測(cè)試要求，能夠提高測(cè)試效率，具有一整套包含測(cè)試、覆蓋率分析和靜態(tài)分析的功能。Cantata++含有以下幾個(gè)主要部分：

　　CTH測(cè)試功能庫(kù)，Cantata++通過CTH提供的測(cè)試函數(shù)執(zhí)行測(cè)試，提供測(cè)試所需用例的輸入輸出，并檢查輸出結(jié)果是否符合要求，給出合格/不合格的確切結(jié)果。打樁、封裝和動(dòng)態(tài)分析的執(zhí)行也是利用CTH。

　　Cantata++主程序包括測(cè)試腳本自動(dòng)生成器和管理器。測(cè)試腳本生成工具通過分析源代碼得到參數(shù)和數(shù)據(jù)信息，連同自動(dòng)產(chǎn)生的Stub打樁函數(shù)和Wrap封裝函數(shù)，自動(dòng)生成到測(cè)試腳本中。測(cè)試腳本完全使用C或C++語言構(gòu)成，可重用。通過使用測(cè)試腳本管理器可以自動(dòng)完成測(cè)試用例定義到測(cè)試腳本的轉(zhuǎn)換。對(duì)于熟練的用戶，可以直接利用CTH提供的庫(kù)函數(shù)，直接編寫C或C++語言的測(cè)試腳本。

　　完全支持白盒測(cè)試和黑盒測(cè)試技術(shù)，通過腳本檢查所有標(biāo)準(zhǔn)的和用戶定義的類型，對(duì)期望和不期望的異常進(jìn)行檢查;重用繼承類和模板實(shí)例的測(cè)試用例;為所有預(yù)期結(jié)果和實(shí)際結(jié)果的檢查進(jìn)行詳細(xì)的測(cè)試分析。支持覆蓋率分析，提供從語句覆蓋級(jí)到MC/DC （DO-178B A）標(biāo)準(zhǔn)的度量。

　　集成測(cè)試

　　集成測(cè)試是軟件的單元測(cè)試完成后進(jìn)行的。Cantata++同樣支持集成測(cè)試方法，進(jìn)行調(diào)用序列，傳遞參數(shù)的檢查。并且提供獨(dú)特的封裝功能，完成硬件錯(cuò)誤注入的測(cè)試。提供Wrap技術(shù)，相對(duì)于打樁函數(shù)stub，封裝函數(shù)，Wrap技術(shù)有以下優(yōu)勢(shì)：

　　1） 在被測(cè)模塊中采用模擬的誤碼，避免真實(shí)代碼的執(zhí)行。模擬硬件問題，進(jìn)行逆向測(cè)試。

　　2） 可以校驗(yàn)集成調(diào)用的執(zhí)行過程Call 序列，允許測(cè)試者控制被測(cè)軟件的外部環(huán)境，以及檢查調(diào)用其成員函數(shù)的執(zhí)行是否正確（包括參數(shù)、執(zhí)行的順序）。

　　3） 允許真實(shí)調(diào)用某些成員函數(shù)，而封裝另一些函數(shù)的調(diào)用，控制其輸入和返回參數(shù)。

　　另一款集成測(cè)試工具是McCabe Test。正如前一部分提到的，它可很直觀地從整體上把握軟件的結(jié)構(gòu)，生成集成測(cè)試計(jì)劃，通過插裝被測(cè)試軟件，得到被插裝后的源代碼。運(yùn)行目標(biāo)編譯器，最后測(cè)量覆蓋率，產(chǎn)生覆蓋率報(bào)告。

　　通過被測(cè)試軟件的結(jié)構(gòu)圖，直觀地評(píng)估“測(cè)了多少”，深入得到代碼級(jí)，以圖形的方式標(biāo)示已測(cè)代碼和未測(cè)代碼。支持MC / DC覆蓋分析，滿足DO178B-A標(biāo)準(zhǔn)。McCabe QA 與McCabe TEST等組件組成McCabe IQ工具包，構(gòu)成了一整套完整的白盒測(cè)試方案。

　　確認(rèn)測(cè)試和系統(tǒng)測(cè)試

　　包括恢復(fù)測(cè)試、安全測(cè)試、強(qiáng)度測(cè)試、性能測(cè)試，已超出了本文討論的范疇，本文暫不詳述。

　　結(jié)語

　　嵌入式軟件通常在主機(jī)環(huán)境執(zhí)行多數(shù)的測(cè)試，只是在最終確定測(cè)試結(jié)果和最后的系統(tǒng)測(cè)試才移植到目標(biāo)環(huán)境，這樣可以避免發(fā)生訪問目標(biāo)系統(tǒng)資源上的瓶頸，也可以減少在昂貴資源如在線仿真器上的費(fèi)用。另外，若目標(biāo)系統(tǒng)的硬件由于某種原因而不能使用時(shí)，最后的確認(rèn)測(cè)試可以推遲直到目標(biāo)硬件可用，這為嵌入式軟件的開發(fā)測(cè)試提供了彈性。

　　設(shè)計(jì)軟件的可移植性是成功進(jìn)行交叉測(cè)試的先決條件，它通?？梢蕴岣哕浖馁|(zhì)量，并且對(duì)軟件的維護(hù)大有益處。本文提到的測(cè)試工具，都可以通過各自的方式提供測(cè)試在主機(jī)與目標(biāo)之間的移植，從而使嵌入式軟件的測(cè)試得以方便地執(zhí)行。

　　使用有效的測(cè)試策略可極大地提高嵌入式軟件開發(fā)測(cè)試水平和效率，提高嵌入式軟件的質(zhì)量并降低成本。