Foreword |
|
xi | |
|
Foreword |
|
xiii | |
|
Preface |
|
xv | |
|
1 Introduction to model-based testing |
|
|
1 | (20) |
|
1.1 Why do we need new approaches to testing? |
|
|
1 | (1) |
|
1.2 What is model-based testing? |
|
|
2 | (3) |
|
|
5 | (8) |
|
|
13 | (6) |
|
1.5 What can you realistically expect? |
|
|
19 | (2) |
|
2 What you should know about MBT before starting |
|
|
21 | (14) |
|
2.1 ISTQB MBT glossary terms used in this book |
|
|
21 | (2) |
|
|
23 | (5) |
|
2.3 The modeling languages used in this book |
|
|
28 | (7) |
|
|
35 | (24) |
|
3.1 MBT and the fundamental test process |
|
|
35 | (3) |
|
3.2 The typical MBT process |
|
|
38 | (11) |
|
3.3 MBT and software development lifecycles |
|
|
49 | (6) |
|
3.4 How MBT supports requirement engineering |
|
|
55 | (4) |
|
4 Aspects to consider before you start writing an MBT model |
|
|
59 | (16) |
|
4.1 Preliminary considerations on MBT modeling |
|
|
59 | (6) |
|
4.2 Subject and focus of your MBT model |
|
|
65 | (5) |
|
4.3 The influence of test objectives on MBT models |
|
|
70 | (5) |
|
5 Modeling languages -- the agony of choice |
|
|
75 | (22) |
|
5.1 Main categories of modeling languages |
|
|
76 | (6) |
|
|
82 | (3) |
|
5.3 Other graphical modeling languages used for MBT |
|
|
85 | (5) |
|
5.4 Textual modeling languages used for MBT |
|
|
90 | (1) |
|
5.5 How to select the appropriate modeling language |
|
|
91 | (6) |
|
6 Good MBT modeling practices |
|
|
97 | (22) |
|
6.1 Quality characteristics for MBT models |
|
|
97 | (4) |
|
6.2 Typical mistakes and pitfalls in MBT model design |
|
|
101 | (2) |
|
6.3 Linking requirements and process-related information to the MBT model |
|
|
103 | (4) |
|
6.4 The significance of modeling guidelines for MBT |
|
|
107 | (1) |
|
6.5 The question of reusing models from other development activities |
|
|
108 | (4) |
|
6.6 Tool support for MBT modeling activities |
|
|
112 | (2) |
|
6.7 Iterative MBT model development |
|
|
114 | (1) |
|
6.8 Other recommendations |
|
|
115 | (4) |
|
7 How MBT relates to test design techniques? |
|
|
119 | (8) |
|
7.1 Equivalence partitioning and boundary value analysis |
|
|
119 | (3) |
|
|
122 | (1) |
|
7.3 State transition testing |
|
|
123 | (1) |
|
|
124 | (3) |
|
8 Deriving tests from an MBT model |
|
|
127 | (28) |
|
8.1 Taxonomy of selection criteria |
|
|
127 | (11) |
|
8.2 Test case selection in practice |
|
|
138 | (2) |
|
8.3 Examples of coverage criteria |
|
|
140 | (9) |
|
8.4 Pros and cons of specific test selection criteria |
|
|
149 | (3) |
|
8.5 Some recommendations regarding test case selection |
|
|
152 | (2) |
|
8.6 Degree of automation in test generation |
|
|
154 | (1) |
|
9 Executing model-based tests |
|
|
155 | (24) |
|
9.1 Understanding the concepts |
|
|
155 | (13) |
|
9.2 Adapting test cases for automated execution |
|
|
168 | (5) |
|
9.3 Adapting MBT artifacts due to changes |
|
|
173 | (6) |
|
10 Introducing MBT in your company |
|
|
179 | (22) |
|
10.1 Five steps to MBT adoption |
|
|
179 | (3) |
|
10.2 Return-on-invest considerations |
|
|
182 | (4) |
|
10.3 Prioritize your organizational objectives |
|
|
186 | (3) |
|
10.4 How to measure progress and success? |
|
|
189 | (2) |
|
|
191 | (2) |
|
10.6 Initial and running costs of MBT |
|
|
193 | (3) |
|
10.7 Integrating the tools |
|
|
196 | (5) |
|
|
201 | (40) |
|
11.1 Enterprise IT model-based testing -- OrangeHRM case study |
|
|
201 | (11) |
|
11.2 MBT for process-supporting SW -- Tool validation case study |
|
|
212 | (14) |
|
11.3 MBT for security components -- PKCS#11 case study |
|
|
226 | (15) |
|
|
241 | (4) |
Appendix A Solutions of exercises |
|
245 | (8) |
Appendix B Test yourself |
|
253 | (8) |
Appendix C Taxonomy of MBT approaches |
|
261 | (2) |
Abbreviations |
|
263 | (2) |
Terms and definitions |
|
265 | (1) |
ISTQB terms |
|
265 | (2) |
Other terms |
|
267 | (2) |
References |
|
269 | (4) |
Index |
|
273 | |