What Is Spec Explorer?
Spec Explorer is a model-based testing (MBT) tool that extends Visual Studio allowing you to model software behavior, analyze that behavior through graphical visualization, check your model, and generate standalone test code from your models. Behavior is modeled in two joined ways: by writing rule machines in C# (with dynamic data-defined state spaces) and by defining Cord script configurations, parameter values, and scenarios as action patterns in a regular-expression style.
Spec Explorer Features
Supports behavioral modeling with C# and Cord and multiple modeling styles.
Displays explored behavior as an exploration graph.
Generates stand-alone test code automatically.
Models synchronous, asynchronous and non-deterministic systems.