基于模型的測試：一個軟件工藝師的方法

The Craft of Model-Based Testing 

出版者的話 

譯者序 

前言 

致謝 

作者簡介 

第一部分　基于模型測試的模型理論 

第1章　基于模型測試概述 2 

1.1　基本術(shù)語 2 

1.2　事件 3 

1.3　測試用例 4 

1.4　測試用例的執(zhí)行框架 4 

1.5　MBT中的模型 4 

1.6　ISTQB中的MBT擴(kuò)展 5 

1.7　MBT的形式 5 

1.8　案例集 5 

1.8.1　單元級問題：保費計算 5 

1.8.2系統(tǒng)級問題：車庫門控系統(tǒng) 6 

1.8.3　其他案例 7 

1.9　MBT的技術(shù)現(xiàn)狀 8 

參考文獻(xiàn) 9 

第2章　流程圖 10 

2.1　定義與表示法 10 

2.2　技術(shù)詳解 10 

2.3　案例分析 12 

2.3.1　日期計算函數(shù) 12 

2.3.2　風(fēng)寒指數(shù)表 12 

2.3.3　保費計算流程圖 13 

2.3.4　車庫門控系統(tǒng)流程圖 13 

2.4　基于流程圖派生的測試用例 15 

2.4.1　保費計算問題的測試用例 15 

2.4.2　車庫門控系統(tǒng)的測試用例 17 

2.5　優(yōu)勢與局限 18 

2.6　經(jīng)驗教訓(xùn) 20 

參考文獻(xiàn) 20 

第3章　決策表 21 

3.1　定義與表示法 21 

3.2　技術(shù)詳解 22 

3.2.1　決策表的精簡 22 

3.2.2　有互斥條件的決策表 22 

3.2.3　冗余和不一致的決策表 24 

3.2.4　決策表引擎 24 

3.3　案例分析 25 

3.3.1　日期計算函數(shù) 25 

3.3.2　汽車刮水器控制器 26 

3.3.3　鐵路道口門控制器 27 

3.4　基于決策表派生的測試用例 28 

3.4.1　保費計算問題的決策表 28 

3.4.2　車庫門控系統(tǒng)的決策表 30 

3.4.3　車庫門控系統(tǒng)的測試用例 31 

3.5　優(yōu)勢與局限 32 

3.6　經(jīng)驗教訓(xùn) 32 

參考文獻(xiàn) 33 

第4章　有限狀態(tài)機(jī) 34 

4.1　定義與表示法 34 

4.1.1　有限狀態(tài)機(jī)的矩陣表達(dá) 35 

4.1.2　有限狀態(tài)機(jī)的文本表達(dá) 36 

4.1.3　有限狀態(tài)機(jī)的慣例與約束 36 

4.2　技術(shù)詳解 38 

4.2.1　有限狀態(tài)機(jī)的解釋 38 

4.2.2　有限狀態(tài)機(jī)的實踐 40 

4.2.3　有限狀態(tài)機(jī)引擎 40 

4.3　案例分析 41 

4.3.1　汽車刮水器控制器 41 

4.3.2　鐵路道口門控制器 43 

4.4　基于有限狀態(tài)機(jī)派生的測試用例 44 

4.4.1　保費計算問題 45 

4.4.2　車庫門控系統(tǒng) 46 

4.5　經(jīng)驗教訓(xùn) 47 

4.6　優(yōu)勢與局限 48 

參考文獻(xiàn) 49 

第5章　Petri網(wǎng) 50 

5.1　定義與表示法 50 

5.1.1　可變遷與可點火 51 

5.1.2　慣例 51 

5.1.3　非圖形化的表達(dá)方式 52 

5.2　技術(shù)詳解 53 

5.2.1　順序、選擇和循環(huán) 54 

5.2.2　可用、不可用和激活 55 

5.2.3　觸發(fā) 55 

5.2.4　掛起、恢復(fù)和暫停 55 

5.2.5　沖突和優(yōu)先級 56 

5.2.6　互斥 56 

5.2.7　同步 56 

5.2.8　標(biāo)記和可用序列 57 

