I would really love to see this updated for VS2015 if at all possible. To vote for VS2015 see https://visualstudio.uservoice.com/forums/121579-visual-studio-2015/suggestions/9621681-support-spec-explorer-in-visual-studio-2015.
Hi all, I am redirected to this page by https://social.msdn.microsoft.com/Forums/vstudio/en-US/ad08b20e-cf10-4745-b49e-d8f62bcf9950/spec-explorer-error-while-exploring-when-using-requirementcapture-statement-in-instance?forum=vstest Original message:
When exploring an instance-based model and using the Requirement.Capture("..."); statement the following error is returned in the debug output window: FATAL ERROR: Object reference not set to an instance of an object. stacktrace: at Microsoft.SpecExplorer.VS.SpecExplorerPackage.RecoverFromFatalError(Exception exception) at ....
The Requirement.Capture("...") statement is used in a non-static method of the model. When this statement is executed in a static model method the model can be explored and no errors are returned. I searched for examples using requirements coverage and instance-based models but I only found examples with static models. Is it possible to use parameter coverage in Spec Explorer with instance-based models? The API of Requirement.Capture does not explicitly mention that this method must be executed in a static context. Regards, Johan
These unique features give comfortable control over the generated test cases:
*Specify the system under test using c# or the integrated constraint programming (CP) lib. Using c# all paths are explored. Using CP everything stays symbolic. Both can be mixed as needed, so only those parts are explored you really want. Example: An algo which has an absolute-function on the input. You don't want to test this branch for pos/neg values. Use CP for the abs-function and this branch will not be covered.
*Slice specified systems with scenarios or other models. Big explored models can be searched for the paths you are interested in. Example: A web-shop. Search now for a path which can undo the deletion of an item, without putting the item again in the cart.
*Spec Explorer is a real generalist. The features are still usable in many different domains. Example: Timed systems. The additional time added to every state is not cluttering the system. Spec Explorer is a simulation tool, a time planner, optimization tool, algebraic equation solver any many more.
Conclusion: A magic swiss army knife for all kinds of problems ranging from modeling, search, simulation and calculation.