| Package | Description |
|---|---|
| de.learnlib.eqtests.basic |
| Class and Description |
|---|
| EQOracleChain |
| RandomWordsEQOracle |
| SimpleEQOracle |
| SimulatorEQOracle |
| WMethodEQOracle
Implements an equivalence test by applying the W-method test on the given
hypothesis automaton, as described in "Testing software design modelled by finite state machines"
by T.S.
|
| WpMethodEQOracle
Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton,
as described in "Test Selection Based on Finite State Models" by S.
|
Copyright © 2013. All Rights Reserved.