The implements the algorithm from the article:
Optimal Strategies for Testing Nondeterministic Systems, Lev Nachmanson Margus Veanes Wolfram Schulte Nikolai Tillmann Wolfgang Grieskamp Microsoft Research, One Microsoft Way, Redmond, WA flevnach,margus,schulte,nikolait,wrwgg@microsoft.com http://research.microsoft.com/users/schulte/Papers/OptimalStrategiesForTestingNondeterminsticSystems(ISSTA2004).pdf
Classes
| Class | Description | |
|---|---|---|
 | BoundedReachabilityGame |
Summary description for BoundedReachabilityGame.
|
| OptimalStrategy |
Summary description for OptimalStrategy.
|
| OptimalWinningStrategyCalculationAlgorithm |
Optimal winning strategy calculation algorithm.
|
| PairPreOrderPerformanceComparer |
Summary description for PairPreOrderPerformanceComparer.
|
| ReachabilityStrategyCalculationAlgorithm |
Summary description for ReachabilityStrategyCalculationAlgorithm.
|
| Strategy |
Summary description for Strategy.
|
Interfaces
| Interface | Description | |
|---|---|---|
 | IBoundedReachabilityGamePlayer |
Summary description for Strategy.
|
| IPerformanceComparer | |
| IStrategy |
A Strategy as defined in section 3 of the article.
|
| ITestGraph | A TestGraph as defined in the section 2 of the article.
|
