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! 

• 32087
  

  Spec Explorer and Design by Contract

  
  guraaku 2 กุมภาพันธ์ 2555 10:34
  ตอบล่าสุด guraaku 9 กุมภาพันธ์ 2555 8:37
 
• 62847
  

  Outgoing steps with exactly the same label.

  
  J. Zumwalt 5 มกราคม 2555 20:50
  ตอบล่าสุด J. Zumwalt 9 มกราคม 2555 18:24
 
• 53266
  

  how to model two parallel actions

  
  xyzBecca 26 พฤศจิกายน 2554 21:11
  ตอบล่าสุด Xiang Li 7 มกราคม 2555 14:26
 
• 55378
  

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

  
  Anirudh Goel - anigo 11 สิงหาคม 2554 10:17
  ตอบล่าสุด Xiang Li 6 มกราคม 2555 14:45
 
• 52623
  

  Undefined Action Reference in Accumulator Sample

  
  J. Zumwalt 4 มกราคม 2555 5:27
  ตอบล่าสุด J. Zumwalt 5 มกราคม 2555 19:39
 
• 13022
  

  how to customize test settings for a Spec Explorer Test suite

  
  Anirudh Goel - anigo 23 พฤศจิกายน 2554 19:36
  ตอบล่าสุด Xiang Li 28 พฤศจิกายน 2554 7:27
 
• 43163
  

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

  
  guraaku 13 พฤศจิกายน 2554 2:04
  ตอบล่าสุด Xiang Li 25 พฤศจิกายน 2554 9:51
 
• 32853
  

  Handling Containers inside the model

  
  Anirudh Goel - anigo 15 พฤศจิกายน 2554 13:38
  ตอบล่าสุด Xiang Li 25 พฤศจิกายน 2554 9:38
 
• 22897
  

  Switch between Model code and Implementation code for generating a model

  
  Anirudh Goel - anigo 9 พฤศจิกายน 2554 20:29
  ตอบล่าสุด Anirudh Goel - anigo 15 พฤศจิกายน 2554 13:23
 
• 23242
  

  Accepting States and Model Parameterization

  
  bububa 31 ตุลาคม 2554 13:11
  ตอบล่าสุด bububa 1 พฤศจิกายน 2554 12:05
 
• 13753
  

  Spec Explorer Roadmap?

  
  sjelll 26 ตุลาคม 2554 11:42
  ตอบล่าสุด Xiang Li 1 พฤศจิกายน 2554 1:43
 
• 23930
  

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

  
  Rasmus Møller Selsmark 10 ตุลาคม 2554 13:32
  ตอบล่าสุด Rasmus Møller Selsmark 15 ตุลาคม 2554 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 กันยายน 2554 20:36
  ตอบล่าสุด Rasmus Møller Selsmark 28 กันยายน 2554 11:54
 
• 14423
  

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

  
  RachidP 10 กันยายน 2554 8:46
  ตอบล่าสุด Nico KicillofMicrosoft22 กันยายน 2554 23:16
 
• 24066
  

  specexplorer support and training

  
  RachidP 9 กันยายน 2554 19:06
  ตอบล่าสุด Xiang Li 22 กันยายน 2554 4:34
 
• 34107
  

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

  
  RachidP 11 กันยายน 2554 8:32
  ตอบล่าสุด Junfeng Dai 20 กันยายน 2554 2:08
 
• 54080
  

  parameters combination

  
  olgri424 1 กันยายน 2554 15:57
  ตอบล่าสุด Yiming Cao 15 กันยายน 2554 14:23
 
• 23689
  

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

  
  RachidP 11 กันยายน 2554 7:54
  ตอบล่าสุด RachidP 14 กันยายน 2554 10:57
 
• 13693
  

  SpecExplorer tool validation and verification

  
  RachidP 10 กันยายน 2554 9:29
  ตอบล่าสุด Yiming Cao 14 กันยายน 2554 9:48
 
• 13753
  

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

  
  RachidP 10 กันยายน 2554 11:30
  ตอบล่าสุด Xiang Li 13 กันยายน 2554 13:42