Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
What Is Spec Explorer?

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.

See Also

© 2015 Microsoft