當(dāng)前位置:首頁 > 嵌入式 > 嵌入式教程
[導(dǎo)讀]代碼覆蓋分析工具在嵌入式軟件測試中的應(yīng)用

摘要 介紹覆蓋性測試技術(shù)的基本概念以及其在嵌入式系統(tǒng)中的基本工作過程;通過將覆蓋測試工具Bullseye-Coverage移植到嵌入式操作系統(tǒng)(Nuclcus)的具體實現(xiàn)過程,說明系統(tǒng)要求、系統(tǒng)結(jié)構(gòu),以及具體的技術(shù)實現(xiàn)細節(jié)和步驟。其中,如何解決覆蓋數(shù)據(jù)傳輸問題是系統(tǒng)實現(xiàn)的關(guān)鍵點。
關(guān)鍵詞 覆蓋性測試 嵌入式系統(tǒng) 代碼插裝 Bullsege Covcrage


    軟件測試的重要性是毋庸置疑的。如何以最少的人力和資源投入,在最短的時間內(nèi)完成測試,發(fā)現(xiàn)軟件系統(tǒng)的缺陷,保證軟件的優(yōu)良品質(zhì),是軟件公司探索和追求的目標(biāo)。然而大家都知道,從理論上講測試是永無止境的,只要不斷測試就一定能不斷發(fā)現(xiàn)問題.那么究竟如何度量測試的進度,如何判斷測試可以完結(jié)呢?這些,可以依靠測試覆蓋率的分析來實現(xiàn)。嵌入式軟件系統(tǒng)也不例外。


l 代碼覆蓋分析
   
代碼覆蓋分析過程包含以下幾個方面:
    ◇通過一組覆蓋測試數(shù)據(jù)發(fā)現(xiàn)和分析那些沒有被運行到的代碼;
    ◇為了提高代碼覆蓋率而設(shè)計新的測試用例;
    ◇確定代碼覆蓋的定量標(biāo)準(zhǔn),這XXX數(shù)據(jù)也間接地反映測試質(zhì)量;
    ◇識別那些冗余的測試用例。
代碼覆蓋分析是一種白盒測試方法,因為覆蓋分析需要訪問測試代碼本身,且經(jīng)常需要重新編澤程序,以程序的內(nèi)部結(jié)構(gòu)為基礎(chǔ)來設(shè)計測試案例。其基本準(zhǔn)則是測試案例要盡可能多地覆蓋程序的內(nèi)部邏輯結(jié)構(gòu),發(fā)現(xiàn)其中的錯誤和問題。另外要注意的是,覆蓋分析并不是為了提高程序本身的質(zhì)量而是為了確保測試用例的質(zhì)量。一般來說,覆蓋分析通常應(yīng)用在軟件測試的早期,即單元測試階段。在軟件發(fā)布版本階段是不需要運行軟件覆蓋分析的。


2 覆蓋分析在嵌入式系統(tǒng)上的問題
   
嵌入式軟件的開發(fā)與通用軟件的開發(fā)很大的不同點在于:嵌入式系統(tǒng)需要采用交叉開發(fā)的方式,即開發(fā)工具運行在軟硬件配置豐富的宿主機上,而嵌入式應(yīng)用程序則運行在軟硬件資源相對缺乏的目標(biāo)機上。所以針對覆蓋分析測試,嵌入式系統(tǒng)的困難之一就是如何獲取測試產(chǎn)生的覆蓋數(shù)據(jù)。犬多數(shù)的覆蓋分析測試工具都需要對代碼捅裝,而當(dāng)在目標(biāo)環(huán)境下運行經(jīng)過代碼插裝的可執(zhí)行程序時,就會有覆蓋分析數(shù)據(jù)產(chǎn)牛。這些數(shù)據(jù)是分析覆蓋數(shù)據(jù)報告的重要輸入條件,所以要順利實現(xiàn)嵌入式系統(tǒng)覆蓋分析的一個關(guān)鍵點是如何建立宿主機與目標(biāo)機之間的物理/邏輯連接,解決覆蓋分析數(shù)據(jù)信息的傳輸問題。

