IDynamicTraversal.RunTestSuite Method
In general, the strategy interacts with serialized transition system to verify SUT on the fly.
Namespace: Microsoft.SpecExplorer.DynamicTraversal
Assembly: Microsoft.SpecExplorer.DynamicTraversal (in Microsoft.SpecExplorer.DynamicTraversal.dll)
Usage
'Usage
Syntax
'Declaration
void RunTestSuite (
TransitionSystem transitionSystem,
IDictionary<Transition,CallTransitionDelegate> callDelegates,
IDictionary<Transition,ReturnTransitionDelegate> returnDelegates,
IDictionary<Transition,EventTransitionDelegate> eventDelegates,
TestHousekeepingHandler testInitialize,
TestHousekeepingHandler testCleanup,
IDictionary<string,string> testProperties
)
Parameters
- transitionSystem
transition system used by traversal algorithm
- callDelegates
a delegate dictionary which stores the delegates associate with each call transition
- returnDelegates
a delegate dictionary which stores the delegates associate with each return transition
- eventDelegates
a delegate dictionary which stores the delegates associate with each event transition
- testInitialize
test manager attached to test strategy
- testCleanup
test initialize delegate used before one new test case is started
- testProperties
test properties for dynamic traversal which should be configured at test runtime
Thread Safety
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.
Platforms
Development Platforms
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003
See Also
Reference
IDynamicTraversal Interface
IDynamicTraversal Members
Microsoft.SpecExplorer.DynamicTraversal Namespace