RandomCoverageDynamicTraversal Members

A random coverage dynamic traversal.

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

Public Constructors

	Name	Description
	RandomCoverageDynamicTraversal	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. (Inherited from CoverageDynamicTraversal)
	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. (Inherited from CoverageDynamicTraversal)
	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	Overridden. Choose a controllable transition.
	ChooseInitialState	Overridden. 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. (Inherited from DynamicTraversalBase)
	ShouldStopTestCaseAt	Overridden. Stop test case only at end state.
	ShouldStopTestSuite	Overridden. Whether to stop the test suite.
	ToString	(Inherited from Object)

Top

Protected Methods

	Name	Description
	CoverState	The event handler when a state is covered. (Inherited from CoverageDynamicTraversal)
	CoverTransition	The event handler when a transition is taken (Inherited from CoverageDynamicTraversal)
	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

RandomCoverageDynamicTraversal Class
Microsoft.SpecExplorer.DynamicTraversal Namespace