Model-Based Testing for Embedded Systems

Model-Based Testing for Embedded Systems

by Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman
Released December 2017
Publisher(s): CRC Press
ISBN: 9781351833912

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Book description

What the experts have to say about Model-Based Testing for Embedded Systems:

"This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems.

"It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students."

—Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA

"This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems."

—Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway

"As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today."

—Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

Table of contents

  1. Front Cover
  2. Contents
  3. Preface
  4. Editors
  5. MATLAB Statement
  6. Contributors
  7. Technical Review Committee
  8. Book Introduction (1/2)
  9. Book Introduction (2/2)
  10. Part I: Introduction
    1. 1. A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains (1/4)
    2. 1. A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains (2/4)
    3. 1. A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains (3/4)
    4. 1. A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains (4/4)
    5. 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation (1/6)
    6. 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation (2/6)
    7. 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation (3/6)
    8. 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation (4/6)
    9. 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation (5/6)
    10. 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation (6/6)
    11. 3. Test Framework Architectures for Model-Based Embedded System Testing (1/6)
    12. 3. Test Framework Architectures for Model-Based Embedded System Testing (2/6)
    13. 3. Test Framework Architectures for Model-Based Embedded System Testing (3/6)
    14. 3. Test Framework Architectures for Model-Based Embedded System Testing (4/6)
    15. 3. Test Framework Architectures for Model-Based Embedded System Testing (5/6)
    16. 3. Test Framework Architectures for Model-Based Embedded System Testing (6/6)
  11. Part II: Automatic Test Generation
    1. 4. Automatic Model-Based Test Generation from UML State Machines (1/7)
    2. 4. Automatic Model-Based Test Generation from UML State Machines (2/7)
    3. 4. Automatic Model-Based Test Generation from UML State Machines (3/7)
    4. 4. Automatic Model-Based Test Generation from UML State Machines (4/7)
    5. 4. Automatic Model-Based Test Generation from UML State Machines (5/7)
    6. 4. Automatic Model-Based Test Generation from UML State Machines (6/7)
    7. 4. Automatic Model-Based Test Generation from UML State Machines (7/7)
    8. 5. Automated Statistical Testing for Embedded Systems (1/8)
    9. 5. Automated Statistical Testing for Embedded Systems (2/8)
    10. 5. Automated Statistical Testing for Embedded Systems (3/8)
    11. 5. Automated Statistical Testing for Embedded Systems (4/8)
    12. 5. Automated Statistical Testing for Embedded Systems (5/8)
    13. 5. Automated Statistical Testing for Embedded Systems (6/8)
    14. 5. Automated Statistical Testing for Embedded Systems (7/8)
    15. 5. Automated Statistical Testing for Embedded Systems (8/8)
    16. 6. How to Design Extended Finite State Machine Test Models in Java (1/5)
    17. 6. How to Design Extended Finite State Machine Test Models in Java (2/5)
    18. 6. How to Design Extended Finite State Machine Test Models in Java (3/5)
    19. 6. How to Design Extended Finite State Machine Test Models in Java (4/5)
    20. 6. How to Design Extended Finite State Machine Test Models in Java (5/5)
    21. 7. Automatic Testing of LUSTRE/SCADE Programs (1/5)
    22. 7. Automatic Testing of LUSTRE/SCADE Programs (2/5)
    23. 7. Automatic Testing of LUSTRE/SCADE Programs (3/5)
    24. 7. Automatic Testing of LUSTRE/SCADE Programs (4/5)
    25. 7. Automatic Testing of LUSTRE/SCADE Programs (5/5)
    26. 8. Test Generation Using Symbolic Animation of Models (1/6)
    27. 8. Test Generation Using Symbolic Animation of Models (2/6)
    28. 8. Test Generation Using Symbolic Animation of Models (3/6)
    29. 8. Test Generation Using Symbolic Animation of Models (4/6)
    30. 8. Test Generation Using Symbolic Animation of Models (5/6)
    31. 8. Test Generation Using Symbolic Animation of Models (6/6)
  12. Part III: Integration and Multilevel Testing
    1. 9. Model-Based Integration Testing with Communication Sequence Graphs (1/5)
    2. 9. Model-Based Integration Testing with Communication Sequence Graphs (2/5)
    3. 9. Model-Based Integration Testing with Communication Sequence Graphs (3/5)
    4. 9. Model-Based Integration Testing with Communication Sequence Graphs (4/5)
    5. 9. Model-Based Integration Testing with Communication Sequence Graphs (5/5)
    6. 10. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing (1/5)
    7. 10. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing (2/5)
    8. 10. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing (3/5)
    9. 10. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing (4/5)
    10. 10. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing (5/5)
    11. 11. Multilevel Testing for Embedded Systems (1/6)
    12. 11. Multilevel Testing for Embedded Systems (2/6)
    13. 11. Multilevel Testing for Embedded Systems (3/6)
    14. 11. Multilevel Testing for Embedded Systems (4/6)
    15. 11. Multilevel Testing for Embedded Systems (5/6)
    16. 11. Multilevel Testing for Embedded Systems (6/6)
    17. 12. Model-Based X-in-the-Loop Testing (1/8)
    18. 12. Model-Based X-in-the-Loop Testing (2/8)
    19. 12. Model-Based X-in-the-Loop Testing (3/8)
    20. 12. Model-Based X-in-the-Loop Testing (4/8)
    21. 12. Model-Based X-in-the-Loop Testing (5/8)
    22. 12. Model-Based X-in-the-Loop Testing (6/8)
    23. 12. Model-Based X-in-the-Loop Testing (7/8)
    24. 12. Model-Based X-in-the-Loop Testing (8/8)
  13. Part IV: Specific Approaches
    1. 13. A Survey of Model-Based Software Product Lines Testing (1/9)
    2. 13. A Survey of Model-Based Software Product Lines Testing (2/9)
    3. 13. A Survey of Model-Based Software Product Lines Testing (3/9)
    4. 13. A Survey of Model-Based Software Product Lines Testing (4/9)
    5. 13. A Survey of Model-Based Software Product Lines Testing (5/9)
    6. 13. A Survey of Model-Based Software Product Lines Testing (6/9)
    7. 13. A Survey of Model-Based Software Product Lines Testing (7/9)
    8. 13. A Survey of Model-Based Software Product Lines Testing (8/9)
    9. 13. A Survey of Model-Based Software Product Lines Testing (9/9)
    10. 14. Model-Based Testing of Hybrid Systems (1/9)
    11. 14. Model-Based Testing of Hybrid Systems (2/9)
    12. 14. Model-Based Testing of Hybrid Systems (3/9)
    13. 14. Model-Based Testing of Hybrid Systems (4/9)
    14. 14. Model-Based Testing of Hybrid Systems (5/9)
    15. 14. Model-Based Testing of Hybrid Systems (6/9)
    16. 14. Model-Based Testing of Hybrid Systems (7/9)
    17. 14. Model-Based Testing of Hybrid Systems (8/9)
    18. 14. Model-Based Testing of Hybrid Systems (9/9)
    19. 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester (1/6)
    20. 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester (2/6)
    21. 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester (3/6)
    22. 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester (4/6)
    23. 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester (5/6)
    24. 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester (6/6)
    25. 16. Model-Based Passive Testing of Safety-Critical Components (1/7)
    26. 16. Model-Based Passive Testing of Safety-Critical Components (2/7)
    27. 16. Model-Based Passive Testing of Safety-Critical Components (3/7)
    28. 16. Model-Based Passive Testing of Safety-Critical Components (4/7)
    29. 16. Model-Based Passive Testing of Safety-Critical Components (5/7)
    30. 16. Model-Based Passive Testing of Safety-Critical Components (6/7)
    31. 16. Model-Based Passive Testing of Safety-Critical Components (7/7)
  14. Part V: Testing in Industry
    1. 17. Applying Model-Based Testing in the Telecommunication Domain (1/8)
    2. 17. Applying Model-Based Testing in the Telecommunication Domain (2/8)
    3. 17. Applying Model-Based Testing in the Telecommunication Domain (3/8)
    4. 17. Applying Model-Based Testing in the Telecommunication Domain (4/8)
    5. 17. Applying Model-Based Testing in the Telecommunication Domain (5/8)
    6. 17. Applying Model-Based Testing in the Telecommunication Domain (6/8)
    7. 17. Applying Model-Based Testing in the Telecommunication Domain (7/8)
    8. 17. Applying Model-Based Testing in the Telecommunication Domain (8/8)
    9. 18. Model-Based GUI Testing of Smartphone Applications: Case S60TM and Linux® (1/4)
    10. 18. Model-Based GUI Testing of Smartphone Applications: Case S60TM and Linux® (2/4)
    11. 18. Model-Based GUI Testing of Smartphone Applications: Case S60TM and Linux® (3/4)
    12. 18. Model-Based GUI Testing of Smartphone Applications: Case S60TM and Linux® (4/4)
    13. 19. Model-Based Testing in Embedded Automotive Systems (1/7)
    14. 19. Model-Based Testing in Embedded Automotive Systems (2/7)
    15. 19. Model-Based Testing in Embedded Automotive Systems (3/7)
    16. 19. Model-Based Testing in Embedded Automotive Systems (4/7)
    17. 19. Model-Based Testing in Embedded Automotive Systems (5/7)
    18. 19. Model-Based Testing in Embedded Automotive Systems (6/7)
    19. 19. Model-Based Testing in Embedded Automotive Systems (7/7)
  15. Part VI: Testing at the Lower Levels of Development
    1. 20. Testing-Based Translation Validation of Generated Code (1/5)
    2. 20. Testing-Based Translation Validation of Generated Code (2/5)
    3. 20. Testing-Based Translation Validation of Generated Code (3/5)
    4. 20. Testing-Based Translation Validation of Generated Code (4/5)
    5. 20. Testing-Based Translation Validation of Generated Code (5/5)
    6. 21. Model-Based Testing of Analog Embedded Systems Components (1/4)
    7. 21. Model-Based Testing of Analog Embedded Systems Components (2/4)
    8. 21. Model-Based Testing of Analog Embedded Systems Components (3/4)
    9. 21. Model-Based Testing of Analog Embedded Systems Components (4/4)
    10. 22. Dynamic Verification of SystemC Transactional Models (1/5)
    11. 22. Dynamic Verification of SystemC Transactional Models (2/5)
    12. 22. Dynamic Verification of SystemC Transactional Models (3/5)
    13. 22. Dynamic Verification of SystemC Transactional Models (4/5)
    14. 22. Dynamic Verification of SystemC Transactional Models (5/5)

Product information

  • Title: Model-Based Testing for Embedded Systems
  • Author(s): Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman
  • Release date: December 2017
  • Publisher(s): CRC Press
  • ISBN: 9781351833912