陳濤

摘 要 本文針對目前在國防領(lǐng)域應(yīng)用比較廣泛的實時嵌入式軟件開展測試技術(shù)研究，通過分析覆蓋測試代碼插樁技術(shù)，結(jié)合測評機構(gòu)購置的嵌入式軟件測試工具，研究了這類工具的工作機理，最后構(gòu)建一個實時嵌入式軟件覆蓋測試環(huán)境，對于降低軟件測試難度，提高測試充分性具有重要的意義。

【關(guān)鍵詞】嵌入式軟件 覆蓋測試

由于嵌入式軟件具有功能性強，可靠性高，實時性強，體積功耗小等優(yōu)點，被主要應(yīng)用于航空航天、國防交通、醫(yī)療衛(wèi)生、消費電子和信息家電等重要領(lǐng)域。因此嵌入式軟件的開發(fā)與測試是目前計算機軟件發(fā)展的一個重點和難點。

嵌入式軟件是指駐留運行在嵌入式計算機中的軟件，由于嵌入式系統(tǒng)軟件自身具有的獨特之處，傳統(tǒng)的非嵌入式軟件的開發(fā)和測試方法將不再適用，因此對嵌入式測試方法和策略的研究尤為重要，測試工具的二次開發(fā)、測試環(huán)境的重新構(gòu)建等，這些都是影響嵌入式軟件測試質(zhì)量的重要因素。

1 嵌入式軟件覆蓋測試策略

覆蓋測試，也稱邏輯覆蓋測試，是軟件白盒測試的主要方法。軟件測試人員根據(jù)軟件規(guī)格說明和程序清單，通過設(shè)計足夠的測試案例，對軟件的內(nèi)部邏輯結(jié)構(gòu)進行程序語句、分支、條件、路徑調(diào)用測試，在一個軟件產(chǎn)品中，如果存在某些從來沒有被執(zhí)行過的代碼，那么這個軟件的質(zhì)量是不可靠的，在從來沒有被執(zhí)行過的代碼中可能存在著使整個軟件崩潰的BUG而沒有被發(fā)現(xiàn)。

覆蓋測試是驗證軟件功能結(jié)構(gòu)正確性，確保軟件可靠性的非常重要的方法，它需要測試工具的支持。在軟硬件資源配置豐富的宿主機上，測試工具對被測軟件進行語法分析，向源程序插樁函數(shù)；在軟硬件資源相對缺乏的目標(biāo)機上，嵌入式應(yīng)用程序和測試所需要的數(shù)據(jù)信息將通過通信程序回傳到宿主機，目標(biāo)機和宿主機通過物理通道連接傳輸數(shù)據(jù)信息，測試工具負(fù)責(zé)在目標(biāo)機上接收數(shù)據(jù)信息?；谏鲜鲈?，目前需要解決宿主機與目標(biāo)機之間的數(shù)據(jù)信息傳輸問題。

2 基于插樁技術(shù)的嵌入式軟件覆蓋測試

一般地，從覆蓋分析的原理來看，覆蓋分析工具要對被測程序進行插樁。在對非嵌入式軟件測試來說，由插樁代碼引起的問題在可以忽略不計。但是由于嵌入式軟件的系統(tǒng)與硬件密切相關(guān)、I/O通道少、實時性強等特點，對于嵌入式軟件來說這卻是致命的問題，因為大量插樁代碼會破壞嵌入式軟件程序的實時性，導(dǎo)致實時性指標(biāo)下降，甚至可能出現(xiàn)軟件不能正常運行的問題。

插樁技術(shù)的原理是：首先對被測軟件程序代碼進行分析，在被測軟件源程序的合適位置插入插樁語句函數(shù)，插樁語句函數(shù)包括語句、條件、判定等需要覆蓋的目標(biāo)；然后下載新的插樁文件到目標(biāo)板上運行，運行測試用例，利用工具記錄測試數(shù)據(jù)信息，在宿主機上結(jié)合程序控制流圖、調(diào)用圖、源代碼、判定節(jié)點條件真值表進行嵌入式軟件覆蓋測試結(jié)果分析；最后測評人員根據(jù)分析統(tǒng)計結(jié)果判斷覆蓋測試執(zhí)行情況，如果不能滿足測試要求，存在沒有測試的代碼路徑，再根據(jù)程序代碼重新設(shè)計測試用例，如此循環(huán)，最終達到提高代碼程序的覆蓋率要求。

3 嵌入式軟件覆蓋測試的實現(xiàn)方法

測評機構(gòu)已購置了國外先進的嵌入式軟件測試工具，包括純軟件方式工作的測試工具（LDRA Testbed、Polyspace），軟硬件結(jié)合方式測試工具（Codetest）和硬件仿真平臺（ADS-2），利用這些工具可以構(gòu)建一個實時嵌入式軟件測試環(huán)境，為有效進行嵌入式軟件各階段覆蓋測試提供了參考。

構(gòu)建的嵌入式軟件覆蓋測試環(huán)境如圖1所示。

4 結(jié)束語

本文在研究高級別覆蓋測試技術(shù)理論的基礎(chǔ)上，結(jié)合國外先進的嵌入式軟件測試工具使用，對于較少軟件錯誤、優(yōu)化軟件代碼結(jié)構(gòu)、降低軟件測試難度、提高軟件測試工作的充分性、有效性以及工作效率具有重要意義。但是在實際測試中也存在插樁代碼規(guī)模過大，導(dǎo)致被測軟件程序在目標(biāo)系統(tǒng)上無法正常運行的問題，這就需要對代碼詞法語法的分析有較高的要求，對軟件編譯過程有更深刻的認(rèn)識和理解，才能為提高軟件質(zhì)量，保證武器裝備的效能做出貢獻。

參考文獻

[1]韓柯，杜旭濤，譯.Jorgensen P C.軟件測試[M].北京：機械工業(yè)出版社，2003.

[2]鄭人杰.計算機軟件測試技術(shù)[M].北京：清華大學(xué)出版社，1992.

[3]尹黨輝.嵌入式軟件測試技術(shù)研究[J].中國測試技術(shù)，2011（08）：74-77.

[4]朱少民.軟件質(zhì)量保證和管理[M].北京：清華大學(xué)出版社，2007.

[5]姚礪，束永安，葉澄清.面向?qū)ο筌浖采w量度的研究和軟件測試工具的實現(xiàn)[J].計算機研究與發(fā)展，2002，39（08）：1017-1022.

[6]T.Ramalingom，Krishnaiyan Thulasiraman.A MatroidTheoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols.IEEE TRANSACTION ON COMPUTERS.p317-330，VOL.49（04），April，2000.

作者單位

91404部隊 河北省秦皇島市 066000endprint