Overview
Spec Explorer is a tool for creating models of software behavior, analyzing those models with graphical visualization, checking the validity of those models, and generating test cases from the models.
In this instructor-led, live training, participants will learn the theory and practice of model-based testing as they use Spec Explorer to create and execute MBT tests on a demo application.
By the end of this training, participants will be able to:
- Generate test cases by applying modeling strategies and techniques
- Manage test models for different types of software applications, systems and environments
- Evaluate, propose and implement an MBT strategy within an organization
- Understand and explain the benefits and challenges of MBT
Audience
- Test engineers
- Developers
Format of the course
- Part lecture, part discussion, exercises and heavy hands-on practice
Requirements
- Experience with C# .NET software development in Visual Studio
- An understanding software testing concepts
Course Outline
Introduction
Overview of Spec Explorer
Running Spec Explorer
Modeling
Naming Conventions
Integrating Spec Explorer into a continuous integration process
Troubleshooting
Closing remarks