BT

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

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

Bookmarks

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
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.

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

Community comments

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

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

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.