針對軟件故障定位領(lǐng)域的關(guān)鍵科學(xué)問題，提出了“失效-故障定位-理解”模型，研究了測試用例優(yōu)選和基于程序不變量的故障定位方法。為了“大化地利用測試信息，選擇適合于故障定位的測試用例集合”，提出了面向有效故障定位的測試用例優(yōu)選方法；針對已有方法對不變量定義不完善導(dǎo)致可定位的缺陷種類有限、因缺少對失效狀態(tài)傳播的分析導(dǎo)致難于準確定位到失效產(chǎn)生根源等問題，提出了基于程序不變量分析多種缺陷類型和解析失效狀態(tài)傳播的故障定位方法。
第1章 緒論
1．1 課題背景及研究的目的和意義
1．2 “失效-故障定位-理解”模型
1．3 國內(nèi)外研究現(xiàn)狀
1．4 軟件故障定位的難點問題分析
1．5 本文的主要研究內(nèi)容和組織結(jié)構(gòu)
第2章 面向有效故障定位的測試用例優(yōu)選方法
2．1 引言
2．2 故障定位中測試用例選擇的相關(guān)研究
2．3 面向有效故障定位的測試用例優(yōu)選準則
2．4 測試用例優(yōu)選模型
2．5 測試用例優(yōu)選算法
2．6 實驗結(jié)果與分析
2．7 本章小結(jié)
第3章 基于程序不變量分析多種缺陷類型的故障定位
3．1 引言
3．2 相關(guān)研究
3．3 基于程序不變量的故障定位難點問題分析
3．4 研究框架
3．5 改進的程序不變量定義
3．6 三種粒度的程序插樁
3．7 兩類難以用不變量違背檢測的可疑語句的定位
3．8 測試用例優(yōu)選
3．9 程序不變量的學(xué)習(xí)及不變量違背的檢測
3．10 實驗結(jié)果與分析
3．11 本章小結(jié)
第4章 基于程序不變量解析失效狀態(tài)傳播的故障定位
4．1 引言
4．2 研究框架
4．3 基于到達定值分析的常量賦值語句故障定位
4．4 基于依賴的失效狀態(tài)傳播分析
4．5 基于不變量違背置信度的語句可疑度計算
4．6 實驗結(jié)果與分析
4．7 本章小結(jié)
第5章 基于示例解析失效狀態(tài)傳播的故障定位
5．1 引言
5．2 相關(guān)研究
5．3 代碼多樣化及失效狀態(tài)傳播問題分析
5．4 研究框架
5．5 實現(xiàn)形式多樣的相似程序識別與聚類
5．6 解析失效狀態(tài)傳播上下文的故障定位
5．7 實驗結(jié)果與分析
5．8 本章小結(jié)
結(jié)論
參考文獻
書單推薦
