解析失效狀態(tài)傳播的軟件故障定位方法

第1章 緒論
1．1 課題背景及研究的目的和意義
1．2 “失效-故障定位-理解”模型
1．3 國(guó)內(nèi)外研究現(xiàn)狀
1．4 軟件故障定位的難點(diǎn)問題分析
1．5 本文的主要研究?jī)?nèi)容和組織結(jié)構(gòu)
第2章 面向有效故障定位的測(cè)試用例優(yōu)選方法
2．1 引言
2．2 故障定位中測(cè)試用例選擇的相關(guān)研究
2．3 面向有效故障定位的測(cè)試用例優(yōu)選準(zhǔn)則
2．4 測(cè)試用例優(yōu)選模型
2．5 測(cè)試用例優(yōu)選算法
2．6 實(shí)驗(yàn)結(jié)果與分析
2．7 本章小結(jié)
第3章 基于程序不變量分析多種缺陷類型的故障定位
3．1 引言
3．2 相關(guān)研究
3．3 基于程序不變量的故障定位難點(diǎn)問題分析
3．4 研究框架
3．5 改進(jìn)的程序不變量定義
3．6 三種粒度的程序插樁
3．7 兩類難以用不變量違背檢測(cè)的可疑語句的定位
3．8 測(cè)試用例優(yōu)選
3．9 程序不變量的學(xué)習(xí)及不變量違背的檢測(cè)
3．10 實(shí)驗(yàn)結(jié)果與分析
3．11 本章小結(jié)
第4章 基于程序不變量解析失效狀態(tài)傳播的故障定位
4．1 引言
4．2 研究框架
4．3 基于到達(dá)定值分析的常量賦值語句故障定位
4．4 基于依賴的失效狀態(tài)傳播分析
4．5 基于不變量違背置信度的語句可疑度計(jì)算
4．6 實(shí)驗(yàn)結(jié)果與分析
4．7 本章小結(jié)
第5章 基于示例解析失效狀態(tài)傳播的故障定位
5．1 引言
5．2 相關(guān)研究
5．3 代碼多樣化及失效狀態(tài)傳播問題分析
5．4 研究框架
5．5 實(shí)現(xiàn)形式多樣的相似程序識(shí)別與聚類
5．6 解析失效狀態(tài)傳播上下文的故障定位
5．7 實(shí)驗(yàn)結(jié)果與分析
5．8 本章小結(jié)
結(jié)論
參考文獻(xiàn)