5.2.9　Petri網(wǎng)和有限狀態(tài)機(jī) 58 

5.2.10　Petri網(wǎng)引擎 58 

5.3　案例分析 59 

5.3.1　生產(chǎn)者-消費者問題 59 

5.3.2　汽車刮水器控制器 61 

5.4　基于Petri網(wǎng)派生的測試用例 62 

5.4.1　保費計算問題 63 

5.4.2　車庫門控系統(tǒng) 65 

5.5　經(jīng)驗教訓(xùn) 69 

5.6　優(yōu)勢與局限 70 

參考文獻(xiàn) 71 

第6章　事件驅(qū)動的Petri網(wǎng) 72 

6.1　定義與表示法 73 

6.1.1　可變遷與可點火 74 

6.1.2　慣例 76 

6.1.3　非圖形化的表達(dá)方式 76 

6.2　技術(shù)詳解 77 

6.2.1　上下文敏感輸入事件 78 

6.2.2　多原因輸出事件 78 

6.2.3　事件靜默 78 

6.2.4　事件驅(qū)動Petri網(wǎng)的引擎 78 

6.2.5事件驅(qū)動Petri網(wǎng)的優(yōu)勢與局限 79 

6.3　案例分析 79 

6.3.1　鐵路道口門控制器 79 

6.3.2　汽車刮水器控制器 80 

6.4基于事件驅(qū)動Petri網(wǎng)派生的測試用例 82 

6.4.1　保費計算問題 83 

6.4.2　車庫門控系統(tǒng) 83 

6.5　經(jīng)驗教訓(xùn) 89 

6.6　優(yōu)勢與局限 91 

參考文獻(xiàn) 92 

第7章　狀態(tài)圖 93 

7.1　定義與表示法 93 

7.2　技術(shù)詳解 95 

7.2.1　基于廣播機(jī)制的交互 96 

7.2.2　狀態(tài)圖引擎 96 

7.2.3基于狀態(tài)圖派生的測試用例 97 

7.3　案例分析 98 

7.3.1　鐵路道口門控制器 98 

7.3.2　汽車刮水器控制器 98 

7.4　后續(xù)問題 99 

7.4.1　保費計算問題 99 

7.4.2　車庫門控系統(tǒng) 99 

7.5　經(jīng)驗教訓(xùn) 104 

7.6　優(yōu)勢與局限 105 

參考文獻(xiàn) 105 

第8章　泳道型事件驅(qū)動的Petri網(wǎng) 106 

8.1　定義與表示法 106 

8.1.1　可變遷與可點火 106 

8.1.2泳道型事件驅(qū)動的Petri網(wǎng)中的事件 107 

8.2　技術(shù)詳解 107 

8.2.1　使用泳道模型 107 

8.2.2　“模型檢驗” 109 

8.2.3基于泳道型事件驅(qū)動的Petri網(wǎng)派生的測試用例 110 

8.3　后續(xù)問題 112 

8.3.1　保費計算問題 112 

8.3.2　車庫門控系統(tǒng) 112 

8.4泳道型事件驅(qū)動的Petri網(wǎng)派生的測試用例 120 

8.5　經(jīng)驗教訓(xùn) 120 

參考文獻(xiàn) 121 

第9章　面向?qū)ο蟮哪Ｐ?nbsp;122 

9.1　定義與表示法 123 

9.1.1　用例圖 124 

9.1.2　活動圖 125 

9.1.3　狀態(tài)圖 126 

9.1.4　順序圖 126 

9.2　案例分析 127 

9.3　后續(xù)問題 127 

9.3.1　保費計算問題 127 

9.3.2　車庫門控系統(tǒng) 128 

9.4基于UML模型派生的測試用例 138 

9.4.1　基于活動圖的測試用例 138 

9.4.2　基于用例的測試用例 138 

9.4.3　基于用例圖的測試用例 139 

9.4.4　基于順序圖的測試用例 139 

9.4.5　基于狀態(tài)圖的測試用例 139 

9.5　優(yōu)勢與局限 139 

參考文獻(xiàn) 141 

第10章　業(yè)務(wù)流程建模和標(biāo)識 142