logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Practical Model-Based Testing. A Tools Approach Mark Utting And Bruno Legeard (eds.)

  • SKU: BELL-4341502
Practical Model-Based Testing. A Tools Approach Mark Utting And Bruno Legeard (eds.)
$ 31.00 $ 45.00 (-31%)

0.0

0 reviews

Practical Model-Based Testing. A Tools Approach Mark Utting And Bruno Legeard (eds.) instant download after payment.

Publisher: Morgan Kaufmann Publishers
File Extension: PDF
File size: 9.43 MB
Pages: 430
Author: Mark Utting and Bruno Legeard (Eds.)
ISBN: 9780123725011, 0123725011
Language: English
Year: 2006

Product desciption

Practical Model-Based Testing. A Tools Approach Mark Utting And Bruno Legeard (eds.) by Mark Utting And Bruno Legeard (eds.) 9780123725011, 0123725011 instant download after payment.

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

Related Products