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
Spec 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.
- 0155
Please Help swat bugs in Spec Explorer with Dr Watson
Rob DuWorsMSFTTuesday, November 10, 2009 10:32 PM - 0450
A Brief History of Spec Explorer
Rob DuWorsMSFTWednesday, October 28, 2009 5:37 PM - 0986
An Introduction to Model-Based Testing with Spec Explorer: Why "failure" has different meanings
Rob DuWorsMSFTTuesday, October 27, 2009 8:42 PM - 0618
Spec Explorer Debuts on Channel 9
Rob DuWorsMSFTTuesday, October 27, 2009 5:21 AM - 01040
Spec Explorer FAQ
Rob DuWorsMSFTMonday, October 26, 2009 4:55 AM - 7460
Requirements Tracing
MikeHammond Thursday, November 12, 2009 4:53 PM - 3296
Parallel Composition
Anne2009 Wednesday, November 18, 2009 6:04 PM - 4219
Using Spec Explorer to test the UI of Browser Based Applications
DonBaechtel Wednesday, November 04, 2009 3:40 PM - 10512
Can't follow Walkthroughs
DonBaechtel Saturday, October 31, 2009 2:45 PM - 1154
Problems with test case generation
Bisale Tuesday, November 17, 2009 4:05 PM - 6390
Can VB.Net be used for Spec Explorer Model Language?
DonBaechtel Saturday, October 31, 2009 1:15 PM - 2231
Exploring SMB2 Sample CheckAllSyncForNoAsync machine displays no states
DonBaechtel Thursday, November 05, 2009 2:10 PM - 4284
Specific trace followed by unspecified actions
DotNetDavid Thursday, November 05, 2009 7:46 PM - 3250
Can spec Explorer help in testing BI stuff?
SimozZz Friday, November 06, 2009 6:41 PM - 3268
Wanted Visual Designer For Cord Files
tful Friday, November 06, 2009 4:52 PM - 3325
Spec Explorer for testing use cases
singhhome Sunday, November 08, 2009 9:08 AM - 4265
Are there any samples available using the Requirement Coverage Construct with the Microsoft.Modeling.Requirements class?
Sixto Thursday, November 05, 2009 10:26 PM - 1205
Problem with use of SetContainer 'treeIds' in SMB2 example ?
DonBaechtel Thursday, November 05, 2009 3:44 PM - 2222
Asynchronous systems modeling
DonBaechtel Wednesday, November 04, 2009 9:35 PM - 2241
What's the different between Spec Explorer 2010 and Spec# for Visual Studio 2008
Lu Xu Thursday, November 05, 2009 2:16 AM
