Sequenic.T3.Generator.SeqAndSuite

Class T3SeqG

java.lang.Object

Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator

Sequenic.T3.Generator.SeqAndSuite.T3SeqG

public class T3SeqG
extends AbstractSeqGenerator

T3's standard generators for generating full test sequences. Two types of sequences: (1) Generated sequences consist of three part: s ++ [m1,m2] ++ u. The first part s is always a non-failing sequence, used to set up the state. It consist of mutators and field updates. The middle part is aimed to test a pair-combination of m1 and m2. The suffix u, which can be empty, takes the role of validating the effect of the pair. The suffix contains no field updates. They come in two variants: ADT sequences start with the creation of a target object; non-ADT sequences don't. (2) A variation of (1) where the sequences have the form s ++ [m1] ++ s2; will be implemented as type-1, where m2 is set to null. (2) For testing constructors, we have sequences of the form [c] ++ u, where c is a constructor or creator method.

Field Summary

Fields

Modifier and Type	Field and Description
ObjectUnderTestG	creationGen
MethodG	methodGen
PairG	pairGen
SegmentG	segmentGen

Fields inherited from class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator

maxNumberOfStepRetry, pool, scope, valueGenerator

Constructor Summary

Constructors

Constructor and Description
T3SeqG(Pool pool, TestingScope scope, int maxNumberOfStepRetry, Generator<PARAM,STEP> valueGenerator)

Method Summary

Modifier and Type	Method and Description
Generator<SEQ_RT_info,SEQ_RT_info>	grey_adt(int maxSuffixLength, java.lang.reflect.Constructor co) For testing a given constructor.
Generator<SEQ_RT_info,SEQ_RT_info>	grey_adt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1)
Generator<SEQ_RT_info,SEQ_RT_info>	grey_adt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
Generator<SEQ_RT_info,SEQ_RT_info>	grey_adt(int maxSuffixLength, java.lang.reflect.Method cm) For testing a given creator method.
Generator<SEQ_RT_info,SEQ_RT_info>	grey_nonadt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1)
Generator<SEQ_RT_info,SEQ_RT_info>	grey_nonadt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
static void	main(java.lang.String[] args)
Generator<SEQ_RT_info,SEQ_RT_info>	no_asmviol_adt(int maxSuffixLength, java.lang.reflect.Constructor co)
Generator<SEQ_RT_info,SEQ_RT_info>	no_asmviol_adt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1)
Generator<SEQ_RT_info,SEQ_RT_info>	no_asmviol_adt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
Generator<SEQ_RT_info,SEQ_RT_info>	no_asmviol_adt(int maxSuffixLength, java.lang.reflect.Method cm)
Generator<SEQ_RT_info,SEQ_RT_info>	no_asmviol_nonadt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1)
Generator<SEQ_RT_info,SEQ_RT_info>	no_asmviol_nonadt(int maxPrefixLength, int maxSuffixLength, boolean maximizePrefix, double fieldUpdateProbability, java.lang.reflect.Method m1, java.lang.reflect.Method m2)
Generator<SEQ_RT_info,SEQ_RT_info>	no_exc_mutatorsPrefix(double fieldUpdateProbability, int length, boolean maximizePrefix)

Methods inherited from class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator

instrument

Methods inherited from class java.lang.Object

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

Field Detail

creationGen

public ObjectUnderTestG creationGen

segmentGen

public SegmentG segmentGen

pairGen

public PairG pairGen

methodGen

public MethodG methodGen

Constructor Detail

T3SeqG

public T3SeqG(Pool pool,
              TestingScope scope,
              int maxNumberOfStepRetry,
              Generator<PARAM,STEP> valueGenerator)

Method Detail

no_exc_mutatorsPrefix

public Generator<SEQ_RT_info,SEQ_RT_info> no_exc_mutatorsPrefix(double fieldUpdateProbability,
                                                                int length,
                                                                boolean maximizePrefix)

grey_nonadt

public Generator<SEQ_RT_info,SEQ_RT_info> grey_nonadt(int maxPrefixLength,
                                                      int maxSuffixLength,
                                                      boolean maximizePrefix,
                                                      double fieldUpdateProbability,
                                                      java.lang.reflect.Method m1,
                                                      java.lang.reflect.Method m2)

grey_nonadt

public Generator<SEQ_RT_info,SEQ_RT_info> grey_nonadt(int maxPrefixLength,
                                                      int maxSuffixLength,
                                                      boolean maximizePrefix,
                                                      double fieldUpdateProbability,
                                                      java.lang.reflect.Method m1)

no_asmviol_nonadt

public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_nonadt(int maxPrefixLength,
                                                            int maxSuffixLength,
                                                            boolean maximizePrefix,
                                                            double fieldUpdateProbability,
                                                            java.lang.reflect.Method m1,
                                                            java.lang.reflect.Method m2)

no_asmviol_nonadt

public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_nonadt(int maxPrefixLength,
                                                            int maxSuffixLength,
                                                            boolean maximizePrefix,
                                                            double fieldUpdateProbability,
                                                            java.lang.reflect.Method m1)

grey_adt

public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxPrefixLength,
                                                   int maxSuffixLength,
                                                   boolean maximizePrefix,
                                                   double fieldUpdateProbability,
                                                   java.lang.reflect.Method m1,
                                                   java.lang.reflect.Method m2)

grey_adt

public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxPrefixLength,
                                                   int maxSuffixLength,
                                                   boolean maximizePrefix,
                                                   double fieldUpdateProbability,
                                                   java.lang.reflect.Method m1)

no_asmviol_adt

public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxPrefixLength,
                                                         int maxSuffixLength,
                                                         boolean maximizePrefix,
                                                         double fieldUpdateProbability,
                                                         java.lang.reflect.Method m1,
                                                         java.lang.reflect.Method m2)

no_asmviol_adt

public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxPrefixLength,
                                                         int maxSuffixLength,
                                                         boolean maximizePrefix,
                                                         double fieldUpdateProbability,
                                                         java.lang.reflect.Method m1)

grey_adt

public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxSuffixLength,
                                                   java.lang.reflect.Constructor co)

For testing a given constructor.

no_asmviol_adt

public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxSuffixLength,
                                                         java.lang.reflect.Constructor co)

grey_adt

public Generator<SEQ_RT_info,SEQ_RT_info> grey_adt(int maxSuffixLength,
                                                   java.lang.reflect.Method cm)

For testing a given creator method.

no_asmviol_adt

public Generator<SEQ_RT_info,SEQ_RT_info> no_asmviol_adt(int maxSuffixLength,
                                                         java.lang.reflect.Method cm)

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Throws:

java.lang.Exception