軟件調(diào)試過(guò)程是軟件開發(fā)和軟件維護(hù)中的重要階段,包括軟件缺陷的定位和修復(fù)等環(huán)節(jié)。目前,隨著軟件程序規(guī)模的日漸增長(zhǎng),軟件調(diào)試過(guò)程中花費(fèi)的成本也逐漸增多。并且,當(dāng)軟件缺陷發(fā)生時(shí),會(huì)造成軟件功能的失效,嚴(yán)重時(shí)甚至?xí)斐韶?cái)產(chǎn)的損失,因此盡快地修復(fù)軟件缺陷是一個(gè)重要的研究問(wèn)題。已有的軟件缺陷定位技術(shù)大多是基于測(cè)試用例執(zhí)行過(guò)程中程序的行為特征。在測(cè)試用例集執(zhí)行過(guò)程中,通過(guò)搜集程序執(zhí)行信息獲取待測(cè)程序的行為特征,根據(jù)失敗測(cè)試用例和成功測(cè)試用例的執(zhí)行信息對(duì)程序?qū)嶓w進(jìn)行排序,從而篩選出最有可能包含缺陷的程序?qū)嶓w。在基于測(cè)試用例集的方法中,基于頻譜的方法數(shù)量較多,特別是輕量級(jí)的頻譜構(gòu)造方式,這類定位統(tǒng)計(jì)的數(shù)據(jù)較少,僅僅簡(jiǎn)單統(tǒng)計(jì)程序?qū)嶓w在成功測(cè)試用例和失敗測(cè)試用例中的覆蓋信息,由于時(shí)間開銷較小也被用于自動(dòng)程序修復(fù)方法當(dāng)中。自動(dòng)程序修復(fù)方法基于缺陷定位的結(jié)果,采用不同類型的補(bǔ)丁生成算法生成程序補(bǔ)丁。隨后基于測(cè)試用例集或其他形式的程序規(guī)約對(duì)補(bǔ)丁的正確性進(jìn)行驗(yàn)證,從而篩選出正確的補(bǔ)丁對(duì)源程序進(jìn)行修復(fù)。目前缺陷定位和缺陷修復(fù)都是軟件工程領(lǐng)域活躍的研究問(wèn)題,近幾年這兩個(gè)領(lǐng)域都有較多的研究進(jìn)展,但在實(shí)際項(xiàng)目上的應(yīng)用仍有待...

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

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

【文章目錄】：
摘要
abstract
第1章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
        1.2.1 基于頻譜的軟件缺陷定位
        1.2.2 基于約束求解的程序自動(dòng)修復(fù)
        1.2.3 研究現(xiàn)狀分析與總結(jié)
    1.3 本文工作及組織結(jié)構(gòu)
        1.3.1 本文主要工作
        1.3.2 本文組織結(jié)構(gòu)
第2章 相關(guān)工作
    2.1 基于頻譜的軟件缺陷定位
    2.2 自動(dòng)程序修復(fù)方法
        2.2.1 自動(dòng)程序修復(fù)方法工作介紹
        2.2.2 Nopol方法流程介紹
    2.3 測(cè)試用例集評(píng)估
    2.4 相關(guān)工作總結(jié)
第3章 OnlineJudge程序缺陷實(shí)時(shí)定位及修復(fù)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)
    3.1 OnlineJudge程序缺陷實(shí)時(shí)定位及修復(fù)系統(tǒng)框架結(jié)構(gòu)
    3.2 OnlineJudge程序缺陷實(shí)時(shí)定位及修復(fù)系統(tǒng)實(shí)現(xiàn)
    3.3 實(shí)證研究框架
    3.4 評(píng)測(cè)數(shù)據(jù)集
        3.4.1 缺陷定位評(píng)測(cè)程序集
        3.4.2 程序修復(fù)方法評(píng)測(cè)數(shù)據(jù)集
    3.5 本章總結(jié)
第4章 缺陷定位及程序修復(fù)方法實(shí)證分析
    4.1 評(píng)測(cè)指標(biāo)
        4.1.1 缺陷定位方法評(píng)測(cè)指標(biāo)
        4.1.2 程序修復(fù)方法評(píng)測(cè)指標(biāo)
    4.2 缺陷定位方法實(shí)驗(yàn)結(jié)果分析
        4.2.1 單缺陷版本實(shí)證評(píng)估
        4.2.2 多缺陷版本實(shí)證評(píng)估
        4.2.3 缺陷定位實(shí)驗(yàn)結(jié)果總結(jié)
    4.3 缺陷修復(fù)方法實(shí)驗(yàn)結(jié)果分析
        4.3.1 缺陷分類修復(fù)實(shí)證評(píng)估
        4.3.2 修復(fù)方法有效性分析
    4.4 實(shí)驗(yàn)結(jié)果分析總結(jié)
第5章 修復(fù)補(bǔ)丁優(yōu)化算法
    5.1 補(bǔ)丁優(yōu)化算法框架
    5.2 補(bǔ)丁優(yōu)化算法分析
        5.2.1 有限狀態(tài)機(jī)概述
        5.2.2 補(bǔ)丁優(yōu)化算法詳述
    5.3 優(yōu)化結(jié)果
    5.4 修復(fù)補(bǔ)丁優(yōu)化算法總結(jié)
第6章 總結(jié)與展望
    6.1 本文工作總結(jié)
    6.2 下一步工作展望
參考文獻(xiàn)
發(fā)表論文和參加科研情況說(shuō)明
致謝



本文編號(hào)：3782582