5:49 AM
Noam Gold
http://msdn.microsoft.com/en-us/devlabs/ee692301.aspx
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 rule machines in C# (with dynamic data-defined state spaces) and by defining scenarios as action patterns in a regular-expression style
0 comments:
Post a Comment