Package net.automatalib.util.automaton.conformance

Class WMethodTestsIterator<I>

java.lang.Object

net.automatalib.common.util.collection.AbstractThreeLevelIterator<Word<I>,List<I>,Word<I>,Word<I>>

net.automatalib.util.automaton.conformance.WMethodTestsIterator<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterator<Word<I>>

public class WMethodTestsIterator<I>
extends AbstractThreeLevelIterator<Word<I>,List<I>,Word<I>,Word<I>>

Iterator that returns test words generated by the W method.

See "Testing software design modeled by finite-state machines" by Tsun S. Chow.

Constructor Summary

Constructors

Constructor	Description
WMethodTestsIterator(UniversalDeterministicAutomaton<?,I,?,?,?> automaton, Collection<? extends I> inputs)	Convenience-constructor for WMethodTestsIterator(UniversalDeterministicAutomaton, Collection, int) that selects 0 as maxDepth.
WMethodTestsIterator(UniversalDeterministicAutomaton<?,I,?,?,?> automaton, Collection<? extends I> inputs, int maxDepth)	Constructor.

Method Summary

Modifier and Type	Method	Description
protected Word<I>	combine(Word<I> prefix, List<I> middle, Word<I> suffix)
protected Iterator<List<I>>	l2Iterator(Word<I> l1Object)
protected Iterator<Word<I>>	l3Iterator(Word<I> prefix, List<I> middle)

Methods inherited from class net.automatalib.common.util.collection.AbstractThreeLevelIterator

hasNext, next, remove

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

WMethodTestsIterator

public WMethodTestsIterator(UniversalDeterministicAutomaton<?,I,?,?,?> automaton,
                            Collection<? extends I> inputs)

Convenience-constructor for WMethodTestsIterator(UniversalDeterministicAutomaton, Collection, int) that selects 0 as maxDepth.

Parameters:

automaton - the automaton for which the testing sequences should be generated

inputs - the input symbols that should be considered for test sequence generation

WMethodTestsIterator

public WMethodTestsIterator(UniversalDeterministicAutomaton<?,I,?,?,?> automaton,
                            Collection<? extends I> inputs,
                            int maxDepth)

Constructor.

Parameters:

automaton - the automaton for which the testing sequences should be generated

inputs - the input symbols that should be considered for test sequence generation

maxDepth - the maximum number of symbols that are appended to the transition-cover part of the test sequences

Method Detail

l2Iterator

protected Iterator<List<I>> l2Iterator(Word<I> l1Object)

Specified by:

l2Iterator in class AbstractThreeLevelIterator<Word<I>,List<I>,Word<I>,Word<I>>

l3Iterator

protected Iterator<Word<I>> l3Iterator(Word<I> prefix,
                                       List<I> middle)

Specified by:

l3Iterator in class AbstractThreeLevelIterator<Word<I>,List<I>,Word<I>,Word<I>>

combine

protected Word<I> combine(Word<I> prefix,
                          List<I> middle,
                          Word<I> suffix)

Specified by:

combine in class AbstractThreeLevelIterator<Word<I>,List<I>,Word<I>,Word<I>>