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

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

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

 



Community Additions

ADD
Show: