IDynamicTraversal Members
The interface to describe a dynamic traversal test strategy.
The following tables list the members exposed by the IDynamicTraversal type.
Public Properties
| Name | Description | |
|---|---|---|
.gif "public property") |
Manager | Gets or sets test manager. Is initialized by TestInitialize handler. |
|
ProceedControlTimeout | Gets or sets proceed control timeout. Is initialized from switch. |
|
QuiescenceTimeout | Gets or sets quiescence timeout. Is initialized from switch. |
Top
Public Methods
| Name | Description | |
|---|---|---|
.gif "public method") |
RunTestSuite | In general, the strategy interacts with serialized transition system to verify SUT on the fly. |
Top
See Also
Reference
IDynamicTraversal Interface
Microsoft.SpecExplorer.DynamicTraversal Namespace