CoverageDynamicTraversal Members

A coverage dynamic traversal.

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

Protected Constructors

	Name	Description
	CoverageDynamicTraversal	The constructor.

Top

Protected Fields

	Name	Description
	callDelegates	A mapping relation between call transition and its callback delegates. (Inherited from DynamicTraversalBase)
	eventDelegates	A mapping relation between event transition and its callback delegates. (Inherited from DynamicTraversalBase)
	returnDelegates	A mapping relation between return transition and its callback delegates. (Inherited from DynamicTraversalBase)
	startTime	The start time of dynamic traversal. (Inherited from DynamicTraversalBase)
	stateCoverageCounterDict	Dictionary stores state coverage information.
	testCleanup	Test cleanup callback delegate. (Inherited from DynamicTraversalBase)
	testInitialize	Test initialize callback delegate. (Inherited from DynamicTraversalBase)
	testProperties	Test properties associates with the traversal. (Inherited from DynamicTraversalBase)
	transitionCoverageCounterDict	Dictionary stores transition coverage information.
	transitionSystem	Transition system which is traversed on. (Inherited from DynamicTraversalBase)

Top

Public Properties

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

Top

Public Methods

(see also Protected Methods)

	Name	Description
	ChooseControllableTransition	Choose a controllable transition. (Inherited from DynamicTraversalBase)
	ChooseInitialState	Choose an initial state from transition system (Inherited from DynamicTraversalBase)
	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. (Inherited from DynamicTraversalBase)
	ShouldStopTestCaseAt	Whether to stop test case at an accepting state. (Inherited from DynamicTraversalBase)
	ShouldStopTestSuite	Whether to stop the test suite. (Inherited from DynamicTraversalBase)
	ToString	(Inherited from Object)

Top

Protected Methods

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

Top

Protected Events

	Name	Description
	StateReached	State notification handler which can be used to collect state coverage information. (Inherited from DynamicTraversalBase)
	TransitionTaken	Transition notification handler which can be used to collect transition coverage information. (Inherited from DynamicTraversalBase)

Top

See Also

Reference

CoverageDynamicTraversal Class
Microsoft.SpecExplorer.DynamicTraversal Namespace