Spec Explorer 2010 Visual Studio Power Tool


Spec Explorer 2010 is a Visual Studio Power Tool for Model-Based Testing (MBT).

(12) Review
Visual Studio
2012, 2010
Download (33,050)
E-mail Twitter del.icio.us Digg Facebook
Add to favorites
Reviews (12)
Sign in to write a review
Sort by:

by RachidP | April 07 2015

Spec Explorer is a tool that really gives me the feeling that I am testing in the 21st Century

Please see following site and vote to support SE in new version of VS.


by Johanun | March 30 2015

Hi all,
I am redirected to this page by https://social.msdn.microsoft.com/Forums/vstudio/en-US/ad08b20e-cf10-4745-b49e-d8f62bcf9950/spec-explorer-error-while-exploring-when-using-requirementcapture-statement-in-instance?forum=vstest
Original message:

When exploring an instance-based model and using the Requirement.Capture("..."); statement the following error is returned in the debug output window:
FATAL ERROR: Object reference not set to an instance of an object.
at Microsoft.SpecExplorer.VS.SpecExplorerPackage.RecoverFromFatalError(Exception exception)

The Requirement.Capture("...") statement is used in a non-static method of the model. When this statement is executed in a static model method the model can be explored and no errors are returned.
I searched for examples using requirements coverage and instance-based models but I only found examples with static models. Is it possible to use parameter coverage in Spec Explorer with instance-based models? The API of Requirement.Capture does not explicitly mention that this method must be executed in a static context.

by hungfut | March 04 2014

It's a very nice tool for model based test development, but we need a version that work with VS2013 as we are upgrading.

A suggestion has been created in the VS UserVoice site here, if you think this feature is important please cast your vote there!


by LeeWays | February 04 2014

It works with Visual Studio Express 2012 or Visual Studio Premium 2012?

by JetiAndresito | January 27 2014

I installed VS 2010 and Spec Explorer 2010.

If I try to Create a new project I see only "Test Project" in Instelled Templates --> Visual C# --> Test, but I don't see the "Spec Explorer Basic Solution" Project type.

In the education video there is both project types listed:

Could someone suggest me a solution to this problem?

by mweyburn | January 07 2014

Well worth the time to take and run/understand the examples, which really is learning the MS Modeling Language. Otherwise, need good C# experience to write a good adapter.

by Guqing Fang | October 20 2011

by bububa | October 10 2011

These unique features give comfortable control over the generated test cases:

*Specify the system under test using c# or the integrated constraint programming (CP) lib. Using c# all paths are explored. Using CP everything stays symbolic. Both can be mixed as needed, so only those parts are explored you really want.
Example: An algo which has an absolute-function on the input. You don't want to test this branch for pos/neg values. Use CP for the abs-function and this branch will not be covered.

*Slice specified systems with scenarios or other models. Big explored models can be searched for the paths you are interested in.
Example: A web-shop. Search now for a path which can undo the deletion of an item, without putting the item again in the cart.

*Spec Explorer is a real generalist. The features are still usable in many different domains.
Example: Timed systems. The additional time added to every state is not cluttering the system. Spec Explorer is a simulation tool, a time planner, optimization tool, algebraic equation solver any many more.

Conclusion: A magic swiss army knife for all kinds of problems ranging from modeling, search, simulation and calculation.

by sturk | March 04 2011

didnt try it. I like to see the reviews.

by sdoucet | October 16 2010

by mikamikooo | September 29 2010