亚洲丰满少妇看的高清无码-爆乳美女裸体露双奶头无遮挡-国产乱国产乱老熟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測試。

加勒比五月综合久久伊人| 亚洲综合一区国产精品| 少妇无套带白浆嗯呢啊污| 国产欧美日韩一区二区在线观看 | 伊人久久综合无码成人网| 伊人网在线视频观看| 国产女主播喷出白浆视频| 黑大吊肏小騷逼噴水| 黄色片视频1024| 大胸瑟瑟黑丝午夜| 亚洲福利左线观看| 亚洲欧美日韩另类| 亚洲综合区欧美一区二区| 亚洲大尺度无码无码专线一区| 白虎鲍鱼抠逼免费看| 被公侵犯中文字幕在线观看| 冷色系的发色有哪些颜色| 69国产精品久久久久久人| 久久久国产系列丝袜熟女| 国产高清在线观看一区二区三区| 国产精品不只是精品| 男人添女人下面免費视頻| 日韩亚洲AV无码一区二区不卡| 黑人大吊性交啪啪啪| 非洲大鸡巴操逼黄色录像| 内射白嫩少妇超碰| 亚洲国产日韩欧美高清片| 欧美 日本 亚洲 国产| 中文字幕一区二区三区中文字幕| 国精品午夜福利视频导航| 操大屌粉的小穴视频| 一区二区三区国产l精品欧美| 操烂嫩逼内射视频| 亚洲午夜国产片在线观看| 鸡巴插骚逼真舒服| 黄色视频力肏女人| 欧美大鸡巴操大骚逼| 国产午夜久久精品一区四虎| 大鸡巴猛插小穴视频| 91video国产一区| 多男用舌头伺候一女|