public class TestGenProfile
extends java.lang.Object
These parameters can be specified in the GUI or on the command line in
the following format: -D.
For example, -DDOI=3 specifies that degree of interaction
is 3.
| Modifier and Type | Class and Description |
|---|---|
static class |
TestGenProfile.Algorithm
available test generation algorithms
|
static class |
TestGenProfile.ConstraintMode
available constraint handling modes
|
static class |
TestGenProfile.Mode
available test generation modes
|
static class |
TestGenProfile.OutputFormat
available output formats
|
static class |
TestGenProfile.TieBreaker
tie break rule
|
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
ALL_COMBINATION |
static int |
DEFAULT_DOI
default degree of interaction
|
static short |
DEFAULT_HUNIT |
static java.lang.String |
DEFAULT_PAINTBALL_MAX_TRIES
constant string for default max tries for algorithm PAINTBALL
|
static short |
DEFAULT_VUNIT |
int |
maxTries
max number of tries (for paintball algorithm)
|
static java.lang.String |
OFF
constant string for option OFF
|
static java.lang.String |
ON
constant string for option ON
|
static java.lang.String |
PN_ALGORITHM
constant string for property name ALGORITHM
|
static java.lang.String |
PN_CHECK
constant string for property name CHECK.
|
static java.lang.String |
PN_DEBUG
constant string for property name DEBUG
|
static java.lang.String |
PN_DOI
constant string for property name DOI
|
static java.lang.String |
PN_FASTMODE |
static java.lang.String |
PN_HUNIT |
static java.lang.String |
PN_MODE
constant string for property name MODE
|
static java.lang.String |
PN_OUTPUTFORMAT
constant string for property name OUTPUT
|
static java.lang.String |
PN_PROGRESS
constant string for property name PROGRESS
|
static java.lang.String |
PN_RANDOM
constant string for property name RANDOM.
|
static java.lang.String |
PN_RANDSTAR
constant string for property name RANDSTAR.
|
static java.lang.String |
PN_TIEBREAK
constant string for property name TIEBREAK
|
static java.lang.String |
PN_VUNIT |
static java.lang.String |
PV_BASECHOICE
constant string for algorithm BASECHOICE
|
static java.lang.String |
PV_BUILTIN
constant string for tiebreak option BUILTIN
|
static java.lang.String |
PV_BUSH
constant string for algorithm BUSH
|
static java.lang.String |
PV_CSV
constant string for output format option CSV
|
static java.lang.String |
PV_EXCEL
constant string for output format option EXCEL
|
static java.lang.String |
PV_EXTEND
constant string for property name EXTEND
|
static java.lang.String |
PV_IPOF
constant string for algorithm IPOF
|
static java.lang.String |
PV_IPOF2
constant string for algorithm IPOF2
|
static java.lang.String |
PV_IPOG
constant string for algorithm IPOG
|
static java.lang.String |
PV_IPOG_D
constant string for algorithm IPOG_D
|
static java.lang.String |
PV_IPOG_R |
static java.lang.String |
PV_NIST
constant string for output format option NIST
|
static java.lang.String |
PV_NUMERIC
constant string for output format option NUMERIC
|
static java.lang.String |
PV_PAINTBALL
constant string for algorithm PAINTBALL
|
static java.lang.String |
PV_RANDOM
constant string for tiebreak option RANDOM
|
static java.lang.String |
PV_REC
constant string for algorithm RECURSIVE
|
static java.lang.String |
PV_SCRATCH
constant string for property name SCRATCH
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
checkCoverage()
Checks if coverage should be verified after test generation.
|
boolean |
debug() |
boolean |
fastMode() |
TestGenProfile.Algorithm |
getAlgorithm()
Gets the test generation algorithm.
|
java.lang.String |
getAlgorithmStr() |
java.lang.String |
getCombine() |
TestGenProfile.ConstraintMode |
getConstraintMode()
Get the constraint handling strategy.
|
int |
getDOI()
Gets the degree of interaction.
|
short |
getHUnit()
Get the progress unit (in terms of the number of tests covered)
during horizontal growth.
|
int |
getMaxTries()
Gets the max number of tries (for the paintball algorithm)
|
TestGenProfile.Mode |
getMode()
Get the test generation mode.
|
int |
getOptLevel() |
TestGenProfile.OutputFormat |
getOutputFormat()
Returns the output format.
|
TestGenProfile.TieBreaker |
getTieBreaker()
Gets the tie breaker option.
|
short |
getVUnit()
Gets the progress unit (in terms of the number of pairs covered)
during vertical growth.
|
static TestGenProfile |
instance()
Get the single instance of
TestGenProfile. |
boolean |
isFastMode() |
boolean |
isIgnoreConstraints()
Checks if constraints are ignored.
|
boolean |
isProgressOn()
Checks if progress info should be displayed.
|
boolean |
random() |
boolean |
randstar()
Returns the flag indicating whether to randomize DONT_CARE values
|
void |
setAlgorithm(java.lang.String algo)
Sets the test generation algorithm.
|
void |
setCheckCoverage(java.lang.String cover)
Sets the flag indicating whether to check coverage after
test generation.
|
void |
setCombine(java.lang.String combine) |
void |
setConstraintMode(TestGenProfile.ConstraintMode m)
Sets the mode of constraint handling
|
void |
setDebugMode(boolean debug)
Sets the debug mode
|
void |
setDebugMode(java.lang.String inDebug)
Sets the debug mode.
|
void |
setDOI(int doi)
Sets the degree of interaction.
|
void |
setFastMode(java.lang.String fastMod) |
void |
setHUnit(java.lang.String hUnit) |
void |
setIgnoreConstraints(boolean ig)
Sets the flag indicating whether to ignoring constraints
|
void |
setMaxTries(int maxTries)
Sets the max number of tries (for the paintball algorithm)
|
void |
setMode(java.lang.String modeIn) |
void |
setOptLevel(int level) |
void |
setOutputFormat(java.lang.String outFormat)
Sets the output format, which is one of the following: PV_NIST,
PV_NUMERIC, PV_CSV, PV_EXCEL.
|
void |
setProgress(java.lang.String prog)
Sets the progress flag.
|
void |
setRandomMode(java.lang.String randMode)
Sets the random mode.
|
void |
setRandstar(boolean randstar)
Sets the flag indicating whether to randomize DONT_CARE values
|
void |
setRandstar(java.lang.String randstar)
Sets the flag indicating whether to randomize DONT_CARE values
|
void |
setTieBreaker(java.lang.String tiebreakerStr)
Sets the tie breaker option.
|
void |
setVUnit(java.lang.String vUnit) |
java.lang.String |
toString()
Returns a string representation of the most basic options of this profile.
|
public static final java.lang.String PN_DOI
public static final java.lang.String PN_MODE
public static final java.lang.String PV_SCRATCH
public static final java.lang.String PV_EXTEND
public static final java.lang.String PN_ALGORITHM
public static final java.lang.String PV_IPOG
public static final java.lang.String PV_IPOG_D
public static final java.lang.String PV_IPOG_R
public static final java.lang.String PV_BUSH
public static final java.lang.String PV_REC
public static final java.lang.String PV_PAINTBALL
public static final java.lang.String PV_IPOF
public static final java.lang.String PV_IPOF2
public static final java.lang.String PV_BASECHOICE
public static final java.lang.String PN_PROGRESS
public static final java.lang.String ON
public static final java.lang.String OFF
public static final java.lang.String PN_HUNIT
public static final short DEFAULT_HUNIT
public static final java.lang.String PN_VUNIT
public static final short DEFAULT_VUNIT
public static final java.lang.String PN_CHECK
public static final java.lang.String PN_FASTMODE
public static final java.lang.String PN_DEBUG
public static final java.lang.String PN_OUTPUTFORMAT
public static final java.lang.String PV_NUMERIC
public static final java.lang.String PV_NIST
public static final java.lang.String PV_CSV
public static final java.lang.String PV_EXCEL
public static final java.lang.String DEFAULT_PAINTBALL_MAX_TRIES
public static final java.lang.String ALL_COMBINATION
public static final java.lang.String PN_RANDOM
public static final java.lang.String PN_RANDSTAR
public static final java.lang.String PN_TIEBREAK
public static final java.lang.String PV_RANDOM
public static final java.lang.String PV_BUILTIN
public int maxTries
public static int DEFAULT_DOI
public static TestGenProfile instance()
TestGenProfile.public int getDOI()
public void setOptLevel(int level)
public int getOptLevel()
public void setDOI(int doi)
doi - the degree of interactionpublic void setCombine(java.lang.String combine)
public java.lang.String getCombine()
public TestGenProfile.Mode getMode()
scratch: generate test set from scratch.
extend: extend from an existing test set
Mode valuepublic TestGenProfile.ConstraintMode getConstraintMode()
public boolean isIgnoreConstraints()
public boolean isProgressOn()
public boolean checkCoverage()
public boolean fastMode()
public boolean debug()
public boolean random()
public boolean randstar()
public TestGenProfile.OutputFormat getOutputFormat()
public short getHUnit()
public short getVUnit()
public TestGenProfile.Algorithm getAlgorithm()
public java.lang.String getAlgorithmStr()
public void setMode(java.lang.String modeIn)
public void setAlgorithm(java.lang.String algo)
algo - the algorithm to be set.public void setProgress(java.lang.String prog)
prog - ON or OFFpublic void setFastMode(java.lang.String fastMod)
public void setDebugMode(java.lang.String inDebug)
inDebug - ON for enabling the debug mode; OFF otherwise.public void setDebugMode(boolean debug)
public void setRandomMode(java.lang.String randMode)
randMode - ON for random mode; OFF otherwise.public void setRandstar(java.lang.String randstar)
randstar - ON to randomizing DONT_CARE values, OFF otherwise.public void setRandstar(boolean randstar)
randstar - true to randomize DONT_CARE values, false otherwise.public void setIgnoreConstraints(boolean ig)
ig - set true to ignoring all constraints, false otherwise.public void setConstraintMode(TestGenProfile.ConstraintMode m)
public void setCheckCoverage(java.lang.String cover)
cover - ON for checking coverage, and OFF otherwise.public void setHUnit(java.lang.String hUnit)
public void setVUnit(java.lang.String vUnit)
public void setOutputFormat(java.lang.String outFormat)
outFormat - the output format to be setpublic TestGenProfile.TieBreaker getTieBreaker()
public void setTieBreaker(java.lang.String tiebreakerStr)
tiebreakerStr - public boolean isFastMode()
public int getMaxTries()
public void setMaxTries(int maxTries)
maxTries - the max number of tries.public java.lang.String toString()
toString in class java.lang.Object