基于路徑覆蓋的嵌入式軟件動(dòng)態(tài)測(cè)試研究

• 針對(duì)嵌入式軟件動(dòng)態(tài)測(cè)試時(shí)的覆蓋率分析問(wèn)題，提出了一種嵌入式軟件動(dòng)態(tài)測(cè)試系統(tǒng)框架。該框架基于嵌入式軟件測(cè)試的特點(diǎn)及路徑覆蓋的相關(guān)理論，包括被測(cè)試程序的靜態(tài)分析、插樁技術(shù)和數(shù)據(jù)處理分析等部分。以靜態(tài)分析指導(dǎo)插樁庫(kù)的建立，通過(guò)插樁技術(shù)在程序分支或重要位置點(diǎn)植入探針，執(zhí)行已插樁程序，獲得動(dòng)態(tài)測(cè)試跟蹤數(shù)據(jù)，最后對(duì)數(shù)據(jù)進(jìn)行處理分析并制作初步測(cè)試報(bào)告。結(jié)合該框架，模擬測(cè)試實(shí)驗(yàn)室現(xiàn)行項(xiàng)目208型海區(qū)終端的航標(biāo)數(shù)據(jù)采集模塊，得出路徑覆蓋率，證明該系統(tǒng)框架的可行性。
• 關(guān)鍵字： 嵌入式軟件  軟件測(cè)試  路徑覆蓋  基本路徑測(cè)試  覆蓋率分析