Why Programs Fail:系統化調試指南

(德)澤勒

  • 出版商: 電子工業
  • 出版日期: 2007-02-28
  • 定價: $354
  • 售價: 8.5$301
  • 語言: 簡體中文
  • ISBN: 712103686X
  • ISBN-13: 9787121036866

無法訂購

買這商品的人也買了...

相關主題

商品描述

<本書簡介>

這是一本關於電腦程式中的Bug的書——如何定位Bug?如何重視Bug?以及如何修正Bug,使Bug不再出現?這是第一本全面討論系統調試的著作,其中不僅涵蓋了可適用於手工觀察直至全自動調試的大量工具和技術,還包括如何創建自動化調試器的指南。書中的論述都建立在程式故障起因的可靠理論之上,而不依賴於那些憑藉直覺和經驗的技術。本書適用於任何編程語言,並適合於有編程經驗的開發人員閱讀。

 

<內容特色>

 

調試一直是軟體發展過程中最痛苦的環節,本書有望改變這一現狀,因為它將調試的科學原理與業界的實踐經驗有機地融合起來,闡釋了有關發現和修正程式錯誤的最佳方法和實踐過程。
本書一共分為15章,以系統化的方式向讀者介紹了整個調試過程,從跟蹤和重現故障開始,一直到自動化和簡化測試用例,尋找故障最可能的來源,分離故障的起因和結果,並最終修正程式缺陷。本書不僅涵蓋了 delta調試、程式切片、觀察、監視、斷言、檢測反常等多種基本的靜態和動態程式分析技術,還用淺顯的語言說明如何使用一些調試領域最前沿的高水準調試工具。
本書適於那些希望掌握如何以系統化和自動化的方式調試程式的電腦編程人員、及相關專業的研究生以及高年級本科生。

 

<章節目錄>

 

1 故障從哪里來
2 跟蹤問題
3 讓程式出錯
4 重現問題
5 簡化問題
6 科學調試
7 推演錯誤
8 觀察事實
9 跟蹤錯誤來源
10 斷言預期結果
11 檢測反常
12 起因與結果
13 分離故障起因
14 分離因果鏈
15 修正缺陷
附錄A 規範定義
術語表
參考文獻
索引