了得網研究生_航天型號高可靠軟件繫統調試原理與技術

商品搜索

类别：

关键字：

商品分类

　研究生
　 工学
　 公共课
　 经济管理
　 理学
　 农学
　 文法类
　 医学

　音乐
　 音乐理论

　声乐　通俗音乐　音乐欣赏　钢琴　二胡　小提琴

航天型號高可靠軟件繫統調試原理與技術
該商品所屬分類：研究生 -> 工學
【市場價】	321-467元
【優惠價】	201-292元
【作者】	蔡銘等編著
【所屬類別】	圖書教材研究生/本科/專科教材工學
【出版社】	中國宇航出版社
【ISBN】	9787802184244
【折扣說明】	一次購物滿999元台幣免運費+贈品一次購物滿2000元台幣95折+免運費+贈品一次購物滿3000元台幣92折+免運費+贈品一次購物滿4000元台幣88折+免運費+贈品
【本期贈品】	①優質無紡布環保袋，做工棒！②品牌簽字筆 ③品牌手帕紙巾

版本	正版全新電子版PDF檔
您已选择：	正版全新
溫馨提示：如果有多種選項，請先選擇再點擊加入購物車。 . 電子圖書價格是0.69折，例如了得網價格是100元，電子書pdf的價格則是69元。 . 購買電子書不支持貨到付款，購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。 *. 如果收到的電子書不滿意，可以聯絡我們退款。謝謝。

內容介紹

開本：大32開

紙張：膠版紙

包裝：平裝

是否套裝：否

國際標準書號ISBN：9787802184244

作者：蔡銘等編著

出版社：中國宇航出版社

出版時間：2010年09月

內容簡介

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

第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軍事衛星第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章軟件調試技術評價
參考文獻

在線試讀

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

網友評論我們期待著您對此商品發表評論

相關商品

商品搜索

商品分类

【醫學】

【各大出版社】