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