Using Spec Explorer

The functionality of Spec Explorer can be operated via one of the following:

  • A User Interface that is an add-on to that of Visual Studio

  • The command-line invocation of a stand-alone executable, SpecExplorer.exe

In addition to the operational aspects of using Spec Explorer, the tool also provides a comprehensive set of facilities to program models, validate them, analyze them via a powerful exploration facility, generate test suites from them, and perform on-the-fly (OTF) tests. This branch of the documentation covers these operational and programmatic ways of using Spec Explorer.

If you are new to Spec Explorer, a recommended first step is to follow a simple walkthrough, at Using Spec Explorer for the First Time. As a reminder, if you have ascended that initial learning curve, the first step in that walkthrough is to use the Model Wizard to create a static model template with minimal skeleton projects (see Creating the Solution). Once the static model solution has been created, Solution Explorer can be used to open its components for direct editing in the usual way within Visual Studio. One of the great benefits of being an integral part of Visual Studio is that, as you type in the various programming constructs of Spec Explorer (coding in C# or Cord), IntelliSense is supported and provides direct guidance for syntax.

Given a static model template, for more advanced control over the subsequent programming of a model, see guided step-by-step instructions in Modeling Guidance. A good way to continue gaining familiarity with Spec Explorer is to study the stand-alone samples that are installed with Spec Explorer (see Finding the Code Samples). Some of those samples showcase powerful modeling facilities provided in Spec Explorer and are covered in comprehensive walkthroughs in the Modeling Toolbox.

In This Section

See Also


Spec Explorer Overview
Using Spec Explorer for the First Time
Modeling Guidance

Other Resources

Spec Explorer
Modeling Toolbox