Partager via


DefaultTestManager 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 DefaultTestManager type.

Public Constructors

(see also Protected Constructors)

  Name Description
  DefaultTestManager Overloaded. Initializes a new instance of the DefaultTestManager class.

Top

Protected Constructors

  Name Description
  DefaultTestManager Overloaded. Initializes a new instance of the DefaultTestManager class.

Top

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

(see also Protected 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 Equals  (Inherited from Object)
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; 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 GetHashCode  (Inherited from Object)
public method GetType  (Inherited from Object)
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 ToString  (Inherited from Object)
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

Protected Methods

  Name Description
protected method Finalize  (Inherited from Object)
protected method MemberwiseClone  (Inherited from Object)

Top

See Also

Reference

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