Spec Explorer

Spec Explorer 3.5

Free
Spec Explorer is a software development tool for advanced model-based software
 
3.5 (See all)

Spec Explorer is a software development tool for advanced model-based specification and conformance testing.
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.

Info updated on: