|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Characteristic<T> | A characteristic specifies an aspect of a system under test. |
ExtendibleGenerator<I,T> | Generator which depends upon other generator instances. |
FrequencyGenerator<T> | Create a frequency generator. |
Generator<T> | A generator creates instances of type T supposed to be checked against a
Characteristic specification. |
ObjectGenerator<T> | Declarative object generator definition. |
ObjectGenerator.ReturnValue<R> | |
StatefulGenerator<T> | Any generator keeping state information has to implemet this interface. |
Class Summary | |
---|---|
QuickCheck | QuickCheck is an implementation of the Haskell QuickCheck generator based test tool (http://www.cs.chalmers.se/~rjmh/QuickCheck/). |
Exception Summary | |
---|---|
CharacteristicException | Indicates that a characteristic specification was not true for a given instance. |
GeneratorException | GeneratorException is thrown if the creation of a new instance failed. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |