航天型號(hào)高可靠軟件系統(tǒng)調(diào)試原理與技術(shù)

第1章 軟件調(diào)試技術(shù)概述
1.1 軟件系統(tǒng)的“雙刃劍效應(yīng)”
1.2 軟件質(zhì)量體系中的短板——調(diào)試技術(shù)
1.3 傳統(tǒng)軟件調(diào)試技術(shù)的局限性
1.4 軟件調(diào)試技術(shù)的發(fā)展概況
1.5 本書的組織
第2章 型號(hào)軟件中的bug分析
2.1 概述
2.2 國(guó)外型號(hào)軟件中的bug
2.2.1 金星探測(cè)器水手1號(hào)
2.2.2 阿里安5
2.2.3 火星氣候軌道器MCO
2.2.4 火星極地著陸器
2.2.5 Titan／Centaur／Milstar軍事衛(wèi)星
2.3 國(guó)內(nèi)型號(hào)軟件中的bug
2.3.1 優(yōu)先級(jí)運(yùn)算問(wèn)題
2.3.2 程序結(jié)構(gòu)不合理問(wèn)題
2.3.3 初始化不完備問(wèn)題
2.3.4 原子性破壞問(wèn)題
第3章 軟件bug分類及分布規(guī)律
3.1 軟件bug概述
3.1.1 關(guān)于bug的起源
3.1.2 軟件bug的定義
3.2 典型軟件bug分類體系簡(jiǎn)介
3.2.1 BorisBeizer分類體系
3.2.2 IEEE10441994分類體系
3.2.3 QJ3026-1998分類體系
3.3 c語(yǔ)言軟件bug分類體系
3.3.1 內(nèi)存相關(guān)錯(cuò)誤
3.3.2 初始化錯(cuò)誤
3.3.3 計(jì)算錯(cuò)誤
3.3.4 輸入輸出錯(cuò)誤
3.3.5 控制流錯(cuò)誤
3.3.6 數(shù)據(jù)處理解釋錯(cuò)誤
3.3.7 競(jìng)爭(zhēng)類錯(cuò)誤
3.3.8 平臺(tái)相關(guān)錯(cuò)誤
3.3.9 其他錯(cuò)誤
3.4 當(dāng)前軟件bug分布規(guī)律分析
3.5 軟件bug分布發(fā)展趨勢(shì)
3.6 對(duì)軟件調(diào)試技術(shù)的需求
第4章 內(nèi)存類bug調(diào)試
4.1 內(nèi)存類bug產(chǎn)生原因
4.1.1 內(nèi)存類bug現(xiàn)狀
4.1.2 動(dòng)態(tài)內(nèi)存管理
4.2 內(nèi)存類錯(cuò)誤調(diào)試支持工具
4.2.1 Insure++
4.2.2 Purify
4.2.3 Valgrind
第5章 靜態(tài)分析調(diào)試
5.1 靜態(tài)分析概述
5.2 典型靜態(tài)分析技術(shù)
5.2.1 基于規(guī)則的檢查
5.2.2 符號(hào)執(zhí)行
5.2.3 定理證明
5.2.4 類型推導(dǎo)
5.2.5 抽象解釋
5.2.6 模型檢測(cè)
5.3 靜態(tài)分析工具
5.3.1 Testbed簡(jiǎn)介
5.3.2 其他靜態(tài)分析工具簡(jiǎn)介
5.4 靜態(tài)分析局限性
第6章 動(dòng)態(tài)分片調(diào)試
6.1 什么是程序分片
6.1.1 程序分片的發(fā)展歷史
6.1.2 程序分片的分類
6.1.3 程序分片的應(yīng)用
6.2 靜態(tài)分片
6.2.1 靜態(tài)分片
6.2.2 Weiser的算法
6.2.3 Ottenstein的算法
6.2.4 基于系統(tǒng)依賴圖的算法
6.2.5 靜態(tài)分片和動(dòng)態(tài)分片
6.3 動(dòng)態(tài)分片
6.3.1 分片標(biāo)準(zhǔn)
6.3.2 def-use動(dòng)態(tài)分片算法
6.3.3 Agrawal和Horgan的算法
6.4 分片調(diào)試實(shí)例
6.4.1 采用可信度剪枝的動(dòng)態(tài)程序分片
6.4.2 Delta調(diào)試和動(dòng)態(tài)分片相結(jié)合的軟件調(diào)試方法
6.5 商品化的分片工具
第7章 Delta調(diào)試
7.1 Delta調(diào)試概述
7.2 Delta調(diào)試分類
7.2.1 簡(jiǎn)化
7.2.2 分離
7.3 Delta調(diào)試基本原理
7.3.1 簡(jiǎn)化算法
7.3.2 層次化Delta調(diào)試
7.3.3 分離故障起因
7.3.4 分離因果鏈
7.4 Delta調(diào)試工具舉例
7.4.1 ASKIGOR
7.4.2 DDchange和DDstate
7.5 問(wèn)題和局限性
第8章 統(tǒng)計(jì)調(diào)試
8.1 統(tǒng)計(jì)調(diào)試概述
8.1.1 統(tǒng)計(jì)調(diào)試的定義
8.1.2 統(tǒng)計(jì)調(diào)試的特點(diǎn)
8.1.3 統(tǒng)計(jì)調(diào)試的發(fā)展歷史
8.2 統(tǒng)計(jì)原理
8.2.1 常用分布
8.2.2 常用定理及統(tǒng)計(jì)推斷
8.3 統(tǒng)計(jì)調(diào)試分類
8.3.1 在線和離線統(tǒng)計(jì)調(diào)試
……
第9章 不變式調(diào)試
第10章 難以重現(xiàn)類bug調(diào)試
第11章 體系結(jié)構(gòu)擴(kuò)展調(diào)試
第12章 基于數(shù)據(jù)挖掘的調(diào)試方法
第13章 軟件調(diào)試技術(shù)評(píng)價(jià)
參考文獻(xiàn)