Microsoft.SpecExplorer.Runtime.Testing Namespace

The Microsoft.SpecExplorer.Runtime.Testing namespace contains types that are used to execute test cases generated by Spec Explorer.


The GeneratedTestClassBase class serves as the base class for all generated test classes. The VsTestClassBase class, which derives from the GeneratedTestClassBase class, serves as the base class for test classes intended to be executed under Visual Studio.

This namespace also contains classes that represent concepts such as a test failed exception, an event queue, and a test manager, and some interfaces related to the test runtime. To create a customized test site, test class, or test manager, implement these interfaces.

ClassDescription
DefaultTestManagerSupervises the process in which the test cases run and also provides logging and checking functions for test cases. The test manager supports the test case code generated by Spec Explorer.
GeneratedTestClassBaseProvides an abstract base class for test classes generated by Spec Explorer.
ObservationQueueRepresents a thread-safe first-in, first-out observation queue for observed steps in the system under test. This class supports the testing infrastructure and is not intended to be used directly from your code.
TestAdapterAttributeRepresents a test adapter. This class supports the Spec Explorer test code infrastructure and is not intended to be used directly from your code.
TestFailureExceptionThe exception that is thrown when a test case assertion fails.
TestManagerHelpersPrimarily, this class handles calls from the test case code generated by Spec Explorer.
TransactionFailedExceptionAn exception that is thrown when a transaction fails. This class supports the generated test cases and is not intended to be used directly from your code.
UnboundVariableExceptionAn exception that is thrown when a variable is read before it is bound to a variable in the system under test. This class supports the generated test cases and is not intended to be used directly from your code.
VsTestClassBaseProvides a base class for test classes generated by Spec Explorer. Test classes generated from this class support the Visual Studio testing tools for unit tests.

InterfaceDescription
IBasicTestSiteDeclares methods that the DefaultTestManager class calls to support basic reporting and logging functions.
IBypassingTestSiteDefines a test site that bypasses assertion failures. This class supports the Spec Explorer infrastructure and is not intended to be used directly from your code.
IConfigurableGeneratedTestClassRepresents a base class that supports dynamic traversal for test classes generated by Spec Explorer.
IGeneratedTestClassRepresents a base class for test classes generated by Spec Explorer.
ITestManagerSupervises the process in which the test cases run and also provides logging and checking functions for test cases. The test manager supports the test case code generated by Spec Explorer.
IVariableRepresents a variable. This class supports the generated test cases and is not intended to be used directly from your code.

StructureDescription
AvailableEventDescribes an event that was raised by the system under test. This structure supports the generated test cases and is not intended to be used directly from your code.
AvailableReturnDescribes a method return from the system under test. This structure supports the generated test cases and is not intended to be used directly from your code.
ExpectedEventDescribes an event that a test expects from the system under test. This structure supports the generated test cases and is not intended to be used directly from your code.
ExpectedPreConstraintDescribes a preconstraint of a transition. This structure supports the generated test cases and is not intended to be used directly from your code.
ExpectedReturnDescribes a method return that a test expects from the system under test. This structure supports the generated test cases and is not intended to be used directly from your code.



Community Additions

ADD
Show: