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

Top

Protected Fields

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

Top

Public Properties

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

Top

Public Methods

(see also Protected Methods)

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

Top

Protected Methods

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

Top

Protected Events

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

Top

See Also

Reference

DynamicTraversalBase Class
Microsoft.SpecExplorer.DynamicTraversal Namespace