You are previewing Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester.
O'Reilly logo
Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester

Book Description

Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB® Model-Based Tester—Foundation Level Certification Syllabus

This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB® Foundation Level Model-Based Tester Certification. The text begins with an introduction to MBT, covering both the benefits and the limitations of MBT. The authors review the various approaches to model-based testing, explaining the fundamental processes in MBT, the different modeling languages used, common good modeling practices, and the typical mistakes and pitfalls. The book explains the specifics of MBT test implementation, the dependencies on modeling and test generation activities, and the steps required to automate the generated test cases. The text discusses the introduction of MBT in a company, presenting metrics to measure success and good practices to apply. 

  • Provides case studies illustrating different approaches to Model-Based Testing
  • Includes in-text exercises to encourage readers to practice modeling and test generation activities
  • Contains appendices with solutions to the in-text exercises, a short quiz to test readers, along with additional information
Model-Based Testing Essentials – Guide to the ISTQB® Certified Model-Based Tester – Foundation Level is written primarily for participants of the ISTQB® Certification: software engineers, test engineers, software developers, and anybody else involved in software quality assurance. This book can also be used for anyone who wants a deeper understanding of software testing and of the use of models for test generation.

Table of Contents

  1. TITLE PAGE
  2. COPYRIGHT
  3. DEDICATION
  4. FOREWORD BY GUALTIERO BAZZANA
  5. FOREWORD BY ROBERT V. BINDER
  6. PREFACE
    1. THE ISTQB CERTIFIED TESTER FOUNDATION LEVEL – MODEL-BASED TESTER
    2. HOW THIS BOOK IS ORGANIZED?
    3. ACKNOWLEDGMENTS
  7. 1 INTRODUCTION TO MODEL-BASED TESTING
    1. 1.1 WHY DO WE NEED NEW APPROACHES TO TESTING?
    2. 1.2 WHAT IS MODEL-BASED TESTING?
    3. 1.3 BENEFITS OF MBT
    4. 1.4 PITFALLS OF MBT
    5. 1.5 WHAT CAN YOU REALISTICALLY EXPECT?
  8. 2 WHAT YOU SHOULD KNOW ABOUT MBT BEFORE STARTING
    1. 2.1 ISTQB MBT GLOSSARY TERMS USED IN THIS BOOK
    2. 2.2 OTHER TERMS TO KNOW
    3. 2.3 THE MODELING LANGUAGES USED IN THIS BOOK
  9. 3 PROCESS ASPECTS OF MBT
    1. 3.1 MBT AND THE FUNDAMENTAL TEST PROCESS
    2. 3.2 THE TYPICAL MBT PROCESS
    3. 3.3 MBT AND SOFTWARE DEVELOPMENT LIFECYCLES
    4. 3.4 HOW MBT SUPPORTS REQUIREMENT ENGINEERING
  10. 4 ASPECTS TO CONSIDER BEFORE YOU START WRITING AN MBT MODEL
    1. 4.1 PRELIMINARY CONSIDERATIONS ON MBT MODELING
    2. 4.2 SUBJECT AND FOCUS OF YOUR MBT MODEL
    3. 4.3 THE INFLUENCE OF TEST OBJECTIVES ON MBT MODELS
  11. 5 MODELING LANGUAGES – THE AGONY OF CHOICE
    1. 5.1 MAIN CATEGORIES OF MODELING LANGUAGES
    2. 5.2 UML AND BPMN
    3. 5.3 OTHER GRAPHICAL MODELING LANGUAGES USED FOR MBT
    4. 5.4 TEXTUAL MODELING LANGUAGES USED FOR MBT
    5. 5.5 HOW TO SELECT THE APPROPRIATE MODELING LANGUAGE
  12. 6 GOOD MBT MODELING PRACTICES
    1. 6.1 QUALITY CHARACTERISTICS FOR MBT MODELS
    2. 6.2 TYPICAL MISTAKES AND PITFALLS IN MBT MODEL DESIGN
    3. 6.3 LINKING REQUIREMENTS AND PROCESS-RELATED INFORMATION TO THE MBT MODEL
    4. 6.4 THE SIGNIFICANCE OF MODELING GUIDELINES FOR MBT
    5. 6.5 THE QUESTION OF REUSING MODELS FROM OTHER DEVELOPMENT ACTIVITIES
    6. 6.6 TOOL SUPPORT FOR MBT MODELING ACTIVITIES
    7. 6.7 ITERATIVE MBT MODEL DEVELOPMENT
    8. 6.8 OTHER RECOMMENDATIONS
  13. 7 HOW MBT RELATES TO TEST DESIGN TECHNIQUES?
    1. 7.1 EQUIVALENCE PARTITIONING AND BOUNDARY VALUE ANALYSIS
    2. 7.2 DECISION TABLES
    3. 7.3 STATE TRANSITION TESTING
    4. 7.4 USE CASE TESTING
  14. 8 DERIVING TESTS FROM AN MBT MODEL
    1. 8.1 TAXONOMY OF SELECTION CRITERIA
    2. 8.2 TEST CASE SELECTION IN PRACTICE
    3. 8.3 EXAMPLES OF COVERAGE CRITERIA
    4. 8.4 PROS AND CONS OF SPECIFIC TEST SELECTION CRITERIA
    5. 8.5 SOME RECOMMENDATIONS REGARDING TEST CASE SELECTION
    6. 8.6 DEGREE OF AUTOMATION IN TEST GENERATION
  15. 9 EXECUTING MODEL-BASED TESTS
    1. 9.1 UNDERSTANDING THE CONCEPTS
    2. 9.2 ADAPTING TEST CASES FOR AUTOMATED EXECUTION
    3. 9.3 ADAPTING MBT ARTIFACTS DUE TO CHANGES
  16. 10 INTRODUCING MBT IN YOUR COMPANY
    1. 10.1 FIVE STEPS TO MBT ADOPTION
    2. 10.2 RETURN-ON-INVEST CONSIDERATIONS
    3. 10.3 PRIORITIZE YOUR ORGANIZATIONAL OBJECTIVES
    4. 10.4 HOW TO MEASURE PROGRESS AND SUCCESS?
    5. 10.5 DEPLOYING MBT
    6. 10.6 INITIAL AND RUNNING COSTS OF MBT
    7. 10.7 INTEGRATING THE TOOLS
  17. 11 CASE STUDIES
    1. 11.1 ENTERPRISE IT MODEL-BASED TESTING – ORANGEHRM CASE STUDY
    2. 11.2 MBT FOR PROCESS-SUPPORTING SW – TOOL VALIDATION CASE STUDY
    3. 11.3 MBT FOR SECURITY COMPONENTS – PKCS#11 CASE STUDY
  18. 12 CONCLUSIONS
  19. APPENDIX A SOLUTIONS OF EXERCISES
  20. APPENDIX B TEST YOURSELF
  21. APPENDIX C TAXONOMY OF MBT APPROACHES
  22. ABBREVIATIONS
  23. TERMS AND DEFINITIONS
    1. ISTQB Terms
    2. Other Terms
  24. REFERENCES
  25. INDEX
  26. End User License Agreement