Using the exploration result object model: Basics

Several advanced users have expressed interest to process the test suite generated by Spec Explorer in a different way from the built-in test code generation. The Spec Explorer object model allows to do that. This article provides an introduction to its basic usage. Whenever Spec Explorer performs an exploration – including a machine which generates…

5

Static vs. Instance-Based Models

Many Spec Explorer users have asked the question of how and when to choose between static or instance-based at the time of creating a model. The Base Solution Wizard (Visual Studio File menu -> New -> Project… -> Visual C# -> Spec Explorer Base Solution) shortly explains in its second step the difference between these…


Connecting Your Tests to an Implementation

Spec Explorer supports two topologies for connecting generated test cases to the implementation of your System Under Test (SUT). They can be either connected directly or through a test adapter. Connecting them directly means to declare the actual methods and events of your implementation as actions in a Cord configuration (either one by one or…