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 | |
---|---|---|
![]() |
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