Package net.automatalib.util.automaton.conformance

Class WpMethodTestsIterator<I>

java.lang.Object

com.google.common.collect.ForwardingObject

com.google.common.collect.ForwardingIterator<Word<I>>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterator<Word<I>>

public class WpMethodTestsIterator<I>
extends ForwardingIterator<Word<I>>

Iterator that returns test words generated by the partial W method.

See "Test selection based on finite state models" by S. Fujiwara et al.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected Iterator<Word<I>>	delegate()

Methods inherited from class com.google.common.collect.ForwardingIterator

hasNext, next, remove

Methods inherited from class com.google.common.collect.ForwardingObject

toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

WpMethodTestsIterator

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

Convenience-constructor for WpMethodTestsIterator(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

WpMethodTestsIterator

public WpMethodTestsIterator(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

delegate

protected Iterator<Word<I>> delegate()

Specified by:

delegate in class ForwardingIterator<Word<I>>