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!
Filtragem e ClassificaçãoUse essas opções para refinar a lista de discussão.
- 14653
spec explorer As a Model checker ?
Amys_0001 sexta-feira, 18 de dezembro de 2009 16:08 - 25110
Unclear why States are not equivalent
Anne2009 quinta-feira, 17 de dezembro de 2009 18:40 - 105162
Specific trace followed by unspecified actions
DotNetDavid quinta-feira, 5 de novembro de 2009 19:46 - 011466
Spec Explorer Basics screencast series
Nico KicillofMicrosoft Employeequarta-feira, 16 de dezembro de 2009 22:13 - 94973
Problem with Model rule handling during exploration
Bisale segunda-feira, 30 de novembro de 2009 12:02 - 34679
Modeling Multiple Machines or Multiple Threads in Spec Explorer
DonBaechtel sábado, 31 de outubro de 2009 13:39 - 85635
Requirements Tracing
MikeHammond quinta-feira, 12 de novembro de 2009 16:53 - 36723
Parallel Composition
Anne2009 quarta-feira, 18 de novembro de 2009 18:04 - 45185
Using Spec Explorer to test the UI of Browser Based Applications
DonBaechtel quarta-feira, 4 de novembro de 2009 15:40 - 105234
Can't follow Walkthroughs
DonBaechtel sábado, 31 de outubro de 2009 14:45 - 15188
Problems with test case generation
Bisale terça-feira, 17 de novembro de 2009 16:05 - 65197
Can VB.Net be used for Spec Explorer Model Language?
DonBaechtel sábado, 31 de outubro de 2009 13:15 - 24457
Exploring SMB2 Sample CheckAllSyncForNoAsync machine displays no states
DonBaechtel quinta-feira, 5 de novembro de 2009 14:10 - 34488
Can spec Explorer help in testing BI stuff?
SimozZz sexta-feira, 6 de novembro de 2009 18:41 - 05554
Please Help swat bugs in Spec Explorer with Dr Watson
Rob DuWors terça-feira, 10 de novembro de 2009 22:32 - 34956
Wanted Visual Designer For Cord Files
tful sexta-feira, 6 de novembro de 2009 16:52 - 34912
Spec Explorer for testing use cases
singhhome domingo, 8 de novembro de 2009 09:08 - 45076
Are there any samples available using the Requirement Coverage Construct with the Microsoft.Modeling.Requirements class?
Sixto quinta-feira, 5 de novembro de 2009 22:26 - 14686
Problem with use of SetContainer 'treeIds' in SMB2 example ?
DonBaechtel quinta-feira, 5 de novembro de 2009 15:44 - 24967
Asynchronous systems modeling
DonBaechtel quarta-feira, 4 de novembro de 2009 21:35
