Practical Model Based Testing A Tools Approach 1st Edition by Mark Utting, Bruno Legeard ISBN 1493300911 9781493300914

Practical Model Based Testing A Tools Approach 1st Edition by Mark Utting, Bruno Legeard – Ebook PDF Instant Download/Delivery. 1493300911 ,9781493300914
Full download Practical Model Based Testing A Tools Approach 1st Edition after payment

Product details: 
ISBN 10: 1493300911
ISBN 13: 9781493300914
Author: Mark Utting, Bruno Legeard

This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.

The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems.

From this book you will learn:

* The basic principles and terminology of model-based testing
* How model-based testing differs from other testing processes
* How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process
* The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market
* A step-by-step process for applying model-based testing
* How to write good models for model-based testing
* How to use a variety of test selection criteria to control the tests that are generated from your models
* How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments

* Presents the basic principles and terminology of model-based testing
* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market
* Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies

Practical Model Based Testing A Tools Approach 1st Edition Table of contents:

1. Introduction to Model-Based Testing

• What is Model-Based Testing?
• Benefits of Model-Based Testing
• Challenges and Limitations

2. Models for Testing

• Types of Models
• Creating Testable Models
• Model Notations and Formalisms

3. The Model-Based Testing Process

• Overview of the Testing Lifecycle
• Building and Validating Models
• Generating and Executing Test Cases

4. Test Generation Algorithms

• Overview of Test Generation Techniques
• Coverage Criteria for Test Selection
• Strategies for Model Traversal

5. Adapting Tests for Execution

• From Abstract Tests to Concrete Tests
• Mapping Models to Real Systems
• Handling Test Environment Constraints

6. Evaluating Test Results

• Comparing Expected and Observed Behaviors
• Dealing with Non-Determinism in Models
• Reporting and Debugging Test Failures

7. Tool Support for Model-Based Testing

• Overview of Available Tools
• Features of Model-Based Testing Tools
• Integrating Tools into the Testing Process

8. Case Studies in Model-Based Testing

• Industry Applications and Examples
• Lessons Learned from Real Projects
• Cost-Benefit Analysis

9. Advanced Topics in Model-Based Testing

• Testing Non-Functional Requirements
• Combining Model-Based Testing with Other Methods
• Testing Systems with Complex Architectures

10. Future Directions and Research Trends

• Emerging Tools and Techniques
• Advances in Test Automation
• Challenges for Model-Based Testing

Appendices:

• Appendix A: Formal Definitions of Models and Coverage Criteria
• Appendix B: Examples of Models in Different Notations
• Appendix C: Tool Descriptions and Configurations

References

• Comprehensive Bibliography on Model-Based Testing

Index

People also search for Practical Model Based Testing A Tools Approach 1st Edition:

practical model-based testing a tools approach

practical model based testing a tools approach pdf

practical model based testing pdf

model based testing examples