航天型號高可靠軟件係統調試原理與技術 pdf epub mobi txt 电子书 下载 2025

☆☆☆☆☆

蔡銘，程勝，王瑞 著

齣版社： 中國宇航齣版社

ISBN：9787802184244

版次：1

商品編碼：10476938

包裝：精裝

開本：大32開

齣版時間：2008-08-01

用紙：膠版紙

頁數：372

字數：339000

正文語種：中文

內容簡介

《航天型號高可靠軟件係統調試原理與技術》針對復雜航天型號對軟件係統的高可靠性要求，在深入分析軟件故障特徵的基礎上，闡述瞭當前軟件調試手段與工具的技術分類體係，介紹瞭一批最新的、具有代錶性的軟件調試技術，包括程序規則分析、用戶行為分析、虛擬化調試支持、故障重現與逆嚮調試、統計調試、不變式調試等內容，以提高軟件故障診斷與分析的自動化、智能化程度，提高軟件調試效率，縮短軟件交付周期，提高航天型號軟件係統的可靠性。
《航天型號高可靠軟件係統調試原理與技術》主要讀者對象是航天型號軟件係統的設計人員、開發人員、測試人員及管理人員，也可作為其他科技人員瞭解和掌握高可靠軟件係統質量保證與調試技術的參考書。

目錄

第1章 軟件調試技術概述
1.1 軟件係統的“雙刃劍效應”
1.2 軟件質量體係中的短闆——調試技術
1.3 傳統軟件調試技術的局限性
1.4 軟件調試技術的發展概況
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軍事衛星
2.3 國內型號軟件中的bug
2.3.1 優先級運算問題
2.3.2 程序結構不閤理問題
2.3.3 初始化不完備問題
2.3.4 原子性破壞問題

第3章 軟件bug分類及分布規律
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 數據處理解釋錯誤
3.3.7 競爭類錯誤
3.3.8 平颱相關錯誤
3.3.9 其他錯誤
3.4 當前軟件bug分布規律分析
3.5 軟件bug分布發展趨勢
3.6 對軟件調試技術的需求

第4章 內存類bug調試
4.1 內存類bug産生原因
4.1.1 內存類bug現狀
4.1.2 動態內存管理
4.2 內存類錯誤調試支持工具
4.2.1 Insure++
4.2.2 Purify
4.2.3 Valgrind

第5章 靜態分析調試
5.1 靜態分析概述
5.2 典型靜態分析技術
5.2.1 基於規則的檢查
5.2.2 符號執行
5.2.3 定理證明
5.2.4 類型推導
5.2.5 抽象解釋
5.2.6 模型檢測
5.3 靜態分析工具
5.3.1 Testbed簡介
5.3.2 其他靜態分析工具簡介
5.4 靜態分析局限性

第6章 動態分片調試
6.1 什麼是程序分片
6.1.1 程序分片的發展曆史
6.1.2 程序分片的分類
6.1.3 程序分片的應用
6.2 靜態分片
6.2.1 靜態分片
6.2.2 Weiser的算法
6.2.3 Ottenstein的算法
6.2.4 基於係統依賴圖的算法
6.2.5 靜態分片和動態分片
6.3 動態分片
6.3.1 分片標準
6.3.2 def-use動態分片算法
6.3.3 Agrawal和Horgan的算法
6.4 分片調試實例
6.4.1 采用可信度剪枝的動態程序分片
6.4.2 Delta調試和動態分片相結閤的軟件調試方法
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章 統計調試
8.1 統計調試概述
8.1.1 統計調試的定義
8.1.2 統計調試的特點
8.1.3 統計調試的發展曆史
8.2 統計原理
8.2.1 常用分布
8.2.2 常用定理及統計推斷
8.3 統計調試分類
8.3.1 在綫和離綫統計調試
……
第9章 不變式調試
第10章 難以重現類bug調試
第11章 體係結構擴展調試
第12章 基於數據挖掘的調試方法
第13章 軟件調試技術評價
參考文獻

精彩書摘

第1章 軟件調試技術概述
1.1 軟件係統的“雙刃劍效應”
軟件係統作為計算機係統的神經中樞，已經延伸到現代武器型號設備、裝置中的各個角落，為瞭能夠適應各種復雜的空間環境和完成繁雜的空間任務，軟件係統的應用規模、復雜度以及重要性程度，近年來均呈急劇上升趨勢。例如：
·一個國際太空站需要上百萬行的軟件係統，控製各種導航、通信及實驗設備；
·美國航空航天局（NASA）的太空飛船項目中，其船載軟件代碼量大於50萬行，地麵控製和處理軟件代碼量約350萬行；
·我國神舟五號載人飛船中，船載軟件模塊共60餘個，軟件指令達70萬條，地麵支持係統的軟件規模則大於140萬條指令；在神舟六號飛船的7大係統、13個分係統中，軟件模塊規模進一步擴大到82個。
在型號設備的功能分布中，由軟件係統承擔的功能比重不斷加大。例如，在美國第二代殲擊機F-111中，由軟件部分所實現的功能約占20％，到瞭第四代機F-22，這個比例已上升為80％。與此相類似，在我國新研的軍用飛機中，其飛控係統、火控係統及彈射救生係統等，均采用軟件係統逐步替代原有的機械、光學設備，實現其控製，某些機種的機載代碼量已超過瞭百萬行量級。
由於軟件錯誤直接造成係統失效的比例持續遞增，據1986年的統計數據錶明，係統失效事件中誘因是軟件錯誤的比例約占25％，而到2000年，該比率已超過40％。軟件錯誤所導緻的經濟損失也觸目驚心，根據美國國傢標準技術研究所2002年6月公布的調查錶明，由於軟件錯誤導緻美國的經濟損失每年高達595億美元，約戰GDP的0.6％。
……

前言/序言

　　隨著航天型號功能的日趨復雜，軟件在型號中的應用越來越多，其規模和復雜度也日趨上升。從近年來對型號問題的統計數據來看，由於軟件所導緻的問題已占據一定比例。軟件已經成為航天型號産品質量和可靠性的關鍵因素之一。
　　調試和故障診斷是軟件研製過程中的重要環節，其主要的工作是針對故障現象完成故障的分析和定位，是保障和提高軟件質量和可靠性的重要手段。目前，在型號軟件研製過程中，軟件調試工作絕大部分都依靠人工完成，尚未形成理論化、係統化、精確化、自動化的調試手段。
　　本書作者結閤他們在開發高可靠復雜軟件方麵的實際經驗和研究成果，在深入分析軟件故障特徵的基礎上，闡述當前軟件調試手段與工具的技術分類體係，並係統地介紹瞭當前國內外最新的、具有代錶性的相關研究成果和技術。通過這些手段的應用，可以提高軟件故障診斷與分析的自動化和智能化，快速、準確地定位故障，極大地提高軟件調試效率。希望本書的齣版能對推動航天型號軟件可靠性工作起到積極作用。

评分☆☆☆☆☆

很好…………………………………………

评分☆☆☆☆☆

太舊瞭，封皮都是灰

评分☆☆☆☆☆

很好的書啊 ，很給你的京東

评分☆☆☆☆☆

太舊瞭，封皮都是灰

评分☆☆☆☆☆

很好的書啊 ，很給你的京東

评分☆☆☆☆☆

很好…………………………………………

评分☆☆☆☆☆

參考藉鑒航天的經驗，說的比較實在，值得一看。

评分☆☆☆☆☆

太舊瞭，封皮都是灰

评分☆☆☆☆☆

參考藉鑒航天的經驗，說的比較實在，值得一看。