Spec Explorer FAQ

Question

Q: Where can I find other Spec Explorer resources?
A: Here are a list of related resources:
· Team blog: http://blogs.msdn.com/specexplorer
. Latest release (VS Gallery home page):   http://go.microsoft.com/fwlink/?LinkID=166911
. Latest Release Notes: http://msdn.microsoft.com/en-us/library/hh781546.aspx
· On-line documentation: http://msdn.microsoft.com/en-us/library/ee620411.aspx

. On Microsoft Channel 9:
    . Interview with Charle Torre:    http://go.microsoft.com/fwlink/?LinkID=168562
    . DevLabs Intro Scenario Video: http://go.microsoft.com/fwlink/?LinkID=166160

    . Effective Model-Based Testing With Spec Explorer Class. Approximately 8 hours over 4 sessions, each session has in turn 4 parts: Session 1, Session 2, Session 3, Session 4

    . Spec Explorer Basics. 2 shorter sessions: Spec Explorer Basics 1: Exploring a Model and Generating Tests, Spec Explorer Basics 2: Understanding Cord Scripts

Q: What versions of Spec Explorer can we discuss?
A: Spec Explorer 3.x. Current version is 3.5.
 
Q: Where can I file bugs?
A: Feel free to discuss in the forums. We are working on future methods of bug tracking.

Q: How can I assist with the pinpointing of fatal errors?
A: If Spec Explorer encounters a fatal exception, the Dr Watson tool will take over and let us know that it has occured. You can help greatly to determine what eactly has gone wrong by pushing the "Send information" button when asked "Do you want to send more information about the problem". This is of benefit to the entire Spec Explorer community by allowing the Spec Explorer team to make the tool more robust. Your assistance is greatly appreciated.

Q: Where can I find examples of Spec Explorer models?
A: After installing Spec Explorer, go to Windows Start menu -> Spec Explorer 2010 -> Samples for Visual Studio 2010.