基于路徑覆蓋的嵌入式軟件動(dòng)態(tài)測(cè)試研究
作者：
時(shí)間：2013-06-14
來(lái)源：網(wǎng)絡(luò)
收藏
加入技術(shù)交流群
掃碼加入
和技術(shù)大咖面對(duì)面交流
海量資料庫(kù)查詢(xún)
2．3 數(shù)據(jù)處理及分析
目標(biāo)機(jī)在真實(shí)環(huán)境中運(yùn)行可執(zhí)行程序，測(cè)試用例集T為運(yùn)行輸入?yún)⒘浚结槻杉瘮?shù)據(jù)為運(yùn)行的輸出參量。探針函數(shù)采集動(dòng)態(tài)跟蹤測(cè)試數(shù)據(jù)，傳輸給宿主機(jī)測(cè)試平臺(tái)。宿主機(jī)測(cè)試平臺(tái)對(duì)接收到的動(dòng)態(tài)跟蹤數(shù)據(jù)進(jìn)行處理，計(jì)算出路徑測(cè)試覆蓋率，并結(jié)合數(shù)據(jù)處理過(guò)程中的測(cè)試日志分析出最后的測(cè)試報(bào)告。
3 測(cè)試實(shí)例分析
根據(jù)上述的嵌入式軟件動(dòng)態(tài)測(cè)試框架，模擬測(cè)試實(shí)驗(yàn)室現(xiàn)行項(xiàng)目208型海區(qū)終端的航標(biāo)數(shù)據(jù)采集模塊。
在編譯器MPLAB IDE 8．63中編寫(xiě)源代碼，并對(duì)源代碼進(jìn)行規(guī)則檢查。圖2為航標(biāo)數(shù)據(jù)采集模塊的主控程序流程圖，可將其簡(jiǎn)化為程序控制流圖。本文引用地址：http://www.104case.com/article/148015.htm
該航標(biāo)數(shù)據(jù)采集模塊由C語(yǔ)言開(kāi)發(fā)，根據(jù)插樁策略可以計(jì)算出插樁探針的位置、個(gè)數(shù)，構(gòu)造基本路徑和實(shí)際程序執(zhí)行路徑，計(jì)算路徑測(cè)試覆蓋率。部分測(cè)試結(jié)果分析如表1所示。
基本路徑測(cè)試覆蓋率PCP：
基本路徑測(cè)試覆蓋率大小涉及到測(cè)試的各個(gè)階段，受到各方面因素的影響。比如，在該測(cè)試模塊中，Rx_Data_Svr()和AddataConvert()程序中出現(xiàn)了多個(gè)判斷語(yǔ)句和多個(gè)循環(huán)語(yǔ)句，可能的路徑數(shù)目增長(zhǎng)，以致影響路徑覆蓋率。
4 結(jié)語(yǔ)
本文通過(guò)研究嵌入式軟件測(cè)試的特點(diǎn)和路徑覆蓋測(cè)試的相關(guān)理論，給出了嵌入式軟件動(dòng)態(tài)測(cè)試框架方案。并結(jié)合實(shí)驗(yàn)室目前的項(xiàng)目，分析基本路徑測(cè)試的各個(gè)步驟，得出路徑測(cè)試覆蓋率，進(jìn)而達(dá)到測(cè)試目的。但是路徑覆蓋測(cè)試受多方面因素的影響，尤其是當(dāng)程序中出現(xiàn)多個(gè)復(fù)合條件時(shí)，會(huì)大大的增加可能的路徑數(shù)目，所以接下來(lái)的工作是進(jìn)一步探討插樁策略、測(cè)試用例生成等影響路徑覆蓋率的相關(guān)問(wèn)題。
評(píng)論