軟件調試思想

定　價：￥45.00

作　者：	（美國）梅茨格著、尹曉峰等譯
出版社：	電子工業(yè)出版社
叢編項：	國外IT精品叢書
標　簽：	暫缺

購買這本書可以去

ISBN：	9787120000899	出版時間：	2004-10-01	包裝：	平裝
開本：		頁數(shù)：	439	字數(shù)：

內容簡介

　　當我初學編程時，我發(fā)現(xiàn)測試與調試這一過程是令人沮喪的。我當時使用Selectrictvlaewriters與分時系統(tǒng)進行交互，Selectrictypewriters的“速度驚人”可以達到每秒15個字符，我可以記起當時我是如何用力Selectrictypewriters的堅硬金屬外殼的。然而bug并未因為我的敲擊而更快地消失。在我印象當中，從未有老師教授過我如何測試和調試程序。在我從事軟件開發(fā)的近3年中，軟件開發(fā)業(yè)的諸多方面都發(fā)生了變化，編程語言已經(jīng)更為普及并且不再陽春白雪。業(yè)界已經(jīng)引入了更好的軟件開發(fā)方法學，而且這些方法學還將被更為優(yōu)秀的方法學所替代。微處理器已經(jīng)無所不在，軟件也成為了諸多新產(chǎn)品的驅動力量。將我初學編程時所使用的價值數(shù)百萬美元的IBM大型機與我編寫本書時所使用的筆記本電腦相比，后者有更快的處理器、更多的內存以及更大的磁盤空間。然而一些事情仍未變化，軟件產(chǎn)品仍有太多的bug，軟件開發(fā)者依然花費著過多的時間查找并解決bug。正在學習編程的人們在使用試錯法上花費了太多的時間。我編寫本書的目的在于給廣大讀者介紹一套系　

作者簡介

　　RobertMetzger在28年中曾為多個軟件和計算機系統(tǒng)供應商做過應用程序員、系統(tǒng)程序員、軟件培訓經(jīng)理、應用程序員經(jīng)理和系統(tǒng)程序員經(jīng)理，現(xiàn)在他是惠曾公司高性能技術計算機分部的高級工程師。他的專業(yè)領域包括優(yōu)化編譯器、軟件開發(fā)工具和設計GUI應用。

圖書目錄

1 簡介
1.1 問題的本質
1.2 六種思維方式
1.3 軟件工程的兩個時期
1.4 調試及開發(fā)方法學
1.5 小結
2 福爾摩斯
2.1 前言
2.2 偵探的世界觀
2.3 偵探小說
2.4 福爾摩斯的性格特征
2.5 福爾摩斯的方法
2.6 小結
3 彼特.溫西勛爵
3.1 前言
3.2 彼特.溫西勛爵的性格特征
3.3 彼特.溫西勛爵的破案方法
3.4 小結
4 Professor solomon
4.1 前言]
4.2 Professor solomon
4.3 小結
5 案例精解系統(tǒng)1
5.1 案例精解1
6 解決數(shù)學問題
6.1 前言
6.2 數(shù)學家的世界觀
6.3 Polya和數(shù)學問題
6.4 作為數(shù)學證據(jù)的文章
6.5 Schoenfeld 和解決數(shù)學問題
6.6 將Schoenfeld方法使用到軟件調試
6.7 小結
7 調試策略
7.1 前言
7.2 評價機制
7.3 二分查找策略
7.4 貪婪搜索策略
7.5 寬度優(yōu)先策略
7.6 深度優(yōu)先搜索策略
7.7 程序切片策略
7.8 演譯分析策略
7.9 歸納分析策略
7.10 如何選擇策略
7.11 小結
8 啟發(fā)式調試方法
8.1 前言
8.2 穩(wěn)定程序
8.3 創(chuàng)建測試用例
8.4 減少必要的輸入
8.5 問題分類
8.6 描述問題
8.7 將問題解釋給他人聽
8.8 回想相似的問題
8.9 繪制圖表
8.10 從既有材料中選擇假設
8.11 小結
9 調試的手段
9.1 前言
9.2 閱讀源代碼
9.3 編寫單元測試
9.4 顯示變量的值
9.5 顯示執(zhí)行情況的信息
9.6 顯示過程的參數(shù)
9.7 生成流的跟路蹤
9.8 生成變量的快照
9.9 生成內存的轉儲
9.10 強制設置變量值
9.11 斷言假設
9.12 檢查數(shù)據(jù)結構
9.13 顯示數(shù)據(jù)結構
9.14 使用運行時的下標檢查
9.15 使用運行時的棧檢查
9.16 使用運行時的堆檢查
9.17 初始化全局變量
9.18 初始化本地變量
9.19 改變存儲的類別
9.20 使用不同的編譯器
9.21 編譯為匯編代碼
9.22 在不同的平臺上執(zhí)行
9.23 小結
10 案例精解系統(tǒng)II
10.1 案例精解2
10.2 案例精解3
11 安全專家的方式
11.1 前言
11.2 安全專家的世界觀
11.3 根本原因分析
11.4 軟件缺陷根本原因
11.5 原因和事件圖
11.6 故障樹分析
11.7 小結
12 心理學家的方式
12.1 前言
12.2 心理學家的世界觀
12.3 人類認識模型
12.4 定義和分類人類的錯誤
12.5 解釋錯誤原因
12.6 研究回顧
12.7 小結
13 工程師的方式
13.1 前言
13.2 工程師的世界觀
13.3 根據(jù)開發(fā)階段分類錯誤
13.4 避免開發(fā)階段的錯誤
13.5 根據(jù)編碼規(guī)范避免錯誤
13.6 建立調試基礎
13.7 小結
14 計算機科學家的方式
14.1 前言
14.2 計算機科學家的世界觀
14.3 根據(jù)語言形式分類錯誤
14.4 根據(jù)語言形式探測編程錯誤
14.5 靜態(tài)分析工具
14.6 動態(tài)分析工具
14.7 分析比較
14.8 小結
15 回到工作
15.1 回顧方法
15.2 度量你的工作
15.3 瀏覽我們的Web站點
詞匯表
附錄A 根本原因檢查清單
附錄B 關于調試的書籍
附錄C 推薦軟件
參考文獻