亚洲丰满少妇看的高清无码-爆乳美女裸体露双奶头无遮挡-国产乱国产乱老熟300网址-中国熟女色AV夜夜嗨蜜臀

代碼檢測

在實(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測試。

一区二区三区日韩精品| 亚洲精品黄十八禁观看| 午夜福利小视频在线看| 欧美激情免费观看网站| 亚洲国产成人久久精品美女av| 人妻连裤丝袜中文字幕| 日韩欧美视频午夜福利视频| 欧美日韩1区2区在线观看| 亚洲色图国产一区二区| 国产精品一区二区三区网站视频| 五月天色婷婷色丁香色| 五月天欧美亚洲大片欣赏| 97久久精品丝袜美腿影院| 撒玛利亚少女电影免费观看| 欧美日韩国产午夜一区二区| 国产盗摄91精品一区二区三区| 外国美女激情午夜在线观看视频| 色哟哟色播一区二区三区| 欧美成人野外高潮做片| 蜜臀av一区二区精品字幕| 欧美日韩精品区一区二区三 | 国产成人免费97在线| 亚洲欧美综合一区自拍| 国产成人精品久久久久精品日日| 亚洲精品粉嫩美女一区| 麻豆欧美精品国产综合久久| 麻豆欧美精品国产综合久久| 97久久精品丝袜美腿影院| 日本大香蕉最新最新视频| 欧美日韩国产精品久久一区二区| 国产盗摄91精品一区二区三区| 国产亚洲精品美女久久久| 色狠狠一区二区三区中文 | 日本精品高清视频一区二区三区| 一区二区三区日韩精品| 欧美在线电影一区二区| 国产av天天爽天天干| 国产成人精品久久久久精品日日| 国产污污污视频免费在线观看| 色狠狠一区二区三区中文| 丝袜美腿在线观看中文字幕|