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

See Also