Skip to content
Register Sign in Wishlist

Model-Based Software Testing and Analysis with C#

$53.99 (P)

  • Date Published: November 2007
  • availability: Available
  • format: Paperback
  • isbn: 9780521687614

$ 53.99 (P)

Add to cart Add to wishlist

Other available formats:
Hardback, eBook

Looking for an examination copy?

If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact providing details of the course you are teaching.

Product filter button
About the Authors
  • This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. The authors work through several realistic case studies in-depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

    • Works through several realistic case studies in depth and detail
    • Methods developed at Microsoft Research and used by Microsoft product groups
    • Source code for tools available on the web
    Read more

    Reviews & endorsements

    "This is a fascinating and well-written book. The writing style is highly readable and the authors wear their learning lightly. I warmly recommend this book."
    Software Engineering Notes

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Date Published: November 2007
    • format: Paperback
    • isbn: 9780521687614
    • length: 366 pages
    • dimensions: 234 x 175 x 16 mm
    • weight: 0.594kg
    • contains: 2 tables 43 exercises
    • availability: Available
  • Table of Contents

    Part I. Overview:
    1. Describe, analyze, test
    2. Why we need model-based testing
    3. Why we need model-based analysis
    4. Further reading
    Part II. Systems with Finite Models:
    5. Model programs
    6. Exploring and analyzing finite models
    7. Structuring model programs with features and composition
    8. Testing closed systems
    9. Further reading
    Part III. Systems with Complex States:
    10. Modeling systems with structured state
    11. Analyzing systems with complex state
    12. Testing systems with complex state
    13. Further reading
    Part IV. Advanced Topics:
    14. Compositional modeling
    15. Modeling objects
    16. Reactive systems
    17. Further reading
    Part V. Appendices: A. Modeling library reference
    B. Command reference
    C. Glossary
    D. Index.

  • Authors

    Jonathan Jacky, University of Washington
    Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College and has been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods.

    Margus Veanes, Microsoft Research, Redmond, Washington
    Colin Campbell has worked on model-based testing and analysis techniques for a number of years in industry, including Microsoft Research. He is a principal of the consulting firm Modeled Computation LLC in Seattle ( His current interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems.

    Colin Campbell, Modeled Computation LLC, Seattle, Washington
    Margus Veanes is a researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research and a co-designer and co-developer of the Spec Explorer tool.

    Wolfram Schulte, Microsoft Research, Redmond, Washington
    Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.

Sign In

Please sign in to access your account


Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.