GeneratedTestClassBase Members

  • Article

Provides an abstract base class for test classes generated by Spec Explorer.

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

Protected Constructors

  Name Description
  GeneratedTestClassBase Called from constructors in derived classes to initialize the GeneratedTestClassBase class.

Top

Public Properties

  Name Description
public property LogToFile Gets or sets a value that indicates whether to write messages to a log file.
public property Manager Gets or sets the test manager. This method supports the generated test cases and is not intended to be used directly from your code.
public property ProceedControlTimeout Gets or sets the time-out period during which the test engine waits for observations before proceeding with a control action. This method supports the generated test cases and is not intended to be used directly from your code.
public property QuiescenceTimeout Gets or sets the time-out period after which the implementation is assumed to be unresponsive. This method supports the generated test cases and is not intended to be used directly from your code.
public property TestProperties When overridden in a derived class, gets or sets a dictionary of named properties for the generated test class.

Top

Public Methods

(see also Protected Methods)

  Name Description
public method Assert When overridden in a derived class, supports assertion handling in the generated test cases.
public method Assume When overridden in a derived class, supports initialization requirements in the generated test class.
public method BeginTest When overridden in a derived class, indicates to the test harness that a test case is starting.
public method Checkpoint When overridden in a derived class, indicates to the test harness that a step in a test case captured a requirement.
public method CleanupTestManager Performs test case cleanup. The test harness calls this method after running a test case. This method supports the generated test cases and is not intended to be used directly from your code.
public method Comment When overridden in a derived class, produces a comment to the test harness about test execution in the generated test cases.
public method EndTest When overridden in a derived class, indicates to the test harness that a test case finished.
public method Equals  (Inherited from Object)
public method GetAdapter When overridden in a derived class, retrieves a singleton instance of an adapter of the given type; throws an exception on failure. This method supports the Spec Explorer infrastructure 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 InitializeTestManager Performs test case setup. The test harness calls this method before running a test case. This method supports the generated test cases and is not intended to be used directly from your code.
public method Make Creates and initializes a structure or compound value. This method supports the generated test cases and is not intended to be used directly from your code.
public method SetSwitch When overridden in a derived class, sets the value of a Cord switch in the generated test class. This method supports the generated test cases and is not intended to be used directly from your code.
public method ToString  (Inherited from Object)

Top

Protected Methods

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

Top

See Also

Reference

GeneratedTestClassBase Class
Microsoft.SpecExplorer.Runtime.Testing Namespace
VsTestClassBase
IGeneratedTestClass
IConfigurableGeneratedTestClass
IBasicTestSite