Using Spec Explorer for the First Time

To start learning about Spec Explorer, you can use the skeleton projects in the solutions created by the Spec Explorer Model Wizard. More complex sample solutions are available in the Spec Explorer Code Samples. For more information about the code samples, see Finding the Code Samples. This branch of the documentation is a walkthrough of using Spec Explorer to:

1. Create the minimal static modeling solution generated by the Spec Explorer Model Wizard.

2. Explore and slice the model.

3. Generate test cases from the model.

4. Run the test cases that Spec Explorer generated.

Visual Studio and Spec Explorer are prerequisites for this walkthrough (see Getting and Installing Spec Explorer).

In This Section

This walkthrough covers the following steps.

1. Creating the Solution

2. Understanding the Solution

3. Working with the Solution

4. Working with Machines

5. Exploring a Machine

6. Looking at the Model Program

7. Defining a Machine

8. Slicing with Scenarios

9. Constructing the Test Cases

10. Generating and Running Test Cases

See Also

Concepts

Spec Explorer Overview

Other Resources

Getting Started with Spec Explorer