Spec Explorer 2010 Release 3.1

Note: Now obsolete. Please use Release 3.2.

Greetings!  Today we are proud to announce of the newest version of Spec Explorer 2010, Release 3.1.

 

Running only on Visual Studio 2010 Release Candidate (RC), Spec Explorer 2010 Release 3.1 contains major enhancements, new features, and over 220 bug fixes.

What’s New in Spec Explorer?

Please note that core modeling attributes and classes have been renamed and revised to make them more consistent and clear. Spec Explorer users should be aware that the continued use of these deprecated items in this release will generate warning messages. Usage of the new attributes and classes is highly encouraged, as is migration of prior models and scripts from the older usage.

This release also contains significant new features including:

·         Flexible test naming and attributes: New and revised switches allow finer control over test case naming and attributes including the ability to construct switch values using system environment variables and newly provided Spec Explorer built-in variables.

·         Bounded repetition machine: Cord now supports additional ways to specify a repeating behavior for a specific number of times or a range of repetitions.

·         New project creation: The Spec Explorer model project template can now be used to create a new project within an existing or a new solution whereas only solutions could be created before.

·         Construct tag and switch completion: Cord now supports automatic completion of tags in the Construct statement and for switch names.

·         F1 help: the built-in Help Viewer of Visual Studio 2010 will display top level information for each type of window in Spec Explorer using the F1 key.

·         Help integration: Spec Explorer documentation is now fully integrated with the Help Manager to support both online MSDN Library viewing of help information and locally stored help content. The Help Manager can also be used to update the local copy of help documentation.

·         Exploration progress: Spec Explorer provides updated status to give a better indication of the progress being made during lengthy explorations and related algorithms.

·         User-customized post processing: User-defined post-exploration processing task can now be launched from within Visual Studio to generate additional artifacts.

Where can you get it?

·         The Spec Explorer downloads can be found on the Spec Explorer home page on DevLabs

·         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 for the MSDN library.

We hope you enjoy this release,
The Spec Explorer Team