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!
Filtering and SortingUse these options to narrow down the question and discussion list.
- 32102
Spec Explorer and Design by Contract
guraaku Thursday, February 02, 2012 10:34 AM - 62862
Outgoing steps with exactly the same label.
J. Zumwalt Thursday, January 05, 2012 8:50 PM - 53279
how to model two parallel actions
xyzBecca Saturday, November 26, 2011 9:11 PM - 55390
Spec Explorer Crashes: using Guid as a parameter in cord file
Anirudh Goel - anigo Thursday, August 11, 2011 10:17 AM - 52637
Undefined Action Reference in Accumulator Sample
J. Zumwalt Wednesday, January 04, 2012 5:27 AM - 13032
how to customize test settings for a Spec Explorer Test suite
Anirudh Goel - anigo Wednesday, November 23, 2011 7:36 PM - 43180
Unable to work out how to generate the set of tests I want
guraaku Sunday, November 13, 2011 2:04 AM - 32865
Handling Containers inside the model
Anirudh Goel - anigo Tuesday, November 15, 2011 1:38 PM - 22911
Switch between Model code and Implementation code for generating a model
Anirudh Goel - anigo Wednesday, November 09, 2011 8:29 PM - 23257
Accepting States and Model Parameterization
bububa Monday, October 31, 2011 1:11 PM - 13768
Spec Explorer Roadmap?
sjelll Wednesday, October 26, 2011 11:42 AM - 23938
DoOnTheFlyTests runs on dev machine but not on test environment (using SpecExplorer.exe command-line tool)
Rasmus Møller Selsmark Monday, October 10, 2011 1:32 PM - 34113
Error "fatal execution failure: Switch "TestClassBase" is set to (...)" when trying to run On-The-Fly tests
Rasmus Møller Selsmark Monday, September 26, 2011 8:36 PM - 14436
What is principal difference between FSM and LTS and what is the approach used by SpecExplorer?
RachidP Saturday, September 10, 2011 8:46 AM - 24079
specexplorer support and training
RachidP Friday, September 09, 2011 7:06 PM - 34114
In case of OTF testing is there any way to stop testing when the first error encountered?
RachidP Sunday, September 11, 2011 8:32 AM - 54094
parameters combination
olgri424 Thursday, September 01, 2011 3:57 PM - 23702
Test coverage summary in case test fails or stopped by user.
RachidP Sunday, September 11, 2011 7:54 AM - 13703
SpecExplorer tool validation and verification
RachidP Saturday, September 10, 2011 9:29 AM - 13765
How can other test coverage's (beside transition and requirement coverage) be implemented in specExplorer?
RachidP Saturday, September 10, 2011 11:30 AM
