滿足正確性是軟件高質(zhì)量的基礎(chǔ),測試是目前保證軟件正確性最主要的技術(shù)途徑。面向路徑測試技術(shù)針對程序路徑覆蓋準(zhǔn)則,產(chǎn)生測試輸入,驅(qū)動程序沿著目標(biāo)路徑執(zhí)行。面向路徑測試技術(shù)能夠高效地發(fā)現(xiàn)程序中的錯誤,實現(xiàn)面向路徑測試自動化能夠極大地提高測試的效率,并降低成本。面向路徑測試的難點之一在于對包含非線性計算和浮點數(shù)據(jù)的復(fù)雜路徑約束求解。已有的線性擬合方法是一種基于動態(tài)執(zhí)行生成測試數(shù)據(jù)的方法。它利用動態(tài)執(zhí)行信息來計算關(guān)于輸入變量的擬合函數(shù),繼而計算分段預(yù)測區(qū)間,最后預(yù)測覆蓋路徑約束的輸入數(shù)據(jù)。已有研究工作顯示這一方法能夠較好的應(yīng)對涉及非線性和浮點數(shù)的復(fù)雜約束,但受限于動態(tài)執(zhí)行方法,存在代碼短路導(dǎo)致的擬合信息不足、約束次序影響求解效率、IO開銷過大等不足。本文研究了基于符號執(zhí)行技術(shù)的線性擬合并行化求解方法。它首先借助符號執(zhí)行技術(shù)抽取路徑約束,然后充分利用線性擬合方法的潛在并行性,基于CUDA平臺實現(xiàn)了對路徑約束的并行求解。同時,區(qū)間預(yù)測方法能夠用于復(fù)雜約束的化簡求解,本文基于已有線性擬合方法研究了輸入?yún)^(qū)間預(yù)測問題,設(shè)計了基于線性擬合的輸入預(yù)測方法。具體的,本文主要的研究工作如下:1.提出了面向路徑約束... 

【文章頁數(shù)】：114 頁

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

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 本文工作
    1.4 論文結(jié)構(gòu)
2 面向路徑測試的相關(guān)技術(shù)
    2.1 面向路徑約束的測試數(shù)據(jù)生成方法
        2.1.1 基于動態(tài)執(zhí)行的方法
        2.1.2 基于符號執(zhí)行的方法
        2.1.3 基于啟發(fā)式搜索的方法
        2.1.4 基于混合執(zhí)行的方法
    2.2 基于線性擬合的方法
        2.2.1 線性擬合函數(shù)
        2.2.2 基于線性擬合的測試數(shù)據(jù)生成方法
    2.3 本章小結(jié)
3 面向路徑約束的線性擬合并行化求解方法
    3.1 并行化線性擬合方法的設(shè)計
        3.1.1 線性擬合方法的并行化分析
        3.1.2 線性擬合方法的并行化設(shè)計
    3.2 基于CUDA平臺的線性擬合并行化求解方法
        3.2.1 基于CUDA平臺的數(shù)據(jù)結(jié)構(gòu)設(shè)計
        3.2.2 運行時刻值并行化計算
        3.2.3 線性擬合并行化計算
        3.2.4 預(yù)測區(qū)間并行化計算
        3.2.5 預(yù)測向量并行化計算
    3.3 面向路徑約束的線性擬合并行化求解算法
        3.3.1 算法說明
        3.3.2 實例展示
    3.4 本章小結(jié)
4 基于線性擬合的輸入?yún)^(qū)間預(yù)測
    4.1 輸入?yún)^(qū)間預(yù)測
    4.2 基于線性擬合的輸入?yún)^(qū)間預(yù)測方法
        4.2.1 線性擬合生成單變量輸入的區(qū)間預(yù)測
        4.2.2 多變量輸入的區(qū)間預(yù)測
    4.3 基于線性擬合的輸入?yún)^(qū)間預(yù)測算法
        4.3.1 算法說明
        4.3.2 實例展示
    4.4 本章小結(jié)
5 原型工具和實驗評估
    5.1 原型工具設(shè)計
        5.1.1 工具架構(gòu)
        5.1.2 工具實現(xiàn)
        5.1.3 工具使用
    5.2 實驗一: 和動態(tài)執(zhí)行方法的對比實驗
        5.2.1 基準(zhǔn)程序
        5.2.2 實驗設(shè)定
        5.2.3 實驗結(jié)果分析
    5.3 實驗二: 和混合執(zhí)行方法的對比實驗
        5.3.1 相關(guān)工具
        5.3.2 基準(zhǔn)程序
        5.3.3 實驗設(shè)定
        5.3.4 實驗結(jié)果分析
    5.4 實驗三: 輸入?yún)^(qū)間預(yù)測實驗
        5.4.1 基準(zhǔn)程序
        5.4.2 實驗設(shè)定
        5.4.3 實驗結(jié)果分析
    5.5 本章小結(jié)
6 總結(jié)與展望
    6.1 本文工作總結(jié)
    6.2 未來工作展望
參考文獻
簡歷與科研成果
致謝


【參考文獻】：
期刊論文
[1]基于輸出域的測試用例自動生成方法研究[J]. 尤楓,趙瑞蓮,呂珊珊.  計算機研究與發(fā)展. 2016(03)

碩士論文
[1]面向復(fù)雜路徑約束的線性擬合求解方法改進與擴展研究[D]. 周巖.南京大學(xué) 2016
[2]線性擬合制導(dǎo)的面向CDC/MCDC的測試用例自動生成方法[D]. 歐建生.南京大學(xué) 2015
[3]基于線性擬合函數(shù)的面向路徑覆蓋的測試數(shù)據(jù)自動生成技術(shù)研究[D]. 成新.南京大學(xué) 2014
[4]分量線性擬合函數(shù)驅(qū)動的測試數(shù)據(jù)自動生成技術(shù)研究[D]. 丁文旭.南京大學(xué) 2012



本文編號：3733764