What's new! Spec Explorer 2010 release 3.5.3146.0 is now available! This release adds support to Visual Studio 2012 Professional to previous 3.5 release. Spec Explorer 2010 Release 3.5 contains new features, improved documentation, plus over 60 bug fixes. It runs on the Visual Studio 2010 Professional level product and above. Features & Benefits 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. One of Spec Explorer’s major features is the ability to compose models written in these two styles. This technique enables users to slice out test cases from large state machines to achieve test purposes by defining relevant scenarios, thus tackling the notorious state-space explosion problem that is so pervasive in model-based testing. Spec Explorer also supports combinatorial interaction testing with a rich set of features.
| Related Spec Explorer 2010 release 3.5.3146.0 is now available!  | Download and Install Spec Explorer for VS2010 (above). |  | Read theRelease Notes to get started with Spec Explorer 2010 release 3.5.3146.0 |
Installation Requirements - 1 gigahertz (GHz) Pentium processor or greater recommended
- Windows XP (x86) with Service Pack 3, Windows Vista (x86 & x64) with Service Pack 2, Windows 7 (x86 & x64), Windows 8 (x86 & x64), Windows Server 2003 (x86 & x64) with Service Pack 2, Windows Server 2003 R2 (x86 & x64), Windows Server 2008 (x86 & x64) with Service Pack 2, Windows Server 2008 R2 (x64).
- 1 GB or greater RAM (2 GB recommended)
- 70 MB of available space on system drive
Professional / Premium / Ultimate edition of Microsoft Visual Studio® 2010 or 2012
 Product Screenshots
|
