Model-Based Testing for Embedded Systems

Contents......Page 6 Preface......Page 10 Editors......Page 12 MATLAB Statement......Page 15 Contributors......Page 16 Technical Review Committee......Page 20 Book Introduction......Page 22 Part I: Introduction......Page 30 1. A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains......Page 32 2. Behavioral System Models versus Models of Testing Strategies in Functional Test Generation......Page 52 3. Test Framework Architectures for Model-Based Embedded System Testing......Page 78 Part II: Automatic Test Generation......Page 104 4. Automatic Model-Based Test Generation from UML State Machines......Page 106 5. Automated Statistical Testing for Embedded Systems......Page 140 6. How to Design Extended Finite State Machine Test Models in Java......Page 176 7. Automatic Testing of LUSTRE/SCADE Programs......Page 200 8. Test Generation Using Symbolic Animation of Models......Page 224 Part III: Integration and Multilevel Testing......Page 250 9. Model-Based Integration Testing with Communication Sequence Graphs......Page 252 10. A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Testing......Page 274 11. Multilevel Testing for Embedded Systems......Page 298 12. Model-Based X-in-the-Loop Testing......Page 328 Part IV: Specific Approaches......Page 366 13. A Survey of Model-Based Software Product Lines Testing......Page 368 14. Model-Based Testing of Hybrid Systems......Page 412 15. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester......Page 454 16. Model-Based Passive Testing of Safety-Critical Components......Page 482 Part V: Testing in Industry......Page 514 17. Applying Model-Based Testing in the Telecommunication Domain......Page 516 18. Model-Based GUI Testing of Smartphone Applications: Case S60TM and Linux®......Page 554 19. Model-Based Testing in Embedded Automotive Systems......Page 574 Part VI: Testing at the Lower Levels of Development......Page 606 20. Testing-Based Translation Validation of Generated Code......Page 608 21. Model-Based Testing of Analog Embedded Systems Components......Page 630 22. Dynamic Verification of SystemC Transactional Models......Page 648 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 ex