|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
| ConfigurationTest | Tests of the Configuration's behavior. |
| CoreTest | Test running all tests for the fr.jussieu.gla.wasa.core package. |
| DateBean | A Bean with a property of a mutable type. |
| DateBeanVar | A Var mapping the DateValue property of a DateBean. |
| DeterministicIntegerExplorer | An Explorer setting a Var's value to a known int value. |
| DeterministicRandom | Instrumented random for the tests. |
| DeterministicRandomTest | Automated test for DeterministicRandom |
| DummyConstraint | A Constraint which does nothing. |
| DummyExplorer | An Explorer which does nothing. |
| ErrorTableTest | Tests for the ErrorTable. |
| ExplorationWithTabuTest | Tests for the Engine, checking if Tabu List is taken in account. |
| ImmutablePropertyTypesBean | A Bean with properties of immutable types, as declared in
VarFactory. |
| InconsistencyDetectionTest | Tests for Engine's detection of incorrect states or inconsistencies. |
| IntBean | A JavaBean holding an int value. |
| RandomTest | Test if java.util.Random gives the same sequences of int in order to instrument tests. |
| SimpleExplorationTest | Tests for the Engine. |
| TabuListTest | Tests for the TabuList. |
| XYBean | A JavaBean holding x and y int value. |
| Exception Summary | |
| BadRandomInvocationException | Thrown when DeterministicRandom fails to find an element of the type asked for. |
Test cases using JUnit.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||