隨著軟件產(chǎn)品的日益復(fù)雜,軟件故障無法避免。人工尋找軟件故障會耗費大量時間與精力,且最終能否找出錯誤還要依賴于程序人員的經(jīng)驗。如果能夠自動的進(jìn)行錯誤定位,則會大大降低軟件調(diào)試過程的時間與難度。基于變異分析的錯誤定位方法與已有的自動錯誤定位方法相比,擁有較高的定位精度。但由于變異算子的多樣性,該方法會產(chǎn)生大量的變異體,變異體執(zhí)行開銷巨大。目前,選擇變異是降低變異測試開銷的重要方法,已有的選擇變異方法通常是依據(jù)特定應(yīng)用背景下的經(jīng)驗固定地選用某些變異算子,雖然能夠在一定程度上降低變異測試的成本,但是由于缺少對真實錯誤修正模式的分析,導(dǎo)致所選變異算子生成的變異體不能有效地代表真實錯誤,降低了變異測試的有效性,更不利于定位軟件錯誤。針對以上的這些問題,本文主要完成了以下工作:首先,從版本控制系統(tǒng)中挖掘大量的錯誤文件與對應(yīng)的修正文件對,并分別為它們生成抽象語法樹。然后使用Gum Tree工具比對錯誤文件語法樹與修正文件語法樹,獲得錯誤語句及修正錯誤語句執(zhí)行的編輯操作。其次,得到變異模式并映射到相應(yīng)變異算子,構(gòu)建變異算子-修正模式庫。對每一類已知的變異算子,找到所有使用其進(jìn)行修正的錯誤實例,進(jìn)而獲取修...

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 研究目的與意義
    1.2 國內(nèi)外研究現(xiàn)狀
        1.2.1 錯誤定位的國內(nèi)外研究現(xiàn)狀
        1.2.2 變異分析的國內(nèi)外研究現(xiàn)狀
    1.3 課題研究的主要內(nèi)容及章節(jié)安排
第2章 版本控制系統(tǒng)中錯誤修正實例的挖掘
    2.1 引言
    2.2 版本控制系統(tǒng)中挖掘錯誤修正實例的總體思路
    2.3 錯誤修正文件的挖掘
    2.4 錯誤修正信息樹的獲取
        2.4.1 生成源程序的抽象語法樹
        2.4.2 重定義語法樹節(jié)點
        2.4.3 獲取編輯操作
        2.4.4 整合錯誤修正信息樹
        2.4.5 時間性能分析
    2.5 錯誤語句Token序列的提取
    2.6 本章小結(jié)
第3章 錯誤修正模式庫的構(gòu)建和新變異算子的挖掘
    3.1 引言
    3.2 錯誤修正模式庫的構(gòu)建的總體思路
    3.3 錯誤修正信息庫的構(gòu)建
        3.3.1 詞向量表示
        3.3.2 句向量表示
    3.4 變異算子-修正模式庫的構(gòu)建
        3.4.1 變異算子的基本概念
        3.4.2 變異模式的挖掘過程
        3.4.3 變異算子-修正模式庫結(jié)果
    3.5 基于頻繁序列挖掘的新變異算子發(fā)現(xiàn)
        3.5.1 頻繁序列挖掘算法prefix Span
        3.5.2 新變異算子發(fā)現(xiàn)流程
        3.5.3 新變異算子的發(fā)現(xiàn)結(jié)果
    3.6 本章小結(jié)
第4章 面向錯誤定位的變異算子推薦方法
    4.1 引言
    4.2 面向錯誤定位的變異算子推薦的總體思路
    4.3 目標(biāo)語句的獲取
    4.4 變異算子的推薦
    4.5 測試用例的優(yōu)選
    4.6 語句可疑度的計算
        4.6.1 基于變異分析的錯誤定位的總體思路
        4.6.2 語句可疑度的計算公式
    4.7 本章小結(jié)
第5章 面向錯誤定位的變異算子推薦有效性驗證
    5.1 實驗環(huán)境
    5.2 Defects4j數(shù)據(jù)集相關(guān)信息
        5.2.1 數(shù)據(jù)集介紹
        5.2.2 常用操作命令
    5.3 變異算子推薦有效性驗證
        5.3.1 實驗數(shù)據(jù)
        5.3.2 評價指標(biāo)
        5.3.3 實驗結(jié)果
    5.4 面向錯誤定位的變異算子推薦有效性驗證
        5.4.1 實驗數(shù)據(jù)
        5.4.2 評價指標(biāo)
        5.4.3 實驗結(jié)果
    5.5 本章小結(jié)
結(jié)論
參考文獻(xiàn)
致謝



本文編號：3808445