滿額折
商品簡介
目次
商品簡介
本書是知名的“Craftsman”系列軟件測試書籍中的新作，主要討論基於模型的測試(MBT)技術。第壹部分講解理論知識，介紹了9種不同的測試模型。第二部分關注實踐方法，涵蓋6個商用的MBT產品和6個開源工具。書中設計了兩個貫穿各章的例子，一個簡單的保費計算系統，一個事件驅動的車庫門控系統，以幫助讀者深入理解建模過程和工具的應用技巧。
目次
目 錄The Craft of Model-Based Testing出版者的話譯者序前言致謝作者簡介第一部分 基於模型測試的模型理論第1章 基於模型測試概述 21.1 基本術語 21.2 事件 31.3 測試用例 41.4 測試用例的執行框架 41.5 MBT中的模型 41.6 ISTQB中的MBT擴展 51.7 MBT的形式 51.8 案例集 51.8.1 單元級問題：保費計算 51.8.2系統級問題：車庫門控系統 61.8.3 其他案例 71.9 MBT的技術現狀 8參考文獻 9第2章 流程圖 102.1 定義與表示法 102.2 技術詳解 102.3 案例分析 122.3.1 日期計算函數 122.3.2 風寒指數表 122.3.3 保費計算流程圖 132.3.4 車庫門控系統流程圖 132.4 基於流程圖派生的測試用例 152.4.1 保費計算問題的測試用例 152.4.2 車庫門控系統的測試用例 172.5 優勢與局限 182.6 經驗教訓 20參考文獻 20第3章 決策表 213.1 定義與表示法 213.2 技術詳解 223.2.1 決策表的精簡 223.2.2 有互斥條件的決策表 223.2.3 冗餘和不一致的決策表 243.2.4 決策表引擎 243.3 案例分析 253.3.1 日期計算函數 253.3.2 汽車刮水器控制器 263.3.3 鐵路道口門控制器 273.4 基於決策表派生的測試用例 283.4.1 保費計算問題的決策表 283.4.2 車庫門控系統的決策表 303.4.3 車庫門控系統的測試用例 313.5 優勢與局限 323.6 經驗教訓 32參考文獻 33第4章 有限狀態機 344.1 定義與表示法 344.1.1 有限狀態機的矩陣表達 354.1.2 有限狀態機的文本表達 364.1.3 有限狀態機的慣例與約束 364.2 技術詳解 384.2.1 有限狀態機的解釋 384.2.2 有限狀態機的實踐 404.2.3 有限狀態機引擎 404.3 案例分析 414.3.1 汽車刮水器控制器 414.3.2 鐵路道口門控制器 434.4 基於有限狀態機派生的測試用例 444.4.1 保費計算問題 454.4.2 車庫門控系統 464.5 經驗教訓 474.6 優勢與局限 48參考文獻 49第5章 Petri網 505.1 定義與表示法 505.1.1 可變遷與可點火 515.1.2 慣例 515.1.3 非圖形化的表達方式 525.2 技術詳解 535.2.1 順序、選擇和循環 545.2.2 可用、不可用和激活 555.2.3 觸發 555.2.4 掛起、恢復和暫停 555.2.5 衝突和優先級 565.2.6 互斥 565.2.7 同步 565.2.8 標記和可用序列 575.2.9 Petri網和有限狀態機 585.2.10 Petri網引擎 585.3 案例分析 595.3.1 生產者-消費者問題 595.3.2 汽車刮水器控制器 615.4 基於Petri網派生的測試用例 625.4.1 保費計算問題 635.4.2 車庫門控系統 655.5 經驗教訓 695.6 優勢與局限 70參考文獻 71第6章 事件驅動的Petri網 726.1 定義與表示法 736.1.1 可變遷與可點火 746.1.2 慣例 766.1.3 非圖形化的表達方式 766.2 技術詳解 776.2.1 上下文敏感輸入事件 786.2.2 多原因輸出事件 786.2.3 事件靜默 786.2.4 事件驅動Petri網的引擎 786.2.5事件驅動Petri網的優勢與局限 796.3 案例分析 796.3.1 鐵路道口門控制器 796.3.2 汽車刮水器控制器 806.4基於事件驅動Petri網派生的測試用例 826.4.1 保費計算問題836.4.2 車庫門控系統 836.5 經驗教訓 896.6 優勢與局限 91參考文獻 92第7章 狀態圖 937.1 定義與表示法 937.2 技術詳解 957.2.1 基於廣播機制的交互 967.2.2 狀態圖引擎 967.2.3基於狀態圖派生的測試用例 977.3 案例分析 987.3.1 鐵路道口門控制器 987.3.2 汽車刮水器控制器 987.4 後續問題 997.4.1 保費計算問題 997.4.2 車庫門控系統 997.5 經驗教訓 1047.6 優勢與局限 105參考文獻 105第8章 泳道型事件驅動的Petri網 1068.1 定義與表示法 1068.1.1 可變遷與可點火 1068.1.2泳道型事件驅動的Petri網中的事件 1078.2 技術詳解 1078.2.1 使用泳道模型 1078.2.2 “模型檢驗” 1098.2.3基於泳道型事件驅動的Petri網派生的測試用例 1108.3 後續問題 1128.3.1 保費計算問題 1128.3.2 車庫門控系統 1128.4泳道型事件驅動的Petri網派生的測試用例 1208.5 經驗教訓 120參考文獻 121第9章 面向對象的模型 1229.1 定義與表示法 1239.1.1 用例圖 1249.1.2 活動圖 1259.1.3 狀態圖 1269.1.4 順序圖 1269.2 案例分析 1279.3 後續問題 1279.3.1 保費計算問題 1279.3.2 車庫門控系統 1289.4基於UML模型派生的測試用例 1389.4.1 基於活動圖的測試用例 1389.4.2 基於用例的測試用例 1389.4.3 基於用例圖的測試用例 1399.4.4 基於順序圖的測試用例 1399.4.5 基於狀態圖的測試用例 1399.5 優勢與局限 139參考文獻 141第10章 業務流程建模和標識 142
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。