軟件測試-一個軟件工藝師的方法 (原書第5版) 9787111752639 保羅.C.喬根森 拜倫.德弗里斯
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：機械工業
物品所在地：中國大陸
原出版社：機械工業
NT$820
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202406*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：軟件測試-一個軟件工藝師的方法 (原書第5版) ISBN：9787111752639 出版社：機械工業 著編譯者：保羅.C.喬根森 拜倫.德弗里斯 叢書名：計算機科學叢書 頁數：404 所在地：中國大陸 *此為代購商品 書號：1642162 可大量預訂，請先連絡。 【台灣高等教育出版社簡體書】 軟件測試-一個軟件工藝師的方法 (原書第5版) 787111752639 保羅.C.喬根森 拜倫.德弗里斯 內容簡介 本書是經典的軟體測試教材，綜合闡述了軟體測試的基礎知識和方法，既涉及基於模型的開發，又介紹了測試驅動的開發，做到了理論與實踐的完美結合，反映了軟體標準和開發的新進展。作者擁有豐富的軟體開發和測試領域的教學和研發經驗，他在書中藉助精心挑選的實例，把軟體測試理論與實踐緊密結合，講解循序漸進、層次分明，便於讀者理解。作者簡介 保羅·C 喬根森（Paul C Jorgensen）博士從事電話交換系統軟體開發工作20年，這是他的第一份職業。他於1986年開始了大學教學工作，先在位於亞利桑那州坦佩市的亞利桑那州立大學教授研究生的軟體工程課程，後於1988年在位於密歇根州阿倫達爾的大峽谷州立大學擔任正教授。在從事學術工作之餘，他還短暫從事過「軟體范型」的諮詢業務。他曾服務於數據系統語言會議（CODASYL）、計算機協會（ACM）、電氣和電子工程師協會（IEEE）標準委員會。2012年，他所在大學以「傑出學科貢獻獎」表彰了他這一生的成就。 除了他的軟體測試書籍《Software Testing: A Craftsman's Approach》（第4版）之外，他還是《Modeling Software Behavior: A Craftsman's Approach》一書的作者，以及《Mathematics for Data Processing》（McGraw-Hill，1970）一書和《Structured Methods—Merging Models， Techniques， and CASE》（McGraw-Hill， 1993）一書的合著者。最近，Jorgensen博士參与了國際軟體測試評定委員會（ISTQB）的工作，他與人合作編寫了相關工作的高級教學大綱，並擔任了ISTQB術語工作組的副主席。他是ISTQB「基於模型的測試」教學大綱的審閱者。 在義大利生活和工作的三年，使他成為一個堅定的「Italophile」（喜愛義大利的人）。他和妻子Carol以及女兒Kirsten和Katia曾多次訪問那裡的朋友。自2000年以來，Paul和Carol每年夏天都會在南達科他州Pine Ridge保護區的Porcupine學校做志願者。他的大學電子郵件地址是jorgensp@gvsu edu，他在2017年夏天成為榮譽退休教授，也可以通過pauljorgensen42@gmail com聯繫他。目錄 譯者序前言 第一部分 數學背景 第1章 測試概覽 1 1 基本定義 1 2 測試用例 1 3 測試的Venn圖 1 4 確定測試用例 1 4 1 基於規範的測試 1 4 2 基於代碼的測試 1 4 3 基於規範和基於代碼之爭 1 5 錯誤的分類 1 6 測試級別 1 7 習題 1 8 參考文獻 第2章 案例 2 1 偽代碼和Java的結構元素 2 2 三角形問題 2 2 1 問題描述 2 2 2 問題分析 2 2 3 Java實現 2 3 NextDate程序 2 3 1 問題描述 2 3 2 問題分析 2 3 3 Java實現 2 4 「美食家」在線購物系統 2 4 1 問題描述 2 4 2 問題分析 2 5 車庫門控制系統 2 6 習題中的案例 2 6 1 四邊形程序 2 6 2 NextWeek程序 2 6 3 雨刷控制器 2 7 習題 2 8 參考文獻 第3章 軟體測試的離散數學基礎 3 1 集合論 3 1 1 集合中的元素 3 1 2 集合的定義 3 1 3 空集 3 1 4 Venn圖 3 1 5 集合運算 3 1 6 集合關係 3 1 7 集合劃分 3 1 8 集合恆等式 3 2 函數 3 2 1 定義域和值域 3 2 2 函數類型 3 2 3 函數組合 3 3 關係 3 3 1 集合間關係 3 3 2 單集合關係 3 4 命題邏輯 3 4 1 邏輯運算符 3 4 2 邏輯表達式 3 4 3 邏輯等價 3 4 4 概率論 3 5 習題 3 6 參考文獻 第4章 軟體測試的圖論基礎 4 1 圖 4 1 1 節點的度 4 1 2 關聯矩陣 4 1 3 鄰接矩陣 4 1 4 路徑 4 1 5 連通性 4 1 6 壓縮圖 4 1 7 環數 4 2 有向圖 4 2 1 入度和出度 4 2 2 節點類型 4 2 3 有向圖的鄰接矩陣 4 2 4 路徑和半路徑 4 2 5 可達矩陣 4 2 6 n-連通 4 2 7 強連通分量 4 3 測試中的圖 4 3 1 程序圖 4 3 2 有限狀態機 4 3 3 Petri網 4 3 4 事件驅動的Petri網 4 3 5 狀態圖 4 4 習題 4 5 參考文獻 第二部分 單元測試 第5章 邊界值測試 5 1 常規邊界值測試 5 1 1 通用邊界值分析 5 1 2 邊界值分析的局限性 5 2 魯棒邊界值測試 5 3 最壞情況邊界值測試 5 4 特殊值測試 5 5 案例 5 5 1 三角形問題的測試用例 5 5 2 NextDate程序的測試用例 5 6 隨機測試 5 7 邊界值測試指南 5 8 習題 第6章 等價類測試 6 1 等價類 6 2 傳統等價類測試 6 3 改進的等價類測試 6 3 1 弱等價類測試 6 3 2 強等價類測試 6 3 3 弱魯棒等價類測試 6 3 4 強魯棒等價類測試 6 4 三角形問題的等價類測試用例 6 5 NextDate函數的等價類測試用例 6 6 completeOrder方法的等價類測試用例 6 7 邊緣測試 6 8 關於無效等價類 6 9 等價類方法的使用指南 6 10 習題 6 11 參考文獻 第7章 基於決策表的測試 7 1 決策表 7 2 決策表技術 7 3 三角形問題的測試用例 7 4 NextDate函數的測試用例 7 4 1 第一輪測試 7 4 2 第二輪測試 7 4 3 第三輪測試 7 5 因果圖 7 6 基於決策表測試的指南 7 7 習題 7 8 參考文獻 第8章 基於代碼的測試 8 1 程序流程圖 8 2 DD路徑 8 3 代碼覆蓋 8 3 1 基於程序流程圖的覆蓋 8 3 2 Miller的覆蓋 8 3 3 剖析組合條件 8 3 4 案例 8 4 基本路徑測試 8 4 1 McCabe的基本路徑法 8 4 2 McCabe基本路徑測試的觀察 8 4 3 基本複雜度 8 5 基於代碼測試的指南 8 6 習題 8 7 參考文獻 第9章 面向對象軟體測試 9 1 單元測試框架 9 1 1 通用的單元測試框架 9 1 2 JUnit 9 2 模擬對象和自動對象模擬 9 3 數據流測試 9 3 1 定義-使用測試的定義 9 3 2 定義-使用測試度量 9 3 3 定義-使用測試的例子 9 4 面向對象的複雜度度量 9 4 1 類中方法權重 9 4 2 繼承樹深度 9 4 3 子類個數 9 4 4 類間耦合度 9 4 5 類的響應 9 4 6 內聚性缺失 9 5 面向對象軟體測試中的問題 9 5 1 組合和封裝的含義 9 5 2 繼承的含義 9 5 3 多態的含義 9 6 基於切片的測試技術 9 6 1 案例 9 6 2 類型和技術 9 6 3 切片拼接 9 6 4 程序切片工具 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
