Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester

Anne Kramer, PhD, is Senior Consultant and Project Manager at sepp.med gmbh, a German IT service provider specializing in quality assurance. Dr. Kramer has actively participated in the elaboration of the new ISTQB® Certified Test Model-Based Testing Syllabus. Dr. Kramer teaches model-based testing as part of the sepp.med training portfolio.Bruno Legeard is Professor of Software Engineering at the University of Franche-Comté, co-founder and Scientific Advisor of Smartesting. Prof. Legeard is an ISTQB Certified Tester, member of the French Testing Board (CFTL) and he co-leads at ISTQB—International Software Testing Qualification Board—the writer of the new Certified Tester Model-Based Testing syllabus. He is a member of several program committees in software testing each year and an author of numerous publications in the field. In 2015, he became Program Chair of UCAAT—User Conference on Advanced Automated Testing.

• Foreword by Gualtiero Bazzana xiForeword by Robert V. Binder xiiiPreface xv1 Introduction to model-based testing 11.1 Why do we need new approaches to testing?, 11.2 What is model-based testing?, 21.3 Benefits of MBT, 51.4 Pitfalls of MBT, 131.5 What can you realistically expect?, 192 What you should know about MBT before starting 212.1 ISTQB MBT glossary terms used in this book, 212.2 Other terms to know, 232.3 The modeling languages used in this book, 283 Process aspects of MBT 353.1 MBT and the fundamental test process, 353.2 The typical MBT process, 383.3 MBT and software development lifecycles, 493.4 How MBT supports requirement engineering, 554 Aspects to consider before you start writing an MBT model 594.1 Preliminary considerations on MBT modeling, 594.2 Subject and focus of your MBT model, 654.3 The influence of test objectives on MBT models, 705 Modeling languages – the agony of choice 755.1 Main categories of modeling languages, 765.2 UML and BPMN, 825.3 Other graphical modeling languages used for MBT, 855.4 Textual modeling languages used for MBT, 905.5 How to select the appropriate modeling language, 916 Good MBT modeling practices 976.1 Quality characteristics for MBT models, 976.2 Typical mistakes and pitfalls in MBT model design, 1016.3 Linking requirements and process-related information to the MBT model, 1036.4 The significance of modeling guidelines for MBT, 1076.5 The question of reusing models from other development activities, 1086.6 Tool support for MBT modeling activities, 1126.7 Iterative MBT model development, 1146.8 Other recommendations, 1157 How MBT relates to test design techniques? 1197.1 Equivalence partitioning and boundary value analysis, 1197.2 Decision tables, 1227.3 State transition testing, 1237.4 Use case testing, 1248 Deriving tests from an MBT model 1278.1 Taxonomy of selection criteria, 1278.2 Test case selection in practice, 1388.3 Examples of coverage criteria, 1408.4 Pros and cons of specific test selection criteria, 1498.5 Some recommendations regarding test case selection, 1528.6 Degree of automation in test generation, 1549 Executing model-based tests 1559.1 Understanding the concepts, 1559.2 Adapting test cases for automated execution, 1689.3 Adapting MBT artifacts due to changes, 17310 Introducing MBT in your company 17910.1 Five steps to MBT adoption, 17910.2 Return-on-invest considerations, 18210.3 Prioritize your organizational objectives, 18610.4 How to measure progress and success?, 18910.5 Deploying MBT, 19110.6 Initial and running costs of MBT, 19310.7 Integrating the tools, 19611 Case studies 20111.1 Enterprise IT model-based testing – OrangeHRM case study, 20111.2 MBT for process-supporting SW – Tool validation case study, 21211.3 MBT for security components – PKCS#11 case study, 22612 Conclusions 241Appendix A Solutions of exercises 245Appendix B Test yourself 253Appendix C Taxonomy of MBT approaches 261Abbreviations 263Terms and definitions 265ISTQB terms, 265Other terms, 267References 269Index 273