Share via


DynamicTraversalBase Members

An abstract dynamic traversal base class which can be inherited by a customized dynamic traversal.

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

Protected Constructors

  Name Description
  DynamicTraversalBase  

Top

Protected Fields

  Name Description
protected field callDelegates A mapping relation between call transition and its callback delegates.
protected field eventDelegates A mapping relation between event transition and its callback delegates.
protected field returnDelegates A mapping relation between return transition and its callback delegates.
protected field startTime The start time of dynamic traversal.
protected field testCleanup Test cleanup callback delegate.
protected field testInitialize Test initialize callback delegate.
protected field testProperties Test properties associates with the traversal.
protected field transitionSystem Transition system which is traversed on.

Top

Public Properties

  Name Description
public property Manager The test manager used to monitor return/event queue, handle event/return selection.
public property ProceedControlTimeout Gets or sets proceed control timeout.
public property QuiescenceTimeout Gets or sets quiescence timeout.

Top

Public Methods

(see also Protected Methods)

  Name Description
public method ChooseControllableTransition Choose a controllable transition.
public method ChooseInitialState Choose an initial state from transition system
public method Equals  (Inherited from Object)
public method GetHashCode  (Inherited from Object)
public method GetType  (Inherited from Object)
public method RunTestSuite In general, the strategy interacts with serialized transition system to verify SUT on the fly.
public method ShouldStopTestCaseAt Whether to stop test case at an accepting state.
public method ShouldStopTestSuite Whether to stop the test suite.
public method ToString  (Inherited from Object)

Top

Protected Methods

  Name Description
protected method Finalize  (Inherited from Object)
protected method GenerateExpectedEvents Generate ExpectedEvent array for a list of event transitions.
protected method GenerateExpectedReturns Generate ExpectedReturn array for a list of return transitions.
protected method GetUniqueTestCaseName Get an unique test case name.
protected method MemberwiseClone  (Inherited from Object)
protected method RunTest Run test from a given initial state.
protected method SplitEventControlTransitions Split transtions to event transitions and control transitions.

Top

Protected Events

  Name Description
protected event StateReached State notification handler which can be used to collect state coverage information.
protected event TransitionTaken Transition notification handler which can be used to collect transition coverage information.

Top

See Also

Reference

DynamicTraversalBase Class
Microsoft.SpecExplorer.DynamicTraversal Namespace