3 BullseyeCoverage的實現(xiàn)方式
    BullseyeCoverage是Bllseye公司提供的一款C/C++代碼覆蓋率測試工具。相對于Rational公司的Pure Coverage,BullseyeCoverage支持的C/C++編譯器更多,除了支持各種Unix下的編譯器之外,在Windows下還支持VC、Borland C++、GNU C++和Intel C++。其提供的代碼覆蓋率是基于條件/判斷的分支覆蓋率,而不是一般的代碼行覆蓋率。
    BuuseyeCoverage采用的是先對代碼進行插裝,然后收集覆蓋數(shù)據(jù),最后分析覆蓋率原理的技術(shù)。其工作原理是:針對不同的編澤器,設(shè)計一個和真實編譯器名字相同的攔截器,這些攔截器文件存放在BullseyeCoverage的bin目錄下。當(dāng)覆蓋編譯開關(guān)打開時,文件在編譯過程中將首先被這些攔截器所攔截,而不是由真實的編譯器去編譯源代碼。在這個攔截過程中,攔截器將一系列探針代碼插入到C/C++源代碼中,然后文件再次通過真實的編譯器生成二進制代碼。當(dāng)覆蓋編譯開關(guān)關(guān)閉時,這些攔截器將直接調(diào)用真實的編譯器而不進行代碼插裝的過程。兩者的區(qū)別及調(diào)用關(guān)系如圖1所示。

    當(dāng)完成了代碼插裝并且將編譯好的運行文件下載到嵌入式系統(tǒng)后,開始代碼覆蓋分析另外一個重要的工作過程——覆蓋分析數(shù)據(jù)更新過程。由于BullseyeCoverage需要在運行時態(tài)對經(jīng)過覆蓋攔截器生成的覆蓋分析文件(大小一般是運行代碼的1.2~1.5倍)進行讀寫操作,所以可以對覆蓋文件的大小進行簡單的估計,以便設(shè)計系統(tǒng)。在數(shù)據(jù)更新過程中,BullseyeCoverage的每次讀寫操作范圍為l字節(jié)~4 KB。另外,BullseyeCoverage只有在測試程序觸發(fā)了cov_write函數(shù)時才會對覆蓋分析文件進行更新。如果覆蓋沒有更新,那么相應(yīng)地也沒有I/O動作發(fā)生。針對嵌入式系統(tǒng),BullseyeCoverage有兩種實現(xiàn)的方式:
    ①利用讀取內(nèi)存區(qū)數(shù)據(jù)的原理。首先,通過串口、以太網(wǎng)或者USB將覆蓋分析文件下載到嵌入式系統(tǒng)的某個未用內(nèi)存區(qū)域;然后,修改測試工具的I/O庫函數(shù),將對覆蓋分析文件操作的更新數(shù)據(jù)直接寫入那塊內(nèi)存區(qū)域中。這樣在測試開始后,分析程序會自動更新位于內(nèi)存中的覆蓋分析文件。由于覆蓋分析文件在內(nèi)存中,所以這種讀寫操作的速度會非???。測試完成后,通過串口、網(wǎng)絡(luò)或者USB再次將覆蓋分析文件讀回到PC機中,然后利用工具對覆蓋結(jié)果進行分析。
    ②利用實際物理通道的原理。系統(tǒng)需要對覆蓋分析文件的I/O操作進行封裝,將需要更新的操作命令和更新內(nèi)容通過串口、網(wǎng)絡(luò)或者USB傳遞給宿主系統(tǒng),而宿主系統(tǒng)需要實現(xiàn)一個簡單的接收更新程序?qū)Ω采w文件進行更新。在這種實現(xiàn)方式中,最困難的是對每次數(shù)據(jù)傳輸?shù)木彌_區(qū)大小進行估計。由于BullseyeCoverage每次對覆蓋分析文件的讀寫操作的范圍是1字節(jié)~4 KB,而通常情況下,更新數(shù)據(jù)會是4~8字節(jié)的小數(shù)據(jù)塊(在較頻繁的操作中也會有100字節(jié)~4KB數(shù)據(jù)的更新塊),所以Bullseye-Coverage會采取減少數(shù)據(jù)傳遞次數(shù)、增大數(shù)據(jù)塊的做法,一次性傳遞完更新數(shù)據(jù)。如何保證數(shù)據(jù)的低延時是這種方式的關(guān)鍵點。

