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.
- 0682
Spec Explorer Basics screencast series
Nico KicillofMSFTWednesday, December 16, 2009 10:13 PM - 01990
Spec Explorer FAQ
Rob DuWorsMSFTMonday, October 26, 2009 4:55 AM - 3315
Coverage Criteria
Shafique1 Thursday, February 04, 2010 11:14 PM - 289
SpecExplorer.exe /task:generatetests > ERROR: model program with given feature selection is empty
Anne2009 Thursday, February 04, 2010 6:53 PM - 294
Spec Explorer 2010 + How to name the states of the model?
SamForMBT Friday, February 05, 2010 4:04 PM - 2365
Batch Validation/Exploration
Anne2009 Thursday, January 21, 2010 5:25 PM - 4184
How to increase timeout?
OneQuestionAtATime Friday, January 29, 2010 6:45 PM - 3161
Using Combine.In twice for the same parameter?
OneQuestionAtATime Tuesday, February 02, 2010 8:42 PM - 4128
What does this error mean? "Placeholder is not supported in test code generation: _"
Pete Furtado -work Tuesday, February 02, 2010 8:19 PM - 3204
Exploration completes with only 1 state
OneQuestionAtATime Thursday, January 28, 2010 2:15 AM - 3190
New Project Wizard missing
Hartmut Lackner Monday, February 01, 2010 1:23 PM - 1124
Constraint solver exceeded configured time bound.
OneQuestionAtATime Monday, February 01, 2010 6:46 PM - 4285
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 - 3140
...domains for parameters/parameter elements of reference type are unrestricted...
OneQuestionAtATime Wednesday, January 27, 2010 9:14 PM - 3129
Share parameters
OneQuestionAtATime Wednesday, January 27, 2010 11:44 PM - 1210
How does the cord file support unicode characters
Xiaoxing Zhu Thursday, January 21, 2010 10:58 PM - 5262
Spec Explorer crashed with 'FATAL ERROR: compound value type not registered (analysis of type usage incomplete?)
OneQuestionAtATime Monday, January 25, 2010 10:28 PM - 3132
Undefined action reference
OneQuestionAtATime Wednesday, January 27, 2010 1:54 AM - 2174
I need some help with parameters.
fj40Bryan Tuesday, January 26, 2010 2:40 AM - 8579
Object value 'newValue' is symbolic and cannot be converted to a fixed value
Anne2009 Tuesday, December 29, 2009 7:08 PM
