Spec Explorer 2010 Visual Studio Power Tool

Spec Explorer 2010 is now a Power Tool in Visual Studio Gallery.
Download

Spec Explorer 2010 Visual Studio Power Tool Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • Microsoft Corporation
  • Publisher web site:
  • Operating Systems:
  • Windows 7/Vista/2003/XP/2008
  • File Size:
  • 8.63MB

Spec Explorer 2010 Visual Studio Power Tool Tags


Spec Explorer 2010 Visual Studio Power Tool Description

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. One of Spec Explorer’s major features is the ability to compose models written in these two styles. This technique enables users to Slice out test cases from large state machines to achieve test purposes by defining relevant scenarios, thus tackling the notorious state-space explosion problem that is so pervasive in model-based testing. Spec Explorer also supports combinatorial interaction testing with a rich set of features. What's new! Spec Explorer 2010 release 3.5 is Now available! This release contains new and enhanced features, improved documentation, plus over 60 bug fixes.


Spec Explorer 2010 Visual Studio Power Tool Related Software