4 嵌入式操作系統(tǒng)Nucleus的具體應(yīng)用
    Nucleus PLUS嵌入式操作系統(tǒng)是目前最受歡迎的操作系統(tǒng)。Nucleus PLUS是為實時嵌入式應(yīng)用而設(shè)計的一個搶先式多任務(wù)操作系統(tǒng)內(nèi)核,其95%的代碼是用ANSIC寫成的,因此非常便于移植,并能夠支持大多數(shù)類型的處理器。Nucleus PLUS最大的優(yōu)勢在于提供注釋嚴格的C源代碼給每一個用戶。這樣,用戶能夠深入地了解底層內(nèi)核的運作方式,并可根據(jù)自己的特殊要求刪減或改動系統(tǒng)軟件,這對軟件的規(guī)范化管理及系統(tǒng)軟件的測試都有極大的幫助。
    基于時間效率的要求,在Nucleus嵌入式系統(tǒng)中實現(xiàn)代碼覆蓋分析采用的足內(nèi)存存取操作的方式。具體實現(xiàn)過程如下:
    ①安裝BullseyeCoverage,選擇合適的編譯器。由于使用PXA270作為開發(fā)平臺,所以也選用了Intel C++編譯器。安裝完成后,從命令行輸入命令“SET COVFILE=XXX”來設(shè)定覆蓋分析文件的輸出地點和具體名稱。默認的名稱是test.cov。
    ②修改Makefile,將編譯器的路徑設(shè)置到Bullseye-Coverage的bin目錄下。
    ③使用命令“cov01-1”打開覆蓋編譯選項。然后編譯代碼,需要在編譯過程中確定調(diào)用了BullseycCoverage的攔截器,可以通過查看編澤記錄中是否含有“BullseyeCoverage Compile C++version platform”的信息確定。通常會在編譯結(jié)束時發(fā)現(xiàn)鏈接錯誤,這是由于需要調(diào)用的函數(shù)實現(xiàn)體并沒有編譯、鏈接進來。
    ④進入到BullseyeCoverage的run目錄下,根據(jù)系統(tǒng)平臺要求修改libcov-user.h、atomic-user.h和Makefik文件,用-DSYS_user區(qū)編譯BullseyeCoverage運行庫文件。通過這個選項可以使編譯器選擇用戶自定義的平臺文件,在這些文件中就含有需要封裝的一些函數(shù),如write、read、open等。編譯完的庫文件可以命名為libeov-user.a(chǎn)或libcov-user.lib。
    ⑤修改要測試系統(tǒng)的編譯文件,在Makefile的鏈接過程中加入libcov-user.a(chǎn)或libcov-user.lib。再次重新編譯,應(yīng)該沒有任何錯誤。
    ⑥根據(jù)BullseyeCoverage的要求,將libcov-user.h中帶有REQUIRED標(biāo)識的函數(shù)根據(jù)具體情況實現(xiàn)。在這個過程中,建議首先實現(xiàn)error_write_screen,這樣在后續(xù)過程中可以將錯誤信息打印到屏幕或者輸出到測試日志中,然后逐步實現(xiàn)其他函數(shù)。
    ⑦實現(xiàn)了所有必需的函數(shù)后,重新編譯一遍確定沒有任何編譯、鏈接問題。最終會生成2個文件,一個是要運行的二進制文件(如rfs.bin),另外一個是覆蓋分析文件test.cov。
    ⑧將ffs.bin和覆蓋文件文件分別下載到系統(tǒng)中。其中,將ffs.bin下載到Flash存儲器中,通過Nucleus的調(diào)試命令download將test.cov下載到系統(tǒng)內(nèi)存中。
    ⑨運行二進制代碼,在這個過程中,系統(tǒng)內(nèi)存結(jié)構(gòu)如圖2所示。

    ⑩二進制代碼運行完畢后,用Nucleus的調(diào)試命令upload將test.cov上載到PC機中。
    ⑾用Coverage Brozrset打開test.cov,覆蓋分析結(jié)果就得到了。
    通過實驗,在投有使用BullseyeCoverage時,一般測試方式的測試覆蓋率大致是55%~70%;而通過使用BullseyeCoverage重新設(shè)計測試用例,測試覆蓋率提高到了85%~90%,其中7%的測試用例直接影響到產(chǎn)品的質(zhì)量。使用測試覆蓋分析工具BullseyeCoverage可以使測試更有針對性,減少冗余測試用例測試,提高測試團隊的工作效率,能夠在開發(fā)過程中盡早地發(fā)現(xiàn)Bug。

5 總 結(jié)
   
測試覆蓋分析是一種對測試階段度量及測試工作情況進行分析的很好的方法,可以使測試程度更為明確,階段進度一目了然,其統(tǒng)計值也便于管理部門對當(dāng)前測試狀態(tài)進行了解與把握。

本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關(guān)鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險,如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應(yīng)對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...

關(guān)鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學(xué)會聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