public class SUITE
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
java.lang.String |
CUTname |
java.util.List<SEQ> |
suite |
java.lang.String |
suitename |
java.lang.String |
timeStamp |
Constructor and Description |
---|
SUITE() |
SUITE(java.lang.String CUTname) |
Modifier and Type | Method and Description |
---|---|
SUITE_RT_info |
exec(Pool pool,
ObjectCoverage ocCollector,
int showLength,
int showDepth,
boolean showExcExecution,
boolean runAll,
boolean regressionMode,
java.io.OutputStream out)
Sequentially execute a suite.
|
void |
injectOracles(java.lang.Class CUT,
boolean isSingleCore)
Enhance the non-failing sequences in the suite with injected oracles.
|
protected boolean |
injectOracles(java.lang.Class CUT,
SEQ sigma)
Enhance a sequence with injected oracles.
|
static SUITE |
load(java.lang.String filename) |
static java.util.List<SUITE> |
loadMany(java.lang.String prefix,
java.lang.String dir) |
static void |
main(java.lang.String[] args) |
void |
save(java.lang.String dir)
Save the suite in the given directory.
|
java.lang.String |
showSuiteStatistics() |
java.util.List<SUITE> |
split(int N,
int minsize)
To split a suite into up to N smaller suites, who size is at least minsize.
|
static SUITE |
union(SUITE T1,
SUITE T2)
Destructive Union of two suites.
|
public java.lang.String CUTname
public java.lang.String timeStamp
public java.lang.String suitename
public java.util.List<SEQ> suite
public static SUITE union(SUITE T1, SUITE T2)
public SUITE_RT_info exec(Pool pool, ObjectCoverage ocCollector, int showLength, int showDepth, boolean showExcExecution, boolean runAll, boolean regressionMode, java.io.OutputStream out) throws java.lang.Exception
If the regressionMode is set to true, then only thrown OracleError will be counted as a violation. If runAll is set to true, then this error will not be retrhown; else it will be wrapped in a Violation, and re-thrown.
If showExcExecution is set to true, then executions that throw exception (or Oracle Error in the regressionMode) will be shown/reported into the given output stream.
java.lang.Exception
protected boolean injectOracles(java.lang.Class CUT, SEQ sigma)
public void injectOracles(java.lang.Class CUT, boolean isSingleCore)
public java.util.List<SUITE> split(int N, int minsize)
public void save(java.lang.String dir) throws java.lang.Exception
java.lang.Exception
public static SUITE load(java.lang.String filename) throws java.lang.Exception
java.lang.Exception
public static java.util.List<SUITE> loadMany(java.lang.String prefix, java.lang.String dir) throws java.lang.Exception
java.lang.Exception
public java.lang.String showSuiteStatistics()
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception