Export (0) Print
Expand All
1 out of 1 rated this helpful - Rate this topic

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



Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft. All rights reserved.