Microsoft.SpecExplorer.DynamicTraversal Namespace

The Microsoft.SpecExplorer.DynamicTraversal namespace contains types that support Spec Explorer's dynamic traversal feature.


To create a custom dynamic traversal strategy, create a class that implements the IDynamicTraversal interface. This namespace also defines CallTransitionDelegate, ReturnTransitionDelegate, and EventTransitionDelegate transition delegates. When Spec Explorer initiates dynamic traversal, it calls the RunTestSuite method of the traversal class. To indicate which action invocations to follow during a dynamic traversal test session, the traversal class calls the associated traversal delegates.

The RandomCoverageDynamicTraversal class provides a default dynamic traversal strategy. It traverses the unvisited states using a random order to guarantee the transition coverage.

For more information about dynamic traversal and implementing and using a custom dynamic traversal strategy, see Testing, Test Generation, and Test Code Generation Switches.

ClassDescription
CoverageDynamicTraversalA coverage dynamic traversal.
DynamicTraversalBaseAn abstract dynamic traversal base class which can be inherited by a customized dynamic traversal.
DynamicTraversalHelper 
RandomCoverageDynamicTraversalA random coverage dynamic traversal.

InterfaceDescription
IDynamicTraversalThe interface to describe a dynamic traversal test strategy.

DelegateDescription
CallTransitionDelegateA delegate to represent a call invoke to SUT
StateNotificationHandlerDelegate used to handle state reached event.
StepNotificationHandlerDelegate used to handle step taken event.
EventTransitionDelegateA delegate to represent an event check received from SUT.
ReturnTransitionDelegateA delegate to represent a return check received from SUT.
TestHousekeepingHandlerA delegate used for test initialize and test cleanup.

EnumerationDescription
TestSuiteStatusThe status of executing test suite



Community Additions

ADD
Show: