BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

Spec Explorer 2010 Version 3.5 Adds Improved Change Detection, Batch Processing

| by Jenni Konrad on May 16, 2011. Estimated reading time: less than one minute |

Microsoft recently announced the release of Spec Explorer 2010 version 3.5. This extension for Visual Studio allows users to generate reusable test code and create, analyze and reproduce graphical models of software behavior. Spec Explorer models can be created either by writing rules in C#, or by defining action patterns using regular expressions. 

In addition to several bug fixes and documentation improvements, this release of Spec Explorer includes three enhanced features:
 
Model Change Detecting
This feature tracks all updates to a model, and automatically triggers a new exploration if changes are found. This will save time by avoiding extraneous validation. (Users are also able to force a new exploration at any time.)
 
Multiple Machine Processing
Users can now select multiple machines in Exploration Manager and perform batch processes (such as exploration or test code generation) on all of them at once.
 
Cord Context Menu
This is a new feature in the Cord editor. The “Go To Definition” context menu now navigates to a specific configuration or machine.
 
Spec Explorer 3.5 is only compatible with Visual Studio 2010, and can be downloaded from the Visual Studio Power Tools Gallery.

Rate this Article

Adoption Stage
Style

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread
Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Discuss

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT