航天型號高可靠軟件系統(tǒng)調試原理與技術

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