Sequenic.T3.Generator.SeqAndSuite

Class T3SuiteG

java.lang.Object

Sequenic.T3.Generator.SeqAndSuite.T3SuiteG

public class T3SuiteG
extends java.lang.Object

Provide a bunch of T3's standard generators for test-suites. A suite can be ADT or non-ADT, and grey or no-asm-viol.

Field Summary

Fields

Modifier and Type	Field and Description
double	fieldUpdateProbability
int	maxNumberOfPairs
int	maxNumberOfSeqRetry
int	maxNumberOfStepRetry
int	maxPrefixLength
int	maxSuffixLength
static int	maxSuiteSizePerGoal
static int	minSuiteSizePerGoal
double	multiplier
protected TestingScope	scope
protected java.util.function.Function<Pool,Generator<PARAM,STEP>>	valueMetaGenerator

Constructor Summary

Constructors

Constructor and Description
T3SuiteG(TestingScope ts, java.util.function.Function<Pool,Generator<PARAM,STEP>> valueMetaGenerator)

Method Summary

Modifier and Type	Method and Description
SUITE	adt_grey(int numberOfCores) Construct an ADT grey-suite for the given CUT.
SUITE	adt_no_asmviol(int numberOfCores)
static void	main(java.lang.String[] args)
SUITE	nonadt_grey(int numberOfCores)
SUITE	nonadt_no_asmviol(int numberOfCores)

Methods inherited from class java.lang.Object

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

Field Detail

minSuiteSizePerGoal

public static int minSuiteSizePerGoal

maxSuiteSizePerGoal

public static int maxSuiteSizePerGoal

scope

protected TestingScope scope

maxNumberOfStepRetry

public int maxNumberOfStepRetry

maxNumberOfSeqRetry

public int maxNumberOfSeqRetry

maxNumberOfPairs

public int maxNumberOfPairs

maxPrefixLength

public int maxPrefixLength

maxSuffixLength

public int maxSuffixLength

fieldUpdateProbability

public double fieldUpdateProbability

multiplier

public double multiplier

valueMetaGenerator

protected java.util.function.Function<Pool,Generator<PARAM,STEP>> valueMetaGenerator

Constructor Detail

T3SuiteG

public T3SuiteG(TestingScope ts,
                java.util.function.Function<Pool,Generator<PARAM,STEP>> valueMetaGenerator)

Method Detail

adt_grey

public SUITE adt_grey(int numberOfCores)

Construct an ADT grey-suite for the given CUT.

adt_no_asmviol

public SUITE adt_no_asmviol(int numberOfCores)

nonadt_grey

public SUITE nonadt_grey(int numberOfCores)

nonadt_no_asmviol

public SUITE nonadt_no_asmviol(int numberOfCores)

main

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

Throws:

java.lang.Exception