Spec Explorer 2010 Visual Studio Power Tool

Spec Explorer 2010 release 3.3 is now available! "Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. Behavior is modeled in two ways: by writing rules in C# (with dynamic data-defined state spaces) and by […]

Spec Explorer 2010 release 3.3 is now available! "Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. Behavior is modeled in two ways: by writing rules in C# (with dynamic data-defined state spaces) and by defining model scenarios as action patterns in a regular-expression style."

New features include:

  • On-The-Fly (OTF) testing, that provides a new means to use Spec Explorer to create and run tests directly from models (machines). In On-The-Fly testing, the selection and evaluation of model actions (including events) is alternated with execution by the System Under Test/adapter.
  • Visual state search in Spec Explorer view enables the search for and highlighting of specific states.
  • Probe logging: Newly provided recording of probe values in states enhances analysis of test logs.
  • Test method customization: New control of test attributes in generated test code offers expanded support for other test frameworks in addition to default provided by VS.

Spec Explore 2010: Download | FAQ