Spec Explorer 2010 Release 3.3

Hello again!  We are proudly announcing the newest version of Spec Explorer 2010, Release 3.3. The next step has been taken from being resident on DevLabs to being a Power Tool on Visual Studio gallery where you can find the new home page for Spec Explorer.

Spec Explorer 2010 Release 3.3 contains new features, continued improvement in documentation, plus over 100 bug fixes.

What’s New in Spec Explorer?

New features added in Release 3.3 include:

  • On-The-Fly (OTF) testing: On-The-Fly testing provides a new means to use Spec Explorer to create and run tests directly from models (machines). In On-The-Fly testing, the selection and evaluation of model actions (including events) is alternated with execution by the System Under Test/adapter.

  • Visual state search: This new feature in the Spec Explorer view enables the search for and highlighting of specific states.

  • Probe logging: Newly provided recording of probe values in states enhances analysis of test logs.

  • Test method customization: New control of test attributes in generated test code offers expanded support for other test frameworks in addition to the default one provided by Visual Studio.

Additionally, a Spec Explorer extension for UML is also being released at this time that is not included in the main Spec Explorer MSI and must be downloaded separately. Documentation for the UML extension can be found here.

Where can you get it?

  • The Spec Explorer downloads can be found on the Spec Explorer home page on Visual Studio Gallery.

  • See the on-line Release Notes for the latest, more detailed description of installation requirements, major features, bug fixes and known issues. Further information can also be found on The Spec Explorer Forum, The Spec Explorer Team Blog, and the latest Spec Explorer Help Documentation is always available in the MSDN library.

  • Please note that Spec Explorer 2010 Release 3.3 runs only on Visual Studio 2010 Professional Edition or higher. The 90 day trial version of Visual Studio 2010 can be found at here.

We hope you enjoy this release and look forward to your help by feedback and community involvement to continue making Spec Explorer better and better.

The Spec Explorer Team