Model-Based Testing with Spec Explorer
Learn, discuss, ask questions about Spec Explorer. Spec Explorer is a model-based testing tool that runs as an add-in to Visual Studio. Please participate freely and help us make the Spec Explorer experience even better!
Announcements
Recommended update Release of Spec Explorer available!
Rob DuWorsMSFTThursday, December 10, 2009 9:07 PMUsers are strongly encouraged to upgrade to newly released version 3.0.2168.0 of Spec Explorer that fixes a subtle and potentially serious bug. No functionality has been changed. The Release Notes and installation file links on the Spec Explorer Home Page of DevLabs reference this update release.
Bug description: return steps may return wrong values. Controllable actions with non-void return values may return wrong values in exploration, especially with the use of state predicates such as [StateFilter] and [StateInvariant]. A further impact of this bug may result in non-accepting end states being created when constructing a test case machine from a model program.
Resolution: both issues have been successfully resolved by this update and no longer occur. All users are encouraged to install this update release.
Furthermore, the state comparison window now differentiates between two intermediate choice nodes that have the same state content but different subsequent (step) return valuesSpec Explorer is now live on DevLabs!
Rob DuWorsMSFTTuesday, October 27, 2009 5:00 AMSpec Explorer now has a home page on MSDN DevLabs. The Spec Explore team is very proud to present this model-based testing tool. From DevLabs you can download Spec Explorer for Visual Studio 2010 Beta 2 or Visual Studio 2008. Check out the DevLabs Video to learn more about using Spec Explorer for model-based testing and connect to the Spec Explorer Blog.
Filtering and SortingUse these options to narrow down the question and discussion list.
- 0680
Spec Explorer Basics screencast series
Nico KicillofMSFTWednesday, December 16, 2009 10:13 PM - 01984
Spec Explorer FAQ
Rob DuWorsMSFTMonday, October 26, 2009 4:55 AM - 3304
Coverage Criteria
Shafique1 Thursday, February 04, 2010 11:14 PM - 286
SpecExplorer.exe /task:generatetests > ERROR: model program with given feature selection is empty
Anne2009 Thursday, February 04, 2010 6:53 PM - 290
Spec Explorer 2010 + How to name the states of the model?
SamForMBT Friday, February 05, 2010 4:04 PM - 2363
Batch Validation/Exploration
Anne2009 Thursday, January 21, 2010 5:25 PM - 4183
How to increase timeout?
OneQuestionAtATime Friday, January 29, 2010 6:45 PM - 3159
Using Combine.In twice for the same parameter?
OneQuestionAtATime Tuesday, February 02, 2010 8:42 PM - 4126
What does this error mean? "Placeholder is not supported in test code generation: _"
Pete Furtado -work Tuesday, February 02, 2010 8:19 PM - 3202
Exploration completes with only 1 state
OneQuestionAtATime Thursday, January 28, 2010 2:15 AM - 3189
New Project Wizard missing
Hartmut Lackner Monday, February 01, 2010 1:23 PM - 1121
Constraint solver exceeded configured time bound.
OneQuestionAtATime Monday, February 01, 2010 6:46 PM - 4283
The Basic Project Template seems to be empty and can't be displayed in VS 2008 & 2010
Maxximum Friday, January 29, 2010 10:51 AM - 3138
...domains for parameters/parameter elements of reference type are unrestricted...
OneQuestionAtATime Wednesday, January 27, 2010 9:14 PM - 3127
Share parameters
OneQuestionAtATime Wednesday, January 27, 2010 11:44 PM - 1207
How does the cord file support unicode characters
Xiaoxing Zhu Thursday, January 21, 2010 10:58 PM - 5260
Spec Explorer crashed with 'FATAL ERROR: compound value type not registered (analysis of type usage incomplete?)
OneQuestionAtATime Monday, January 25, 2010 10:28 PM - 3130
Undefined action reference
OneQuestionAtATime Wednesday, January 27, 2010 1:54 AM - 2172
I need some help with parameters.
fj40Bryan Tuesday, January 26, 2010 2:40 AM - 8575
Object value 'newValue' is symbolic and cannot be converted to a fixed value
Anne2009 Tuesday, December 29, 2009 7:08 PM
