net.automatalib.util.automata.conformance

Class WpMethodTestsIterator<I>

java.lang.Object

com.google.common.collect.ForwardingObject

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

net.automatalib.util.automata.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.

Author:

frohme

Constructor Summary

Constructors

Constructor and Description
WpMethodTestsIterator(UniversalDeterministicAutomaton<?,I,?,?,?> automaton, Collection<? extends I> inputs, int maxDepth) Constructor.

Method Summary

Modifier and Type	Method and 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,
                             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()

Overrides:

delegate in class ForwardingIterator<Word<I>>