Practical Model-Based Testing. A Tools Approach

✍ Scribed by Mark Utting and Bruno Legeard (Eds.)

• Publisher: Morgan Kaufmann Publishers
• Year: 2006
• Tongue: English
• Leaves: 430
• Category: Library

✦ Synopsis

Content:
Preface, Pages xiii-xvii
About the Authors, Page xix
Chapter 1 - The challenge, Pages 1-18
Chapter 2 - The pain and the gain, Pages 19-57
Chapter 3 - A model of your system, Pages 59-105
Chapter 4 - Selecting your tests, Pages 107-137
Chapter 5 - Testing from finite state machines, Pages 139-185
Chapter 6 - Testing from pre/post models, Pages 187-250
Chapter 7 - Testing from UML transition-based models, Pages 251-282
Chapter 8 - Making tests executable, Pages 283-303
Chapter 9 - The GSM 11.11 case study, Pages 305-338
Chapter 10 - The ATM case study, Pages 339-370
Chapter 11 - Putting it into practice, Pages 371-389
Appendix A - Summary of B Abstract Machine Notation, Pages 391-395
Appendix B - Summary of Common OCL Constructs, Pages 397-400
Appendix C - Commercial Tools, Pages 401-403
Glossary, Pages 405-407
Bibliography, Pages 409-418
Index, Pages 419-433