在實(shí)現(xiàn)覆蓋測試的過程中,通常需要知道某些信息,例如執(zhí)行可執(zhí)行語句(即覆蓋)的情況,程序執(zhí)行的路徑,變量的引用和定義。
為了獲得這樣的信息,有必要跟蹤被測程序的執(zhí)行過程,或者在執(zhí)行被測程序期間由計(jì)算機(jī)自動記錄。
前者需要人工進(jìn)行,效率低,無聊;后者需要插入代碼來完成被測程序中的相應(yīng)工作,即代碼插入技術(shù)。
今天的大多數(shù)覆蓋測試工具都使用代碼堆疊技術(shù)。
在測試常見應(yīng)用程序的軟件時,由于計(jì)算機(jī)配置越來越高,計(jì)算機(jī)運(yùn)行得越來越快,代碼檢測引起的問題并不明顯或在可接受的范圍內(nèi)。
。
但對于嵌入式軟件來說,這是一個致命的問題。
由于嵌入式系統(tǒng)具有有限的系統(tǒng)資源(小內(nèi)存,較少的I / O通道等),過多的代碼擴(kuò)展速率將使程序無法在嵌入式系統(tǒng)中運(yùn)行;同時,嵌入式軟件通常具有很強(qiáng)的實(shí)時性能。
程序的輸出僅在有限的時間內(nèi)有效,并且“正確”的輸出僅在有限的時間內(nèi)有效。
遲到的結(jié)果是無用的,甚至變得錯誤和有害。
代碼檢測技術(shù)可能破壞程序的時間特性等,從而導(dǎo)致軟件執(zhí)行錯誤。
因此,我們需要更高效的代碼檢測技術(shù)來完成覆蓋測試,尤其是嵌入式軟件的覆蓋測試。
由于程序檢測技術(shù)將探針插入到被測程序中,然后通過執(zhí)行探針獲得程序的控制流程和數(shù)據(jù)流信息,從而實(shí)現(xiàn)了測試的目的。
因此,根據(jù)探針插入的時間,可以分為目標(biāo)代碼檢??測和源代碼檢測。
(1)目標(biāo)代碼檢??測的前提是轉(zhuǎn)到目標(biāo)代碼:執(zhí)行必要的分析以確定檢測的位置和內(nèi)容。
由于目標(biāo)代碼的格式主要與操作系統(tǒng)有關(guān),并且與特定的編程語言和版本無關(guān),因此它已被廣泛使用,特別是在需要監(jiān)視存儲器的軟件中。
但是,由于目標(biāo)代碼中的語法和語義信息不完整,并且儀器技術(shù)需要對代碼詞法語法的分析有很高的要求,因此源代碼通常用于覆蓋測試工具中。
(2)源代碼檢測是基于對源文件的完整分析:詞法分析和語法分析,確保源文件的檢測能夠?qū)崿F(xiàn)高精度和針對性。
但是,源代碼檢測需要暴露給源代碼,這會使工作負(fù)載變大,并且需要修改,因?yàn)榫幋a語言和版本不同。
在下文中,我們引用了儀器的程序,它指的是源代碼檢測。
(1)儀器的位置:探頭的植入應(yīng)緊湊,精確,以確保所收集的信息全面無冗余,降低了代碼的擴(kuò)展速度。
因此,當(dāng)確定儀器的位置時,程序被分割,并且基本分割方法基于“塊”。
結(jié)構(gòu)體。
根據(jù)塊結(jié)構(gòu)的劃分,在以下情況下植入探針:a。
該計(jì)劃的第一份聲明;灣分支聲明的開頭; C。
循環(huán)語句的開始; d。
下一個條目陳述前的陳述; e。
該計(jì)劃的最終聲明; F。
分支聲明的結(jié)尾; G。
循環(huán)語句的結(jié)尾;另外,根據(jù)覆蓋測試的要求,儀器的位置,除上述情況外,覆蓋測試要求的變化也有變化。
(2)儀表策略:儀表策略是解決“如何插入”的問題。
傳統(tǒng)的檢測策略是在需要檢測的所有位置插入探針,在程序操作期間收集所有可能的程序信息,并將它們寫入數(shù)據(jù)庫進(jìn)行分析和處理。
該方法將導(dǎo)致大量程序的大量工作,低效率和大的代碼擴(kuò)展速率。
每次根據(jù)不同的測試要求插入不同的探針,采用相應(yīng)的儀器策略,降低了代碼的擴(kuò)展速度,保證了程序執(zhí)行的效率。
以下是幾種探針的儀器策略的簡要介紹。
語句覆蓋探測器(基本塊探測器):在基本塊的入口和出口處,分別植入相應(yīng)的探針以確定在執(zhí)行程序時是否覆蓋基本塊。
分支覆蓋探測:在C / C ++語言中,分支由分支點(diǎn)確定。
對于每個分支,在開始時植入相應(yīng)的探針以確定在執(zhí)行程序時是否覆蓋分支。
條件覆蓋探測:在C / C ++中,if,swich,while,do-while,對于幾個語法結(jié)構(gòu)支持條件決策。
探針被植入用于變量跟蹤的每個條件表達(dá)式的布爾表達(dá)式中。
取一個值來確定它的涵蓋范圍。
根據(jù)不同的測試要求,采用未使用的插入策略,每次在不同的位置植入相應(yīng)的探頭,每次僅植入有限數(shù)量的探頭,大大降低了編碼的擴(kuò)展比和速度。
插入的樁。
。
使用1000行程序作為待測程序。
使用集成儀器和我們自己開發(fā)的工具的工具用于測試結(jié)果。
結(jié)果表明,前者的時間和代碼擴(kuò)展率分別為3s和35%。
堆的平均時間和平均代碼擴(kuò)展率分別為1s和8%,儀器時間顯著提高,代碼擴(kuò)展率顯著降低。
使用上述程序插入技術(shù),除了通常的覆蓋測試策略外,我們還可以實(shí)現(xiàn)MC / DC和LCSAJ測試。