TOP
0
0
魅麗。花火原創小說66折起
航天型號高可靠軟件系統調試原理與技術(簡體書)
滿額折

航天型號高可靠軟件系統調試原理與技術(簡體書)

人民幣定價:65 元
定  價:NT$ 390 元
優惠價:87339
領券後再享89折
無庫存,下單後進貨(採購期約45個工作天)
可得紅利積點:10 點
相關商品
商品簡介
目次

商品簡介

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

目次

第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 阿里安
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 Boris Beizer分類體系
3.2.2 IEEE 1044—1994分類體系
3.2.3 QJ 3026—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章 靜態分析調試
第6章 動態分片調試
第7章 Delta調試
第8章 統計調試
第9章 不變式調試
第10章 難以重現類bug調試
第11章 體系結構擴展調試
第12章 基于數據挖掘的調試方法
第13章 軟件調試技術評價
參考文獻

您曾經瀏覽過的商品

購物須知

大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。

特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。

無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。

為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。

若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

優惠價:87 339
無庫存,下單後進貨
(採購期約45個工作天)

暢銷榜

客服中心

收藏

會員專區