發(fā)布時(shí)間：2023-01-31 05:53

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

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

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

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


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

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



本文編號(hào)：3733764