Compartir a través de


ITestManager Members

Supervises 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.

The following tables list the members exposed by the ITestManager type.

Public Properties

  Name Description
public property RandomSeed Gets or sets a seed for value generation. Supports the Cord RandomSeed switch and is not intended to be used directly from your code.
public property ThrowTestFailureException Gets or sets a value that indicates whether the test manager raises a test failure exception when it encounters a conformance error.

Top

Public Methods

  Name Description
public method AddEvent Adds an event to the observed event queue. This method supports the generated test cases and is not intended to be used directly from your code.
public method AddReturn Adds a method return to the observed method return queue. This method supports the generated test cases and is not intended to be used directly from your code.
public method Assert This method supports assertion handling in the generated test cases and is not intended to be used directly from your code.
public method Assume The generated test code does not call this method. You can call this method from your implementation of the IGeneratedTestClass.InitializeTestManager method to check any initialization requirements that the test class might have.
public method BeginTest Indicates to the test manager that a test case is starting. This method supports the generated test cases and is not intended to be used directly from your code.
public method BeginTransaction Begins a transaction. This method supports the generated test cases and is not intended to be used directly from your code.
public method CheckObservationTimeout This method supports the generated test cases and is not intended to be used directly from your code.
public method Checkpoint This method supports the capturing of requirements in the generated test cases and is not intended to be used directly from your code.
public method Comment Generates a comment about test execution. This method supports the generated test cases and is not intended to be used directly from your code.
public method CreateVariable The generated test initialization code calls this method to initialize an object that references a variable in the system under test. This method supports the generated test cases and is not intended to be used directly from your code.
public method EndTest Indicates to the test manager that a test case is finishing. This method supports the generated test cases and is not intended to be used directly from your code.
public method EndTransaction Ends a transaction, either committing variables that have been bound or rolling them back. This method supports the generated test cases and is not intended to be used directly from your code.
public method ExpectEvent A generated test case calls this method to wait for an event that is expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code.
public method ExpectReturn A generated test case calls this method to wait for a method return that is expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code.
public method GenerateValue A generated test case calls this method as needed based on the test oracle to create an object of a specified type. This method supports the generated test cases and is not intended to be used directly from your code.
public method GetAdapter Retrieves a singleton instance of an adapter of the given type and throws an exception on failure. This method supports the generated test cases and is not intended to be used directly from your code.
public method SelectSatisfiedPreConstraint A generated test case calls this method to check for one or more preconstraints that are expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code.
public method Subscribe Subscribes to a given event such that events raised are propagated to the event queue. This method supports the generated test cases and is not intended to be used directly from your code.
public method TryGetNextEvent A generated test case calls this method to get an event from the event queue. This method supports the generated test cases and is not intended to be used directly from your code.
public method TryGetNextReturn A generated test case calls this method to get a method return from the method return queue. This method supports the generated test cases and is not intended to be used directly from your code.
public method Unsubscribe Unsubscribes from a given event. This method supports the generated test cases and is not intended to be used directly from your code.

Top

See Also

Reference

ITestManager Interface
Microsoft.SpecExplorer.Runtime.Testing Namespace
DefaultTestManager Class
GeneratedTestClassBase Class
VsTestClassBase
IBasicTestSite Interface