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! 

• 53219
  

  Automatically generate testcases for a model-file

  
  Lennarttt 2011年9月9日 10:11
  最新の返信 Xiang Li 2011年9月13日 13:37
 
• 43441
  

  How to model a parallel system?

  
  Lennarttt 2011年9月8日 9:02
  最新の返信 bububa 2011年9月13日 10:59
 
• 33205
  

  Parameters and Instances

  
  Lennarttt 2011年9月9日 10:07
  最新の返信 Lennarttt 2011年9月13日 9:39
 
• 13331
  

  SpecExplorer future releases and backward compatibility

  
  RachidP 2011年9月10日 7:33
  最新の返信 Xiang Li 2011年9月13日 7:38
 
• 13375
  

  LOGIN PAGE in design phase

  
  Dev21 2011年9月12日 7:46
  最新の返信 Xiang Li 2011年9月13日 7:34
 
• 23823
  

  Can't uninstall Spec Explorer 3.5

  
  casterle 2011年8月11日 17:26
  最新の返信 Xiang Li 2011年9月6日 7:08
 
• 13480
  

  Use of sockets with VB in Windows Phone 7 OS

  
  bytewalker 2011年9月1日 9:23
  最新の返信 Xiang Li 2011年9月6日 7:04
 
• 23848
  

  Spec Explorer Scenario inputSpeed

  
  Salam Ammari 2011年7月20日 2:07
  最新の返信 Stefan Babos 2011年8月8日 17:32
 
• 24819
  

  how to define Modeling.Sequence with Condition.In()

  
  olgri424 2011年7月20日 11:33
  最新の返信 olgri424 2011年7月25日 8:08
 
• 34146
  

  [ANSWERED] Issue: undefined variables

  
  daniv19 2011年7月15日 8:20
  最新の返信 Xiang Li 2011年7月21日 5:21
 
• 24288
  

  How works an Interleaved Parallel Composition operator(|||)

  
  Stefan Babos 2011年7月10日 17:07
  最新の返信 Stefan Babos 2011年7月11日 4:43
 
• 35083
  

  Invoking actions from within IPostProcessor implementation

  
  oshamir 2011年6月29日 9:14
  最新の返信 oshamir 2011年7月3日 13:33
 
• 24964
  

  Spec Explorer: confused about machines and behaviors

  
  digitig 2011年5月24日 17:18
  最新の返信 Nico KicillofMicrosoft Employee2011年7月2日 0:07
 
• 35031
  

  Running AsmL specifications with SpecExplorer

  
  Jameleddine 2011年6月15日 9:03
  最新の返信 Nico KicillofMicrosoft Employee2011年7月2日 0:04
 
• 35015
  

  Re-exploring a model from command line?

  
  Simon Ejsing 2011年6月23日 18:59
  最新の返信 Xiang Li 2011年6月30日 3:51
 
• 14282
  

  Fatal error exploring a model with NativeType and generics

  
  Simon Ejsing 2011年6月22日 6:04
  最新の返信 Xiang Li 2011年6月30日 3:46
 
• 24676
  

  Evaluation of enum rule parameters

  
  Simon Ejsing 2011年6月22日 5:55
  最新の返信 Simon Ejsing 2011年6月23日 5:35
 
• 35209
  

  problem with installation of SpecExplorer

  
  olgri424 2011年6月14日 7:27
  最新の返信 Junfeng Dai 2011年6月16日 10:39
 
• 811632
  

  Spec Explorer Tutorial ?

  
  DonBaechtel 2009年11月2日 15:16
  最新の返信 Simon Ejsing 2011年6月13日 18:25
 
• 15137
  

  Undefined type reference when defining an action that returns an IEnumerable

  
  JeremySEP 2011年6月7日 17:54
  最新の返信 Xiang Li 2011年6月8日 6:26