diTii.com Digital News Hub

Sign up with your email address to be the first to know about latest news and more.

I agree to have my personal information transfered to MailChimp (more information)

Oct122010

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

Share This Story, Choose Your Platform!