دانلود کتاب Practical Model-Based Testing. A Tools Approach

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