航天型號高可靠軟件系統(tǒng)調(diào)試原理與技術(shù)
定 價：65 元
叢書名：2016國家職業(yè)資格培訓教程
- 作者：蔡銘，程勝，王瑞 著
- 出版時間：2008/8/1
- ISBN：9787802184244
- 出 版 社：中國宇航出版社
- 中圖法分類：V47-39
- 頁碼：372
- 紙張：膠版紙
- 版次：1
- 開本：大32開
《航天型號高可靠軟件系統(tǒng)調(diào)試原理與技術(shù)》針對復雜航天型號對軟件系統(tǒng)的高可靠性要求，在深入分析軟件故障特征的基礎上，闡述了當前軟件調(diào)試手段與工具的技術(shù)分類體系，介紹了一批最新的、具有代表性的軟件調(diào)試技術(shù)，包括程序規(guī)則分析、用戶行為分析、虛擬化調(diào)試支持、故障重現(xiàn)與逆向調(diào)試、統(tǒng)計調(diào)試、不變式調(diào)試等內(nèi)容，以提高軟件故障診斷與分析的自動化、智能化程度，提高軟件調(diào)試效率，縮短軟件交付周期，提高航天型號軟件系統(tǒng)的可靠性。
《航天型號高可靠軟件系統(tǒng)調(diào)試原理與技術(shù)》主要讀者對象是航天型號軟件系統(tǒng)的設計人員、開發(fā)人員、測試人員及管理人員，也可作為其他科技人員了解和掌握高可靠軟件系統(tǒng)質(zhì)量保證與調(diào)試技術(shù)的參考書。
隨著航天型號功能的日趨復雜，軟件在型號中的應用越來越多，其規(guī)模和復雜度也日趨上升。從近年來對型號問題的統(tǒng)計數(shù)據(jù)來看，由于軟件所導致的問題已占據(jù)一定比例。軟件已經(jīng)成為航天型號產(chǎn)品質(zhì)量和可靠性的關(guān)鍵因素之一。
調(diào)試和故障診斷是軟件研制過程中的重要環(huán)節(jié)，其主要的工作是針對故障現(xiàn)象完成故障的分析和定位，是保障和提高軟件質(zhì)量和可靠性的重要手段。目前，在型號軟件研制過程中，軟件調(diào)試工作絕大部分都依靠人工完成，尚未形成理論化、系統(tǒng)化、精確化、自動化的調(diào)試手段。
本書作者結(jié)合他們在開發(fā)高可靠復雜軟件方面的實際經(jīng)驗和研究成果，在深入分析軟件故障特征的基礎上，闡述當前軟件調(diào)試手段與工具的技術(shù)分類體系，并系統(tǒng)地介紹了當前國內(nèi)外最新的、具有代表性的相關(guān)研究成果和技術(shù)。通過這些手段的應用，可以提高軟件故障診斷與分析的自動化和智能化，快速、準確地定位故障，極大地提高軟件調(diào)試效率。希望本書的出版能對推動航天型號軟件可靠性工作起到積極作用。
第1章 軟件調(diào)試技術(shù)概述
1.1 軟件系統(tǒng)的“雙刃劍效應”
1.2 軟件質(zhì)量體系中的短板——調(diào)試技術(shù)
1.3 傳統(tǒng)軟件調(diào)試技術(shù)的局限性
1.4 軟件調(diào)試技術(shù)的發(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 國內(nèi)型號軟件中的bug
2.3.1 優(yōu)先級運算問題
2.3.2 程序結(jié)構(gòu)不合理問題
2.3.3 初始化不完備問題
2.3.4 原子性破壞問題
第3章 軟件bug分類及分布規(guī)律
3.1 軟件bug概述
3.1.1 關(guān)于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 內(nèi)存相關(guān)錯誤
3.3.2 初始化錯誤
3.3.3 計算錯誤
3.3.4 輸入輸出錯誤
3.3.5 控制流錯誤
3.3.6 數(shù)據(jù)處理解釋錯誤
3.3.7 競爭類錯誤
3.3.8 平臺相關(guān)錯誤
3.3.9 其他錯誤
3.4 當前軟件bug分布規(guī)律分析
3.5 軟件bug分布發(fā)展趨勢
3.6 對軟件調(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 動態(tài)內(nèi)存管理
4.2 內(nèi)存類錯誤調(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 符號執(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)分片調(diào)試
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 分片調(diào)試實例
6.4.1 采用可信度剪枝的動態(tài)程序分片
6.4.2 Delta調(diào)試和動態(tài)分片相結(jié)合的軟件調(diào)試方法
6.5 商品化的分片工具
第7章 Delta調(diào)試
7.1 Delta調(diào)試概述
7.2 Delta調(diào)試分類
7.2.1 簡化
7.2.2 分離
7.3 Delta調(diào)試基本原理
7.3.1 簡化算法
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 問題和局限性
第8章 統(tǒng)計調(diào)試
8.1 統(tǒng)計調(diào)試概述
8.1.1 統(tǒng)計調(diào)試的定義
8.1.2 統(tǒng)計調(diào)試的特點
8.1.3 統(tǒng)計調(diào)試的發(fā)展歷史
8.2 統(tǒng)計原理
8.2.1 常用分布
8.2.2 常用定理及統(tǒng)計推斷
8.3 統(tǒng)計調(diào)試分類
8.3.1 在線和離線統(tǒng)計調(diào)試
……
第9章 不變式調(diào)試
第10章 難以重現(xiàn)類bug調(diào)試
第11章 體系結(jié)構(gòu)擴展調(diào)試
第12章 基于數(shù)據(jù)挖掘的調(diào)試方法
第13章 軟件調(diào)試技術(shù)評價
參考文獻
書單推薦
