基于模型的測(cè)試：一個(gè)軟件工藝師的方法

The Craft of Model-Based Testing 

出版者的話 

譯者序 

前言 

致謝 

作者簡(jiǎn)介 

第一部分　基于模型測(cè)試的模型理論 

第1章　基于模型測(cè)試概述 2 

1.1　基本術(shù)語(yǔ) 2 

1.2　事件 3 

1.3　測(cè)試用例 4 

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

1.5　MBT中的模型 4 

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

1.7　MBT的形式 5 

1.8　案例集 5 

1.8.1　單元級(jí)問(wèn)題：保費(fèi)計(jì)算 5 

1.8.2系統(tǒng)級(jí)問(wèn)題：車庫(kù)門控系統(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　日期計(jì)算函數(shù) 12 

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

2.3.3　保費(fèi)計(jì)算流程圖 13 

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

2.4　基于流程圖派生的測(cè)試用例 15 

2.4.1　保費(fèi)計(jì)算問(wèn)題的測(cè)試用例 15 

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

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

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

參考文獻(xiàn) 20 

第3章　決策表 21 

3.1　定義與表示法 21 

3.2　技術(shù)詳解 22 

3.2.1　決策表的精簡(jiǎn) 22 

3.2.2　有互斥條件的決策表 22 

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

3.2.4　決策表引擎 24 

3.3　案例分析 25 

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

3.3.2　汽車刮水器控制器 26 

3.3.3　鐵路道口門控制器 27 

3.4　基于決策表派生的測(cè)試用例 28 

3.4.1　保費(fèi)計(jì)算問(wèn)題的決策表 28 

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

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

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

3.6　經(jīng)驗(yàn)教訓(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ī)的實(shí)踐 40 

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

4.3　案例分析 41 

4.3.1　汽車刮水器控制器 41 

4.3.2　鐵路道口門控制器 43 

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

4.4.1　保費(fèi)計(jì)算問(wèn)題 45 

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

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

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

參考文獻(xiàn) 49 

第5章　Petri網(wǎng) 50 

5.1　定義與表示法 50 

5.1.1　可變遷與可點(diǎn)火 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)先級(jí) 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)者-消費(fèi)者問(wèn)題 59 

5.3.2　汽車刮水器控制器 61 

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

5.4.1　保費(fèi)計(jì)算問(wèn)題 63 

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

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

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

參考文獻(xiàn) 71 

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

6.1　定義與表示法 73 

6.1.1　可變遷與可點(diǎn)火 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ū)動(dòng)Petri網(wǎng)的引擎 78 

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

6.3　案例分析 79 

6.3.1　鐵路道口門控制器 79 

6.3.2　汽車刮水器控制器 80 

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

6.4.1　保費(fèi)計(jì)算問(wèn)題 83 

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

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

6.6　優(yōu)勢(shì)與局限 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)圖派生的測(cè)試用例 97 

7.3　案例分析 98 

7.3.1　鐵路道口門控制器 98 

7.3.2　汽車刮水器控制器 98 

7.4　后續(xù)問(wèn)題 99 

7.4.1　保費(fèi)計(jì)算問(wèn)題 99 

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

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

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

參考文獻(xiàn) 105 

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

8.1　定義與表示法 106 

8.1.1　可變遷與可點(diǎn)火 106 

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

8.2　技術(shù)詳解 107 

8.2.1　使用泳道模型 107 

8.2.2　“模型檢驗(yàn)” 109 

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

8.3　后續(xù)問(wèn)題 112 

8.3.1　保費(fèi)計(jì)算問(wèn)題 112 

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

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

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

參考文獻(xiàn) 121 

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

9.1　定義與表示法 123 

9.1.1　用例圖 124 

9.1.2　活動(dòng)圖 125 

9.1.3　狀態(tài)圖 126 

9.1.4　順序圖 126 

9.2　案例分析 127 

9.3　后續(xù)問(wèn)題 127 

9.3.1　保費(fèi)計(jì)算問(wèn)題 127 

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

9.4基于UML模型派生的測(cè)試用例 138 

9.4.1　基于活動(dòng)圖的測(cè)試用例 138 

9.4.2　基于用例的測(cè)試用例 138 

9.4.3　基于用例圖的測(cè)試用例 139 

9.4.4　基于順序圖的測(cè)試用例 139 

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

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

參考文獻(xiàn) 141 

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