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
- Link
Brand New Release! Spec Explorer 2010 3.5 now available
Hello! We are delighted to announce the newest version of Spec Explorer 2010, Release 3.5.
Spec Explorer 2010 Release 3.5 contains new features, improved documentation, plus over 60 bug fixes. Please consult the Release Notes and our Home Page to access this release.
This release contains new / enhanced features including:
· Model change detecting: The model change detecting feature detects all model changes and decides if Spec Explorer needs to re-explore the model. For specific machines, if Spec Explorer detects any change in the model code, cord script files, or other inputs, or detects a tool version change, Spec Explorer will start a new exploration; otherwise, Spec Explorer will use existing exploration result files for current exploration viewing, test code generation, and user customized post processing. The UI has been updated to allow you to force Spec Explorer to re-explore the machines. This feature greatly improves the user experience by preventing unneeded lengthy validation and exploration events, which frequently happened in previous versions.
· Multiple machine processing: Now you can select multiple machines in Exploration Manager and explore, generate test code, or perform post processing tasks on them. For multiple machine processing, Spec Explorer generates a summary including all information of the batch-processing.
· Cord context menu: Spec Explorer adds a new context menu item “Go To Definition” in the Cord editor, which enables users to navigate to specific configurations and machines. This is part of an ongoing effort to improve the Cord editing user experience and the general integration of the tool with Visual Studio.
We hope you enjoy this release and look forward to hearing feedback from the Spec Explorer community.
- Link
This Forum Has Been Retired
This forum has been locked; it will still be available for review in the Archived Forums folder. Any future posts on this topic should be put in the Test Tools in Visual Studio 2010 and 2012 forum.
- Link
Have your say with the Spec Explorer User Survey!
Rob DuWors Thursday, May 06, 2010 9:42 PMHello Spec Explorers: We seek to gain a better idea of the Spec Explorer community and who is using the tool for what. We aim to bring you the best tool ever and your help will greatly appreciated if you could take a minute to fill in the Spec Explorer User Survey. With thanks, The Spec Explorer Team.
Filtering and SortingUse these options to narrow down the question and discussion list.
- 1114551

The full Effective Model-Based Testing with Spec Explorer Class is now available!
Nico KicillofMicrosoft EmployeeWednesday, March 31, 2010 9:07 PM - 017645

Spec Explorer FAQ
Rob DuWors Monday, October 26, 2009 4:55 AM - 11170

Using Modeling Guidance leads to crash
Johannes-V Thursday, November 22, 2012 3:29 AM - 11027

Accessing .NET configuration data from cord
Dharma11 Tuesday, November 27, 2012 5:06 AM - 101181

Requirements Coverage
Dharma11 Wednesday, November 07, 2012 4:07 PM - 1942

Error on Project Creation
uwe81 Wednesday, November 21, 2012 9:59 AM - 21004

State Grouping in Spec Explorer
Dharma11 Tuesday, November 13, 2012 3:40 PM - 55381

Share parameters
OneQuestionAtATime Wednesday, January 27, 2010 11:44 PM - 11638

Placeholder is not supported in test code generation: _ Spec Explorer 0 0
g17610 Tuesday, September 25, 2012 7:45 PM - 21535

Menu help option for Spec Explorer causes a content not found error
Dev__Null Sunday, September 16, 2012 5:42 PM - 85522

Parameter combination
Xiaoxing Zhu Friday, June 18, 2010 12:19 AM - 11589

Spec Explorer, W-method
Dong Su Tuesday, August 28, 2012 5:07 PM - 31364

Questions about the "State" concept
lzh_ing Tuesday, August 28, 2012 3:09 PM - 01436

Can Spec Explorr be used for Automated UI Testing with Windows 8 ?
DonBaechtel Saturday, September 08, 2012 1:37 AM - 01508

When will Spec Explorer work with VS2012 ?
DonBaechtel Saturday, September 08, 2012 1:35 AM - 11649

Is Spec Explorer supported in VS2012
DonBaechtel Friday, August 17, 2012 2:47 PM - 11559

Select a special element from a sequence.
lzh_ing Tuesday, August 21, 2012 2:41 AM - 31660

Avoiding data parameter repetition during exploration
Dharma11 Saturday, August 18, 2012 1:30 AM - 01420

File Transfer manager
Lance from AZ Monday, August 20, 2012 4:41 PM - 31586

Testing all but given actions
Dharma11 Thursday, August 16, 2012 3:30 PM - 66394

Error: ambiguous action reference
Anne2009 Thursday, December 10, 2009 4:59 PM - 41853

Randomized data generation for parameters.
Vivek.Vishal Tuesday, July 24, 2012 3:22 PM

