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! 

• 32090
  

  Spec Explorer and Design by Contract

  
  guraaku 02 Şubat 2012 Perşembe 10:34
  Son Yanıt guraaku 09 Şubat 2012 Perşembe 08:37
 
• 62847
  

  Outgoing steps with exactly the same label.

  
  J. Zumwalt 05 Ocak 2012 Perşembe 20:50
  Son Yanıt J. Zumwalt 09 Ocak 2012 Pazartesi 18:24
 
• 53268
  

  how to model two parallel actions

  
  xyzBecca 26 Kasım 2011 Cumartesi 21:11
  Son Yanıt Xiang Li 07 Ocak 2012 Cumartesi 14:26
 
• 55379
  

  Spec Explorer Crashes: using Guid as a parameter in cord file

  
  Anirudh Goel - anigo 11 Ağustos 2011 Perşembe 10:17
  Son Yanıt Xiang Li 06 Ocak 2012 Cuma 14:45
 
• 52625
  

  Undefined Action Reference in Accumulator Sample

  
  J. Zumwalt 04 Ocak 2012 Çarşamba 05:27
  Son Yanıt J. Zumwalt 05 Ocak 2012 Perşembe 19:39
 
• 13025
  

  how to customize test settings for a Spec Explorer Test suite

  
  Anirudh Goel - anigo 23 Kasım 2011 Çarşamba 19:36
  Son Yanıt Xiang Li 28 Kasım 2011 Pazartesi 07:27
 
• 43166
  

  Unable to work out how to generate the set of tests I want

  
  guraaku 13 Kasım 2011 Pazar 02:04
  Son Yanıt Xiang Li 25 Kasım 2011 Cuma 09:51
 
• 32854
  

  Handling Containers inside the model

  
  Anirudh Goel - anigo 15 Kasım 2011 Salı 13:38
  Son Yanıt Xiang Li 25 Kasım 2011 Cuma 09:38
 
• 22900
  

  Switch between Model code and Implementation code for generating a model

  
  Anirudh Goel - anigo 09 Kasım 2011 Çarşamba 20:29
  Son Yanıt Anirudh Goel - anigo 15 Kasım 2011 Salı 13:23
 
• 23246
  

  Accepting States and Model Parameterization

  
  bububa 31 Ekim 2011 Pazartesi 13:11
  Son Yanıt bububa 01 Kasım 2011 Salı 12:05
 
• 13755
  

  Spec Explorer Roadmap?

  
  sjelll 26 Ekim 2011 Çarşamba 11:42
  Son Yanıt Xiang Li 01 Kasım 2011 Salı 01:43
 
• 23930
  

  DoOnTheFlyTests runs on dev machine but not on test environment (using SpecExplorer.exe command-line tool)

  
  Rasmus Møller Selsmark 10 Ekim 2011 Pazartesi 13:32
  Son Yanıt Rasmus Møller Selsmark 15 Ekim 2011 Cumartesi 20:41
 
• 34103
  

  Error "fatal execution failure: Switch "TestClassBase" is set to (...)" when trying to run On-The-Fly tests

  
  Rasmus Møller Selsmark 26 Eylül 2011 Pazartesi 20:36
  Son Yanıt Rasmus Møller Selsmark 28 Eylül 2011 Çarşamba 11:54
 
• 14423
  

  What is principal difference between FSM and LTS and what is the approach used by SpecExplorer?

  
  RachidP 10 Eylül 2011 Cumartesi 08:46
  Son Yanıt Nico KicillofMicrosoft Employee22 Eylül 2011 Perşembe 23:16
 
• 24066
  

  specexplorer support and training

  
  RachidP 09 Eylül 2011 Cuma 19:06
  Son Yanıt Xiang Li 22 Eylül 2011 Perşembe 04:34
 
• 34109
  

  In case of OTF testing is there any way to stop testing when the first error encountered?

  
  RachidP 11 Eylül 2011 Pazar 08:32
  Son Yanıt Junfeng Dai 20 Eylül 2011 Salı 02:08
 
• 54081
  

  parameters combination

  
  olgri424 01 Eylül 2011 Perşembe 15:57
  Son Yanıt Yiming Cao 15 Eylül 2011 Perşembe 14:23
 
• 23691
  

  Test coverage summary in case test fails or stopped by user.

  
  RachidP 11 Eylül 2011 Pazar 07:54
  Son Yanıt RachidP 14 Eylül 2011 Çarşamba 10:57
 
• 13695
  

  SpecExplorer tool validation and verification

  
  RachidP 10 Eylül 2011 Cumartesi 09:29
  Son Yanıt Yiming Cao 14 Eylül 2011 Çarşamba 09:48
 
• 13756
  

  How can other test coverage's (beside transition and requirement coverage) be implemented in specExplorer?

  
  RachidP 10 Eylül 2011 Cumartesi 11:30
  Son Yanıt Xiang Li 13 Eylül 2011 Salı 13:42