模糊測(cè)試技術(shù)是一種被廣泛應(yīng)用的軟件測(cè)試技術(shù),在程序缺陷挖掘等方面展現(xiàn)出了良好的能力。不過(guò),模糊測(cè)試技術(shù)對(duì)程序狀態(tài)空間的探索過(guò)程存在盲目性、隨機(jī)性的問(wèn)題,在缺陷無(wú)關(guān)的路徑上會(huì)耗費(fèi)大量的計(jì)算資源和時(shí)間。盡管定向模糊測(cè)試技術(shù)能夠關(guān)注于程序中的一組特定目標(biāo)(通常是目標(biāo)語(yǔ)句),引導(dǎo)模糊測(cè)試過(guò)程有針對(duì)性地朝向目標(biāo)所在的代碼區(qū)域進(jìn)行探索,大大縮減了搜索空間,但是目前定向模糊測(cè)試工作存在不夠高效的問(wèn)題。另外,基于符號(hào)執(zhí)行技術(shù)的白盒定向模糊測(cè)試技術(shù)在運(yùn)行時(shí)頻繁進(jìn)行重量級(jí)的程序分析和約束求解,因而運(yùn)行時(shí)效率不高。而基于灰盒模糊測(cè)試的定向模糊測(cè)試工具,如AFLGo等,將大部分的程序解析和計(jì)算過(guò)程轉(zhuǎn)移到插樁期以換取運(yùn)行時(shí)的高效,但插樁期大量的計(jì)算導(dǎo)致整體性能下降。本文創(chuàng)新性地提出了一種序列覆蓋率引導(dǎo)的灰盒定向模糊測(cè)試技術(shù)(Sequence-coverage Directed Grey-box Fuzzing,簡(jiǎn)稱(chēng)SDF技術(shù))。給定一組目標(biāo)語(yǔ)句序列,SDF技術(shù)嘗試生成測(cè)試用例,使其按序執(zhí)行一個(gè)序列中的各個(gè)目標(biāo)語(yǔ)句。此外,本文還提出了一個(gè)新的序列覆蓋率引導(dǎo)的種子能量調(diào)度算法,根據(jù)種子輸入的執(zhí)行路徑對(duì)目標(biāo)序列的覆蓋...

【文章頁(yè)數(shù)】：57 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 背景分析
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 研究?jī)?nèi)容
    1.4 論文結(jié)構(gòu)
第二章 相關(guān)技術(shù)研究
    2.1 模糊測(cè)試技術(shù)
        2.1.1 黑盒模糊測(cè)試技術(shù)
        2.1.2 白盒模糊測(cè)試技術(shù)
        2.1.3 灰盒模糊測(cè)試技術(shù)
    2.2 定向模糊測(cè)試技術(shù)
        2.2.1 白盒定向模糊測(cè)試
        2.2.2 灰盒定向模糊測(cè)試
    2.3 研究動(dòng)機(jī)
    2.4 本章小結(jié)
第三章 序列覆蓋率引導(dǎo)的灰盒定向模糊測(cè)試技術(shù)
    3.1 SDF技術(shù)的原理概述
    3.2 插樁
    3.3 定向模糊測(cè)試
        3.3.1 序列覆蓋率的計(jì)算
        3.3.2 種子能量調(diào)度算法
    3.4 本章小結(jié)
第四章 基于SDF技術(shù)的缺陷檢測(cè)系統(tǒng)實(shí)現(xiàn)
    4.1 需求分析
    4.2 Lolly系統(tǒng)架構(gòu)設(shè)計(jì)
    4.3 Clang靜態(tài)分析器的改進(jìn)
    4.4 Lolly定向模糊測(cè)試工具
    4.5 本章小結(jié)
第五章 實(shí)驗(yàn)評(píng)估
    5.1 實(shí)驗(yàn)配置
    5.2 實(shí)驗(yàn)內(nèi)容
        5.2.1 Lolly系統(tǒng)整體性能評(píng)估
        5.2.2 Lolly-Clang靜態(tài)分析器的改進(jìn)效果評(píng)估
        5.2.3 Lolly定向模糊測(cè)試工具性能評(píng)估
    5.3 本章小結(jié)
第六章 總結(jié)與展望
    6.1 本文工作總結(jié)
    6.2 未來(lái)研究方向
參考文獻(xiàn)
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文



本文編號(hào)：3841133