Spec Explorer 2010 Version 3.5 Adds Improved Change Detection, Batch Processing
- Share
-
- |
Read later
My Reading List
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.
Community comments
Educational Content
Intro to CLP with core.logic
Ryan Senior Jun 18, 2013
Spock: A Highly Logical Way To Test
Howard Lewis Ship Jun 18, 2013
Java Garbage Collection Distilled
Martin Thompson Jun 17, 2013
C++11 The Future is Here
Bjarne Stroustrup Jun 16, 2013
The Big Data Revolution
Claudia Perlich Jun 16, 2013
Sponsored Links
Hello stranger!
You need to Register an InfoQ account 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