Spec Explorer

Spec Explorer is at the forefront of the Model-Based Testing (MBT) revolution in software testing. It is a tool that extends Microsoft® Visual Studio® 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.

For new features see the latest Spec Explorer Release Notes.

This documentation for Spec Explorer assumes that you are familiar with C# .NET software development in Visual Studio and with software testing. It does not assume a deep familiarity with MBT and helps you climb that learning curve--for MBT in general and for Spec Explorer's means of doing MBT in particular. If you want to immediately jump into trying out Spec Explorer, see the Using Spec Explorer for the First Time walkthrough.

In This Section

These are the major branches of the Spec Explorer documentation.