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 © 2014. All Rights Reserved.