org.eclipse.viatra.dse.genetic.debug

Class GeneticTestRunner

java.lang.Object

org.eclipse.viatra.dse.genetic.debug.BaseTestRunner

org.eclipse.viatra.dse.genetic.debug.GeneticTestRunner

public abstract class GeneticTestRunner
extends BaseTestRunner

This abstract class helps to test out genetic algorithms run by the GeneticDesignSpaceExplorer if inherited.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.viatra.dse.genetic.debug.BaseTestRunner

BaseTestRunner.BaseResult

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ADAPTIVE_MUTATION_MULTIPLIER
static java.lang.String	ADD_BY_PRIORITY_MUTATION
static java.lang.String	ADD_MUTATION
static java.lang.String	AVG
static java.lang.String	CUT_AND_SPLICE_CROSSOVER
static java.lang.String	DELETE_MUTATION
static java.lang.String	INITIAL_SELECTION_RATE
static java.lang.String	INITIAL_SELECTOR
static java.lang.String	MODEL_PATH
static java.lang.String	MODIFY_BY_PRIORITY_MUTATION
static java.lang.String	MODIFY_MUTATION
static java.lang.String	MUTATION_RATE
static java.lang.String	NUMBER_OF_CORRECTIONS
static java.lang.String	NUMBER_OF_DUPLICATIONS
static java.lang.String	PARENT_SELECTOR
static java.lang.String	PERMUTATION_CROSSOVER
static java.lang.String	POPULATION_SIZE
static java.lang.String	SELECTOR
static java.lang.String	SINGLE_POINT_CROSSOVER
static java.lang.String	SOLUTIONS
static java.lang.String	STOP_CONDITION
static java.lang.String	STOP_CONDITION_NUMBER
static java.lang.String	SWAP_TRANSITIONS_CROSSOVER
static java.lang.String	TIMEOUT

Constructor Summary

Constructors

Constructor and Description
GeneticTestRunner()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	addResults(Row configRow, Row resultsRow) The implementation adds results, if custom result columns are defined.
abstract void	configDSE(Row configRow, DesignSpaceExplorer dse, GeneticStrategyBuilder builder) Creates a GeneticDesignSpaceExplorer configured with the transformations, objectives, serializer, etc.
abstract java.util.List<java.lang.String>	getCustomResultColumns() Custom result columns can be registered by the implementation.
abstract GeneticDebugger	getGeneticDebugger(GlobalContext globalContext) Custom GeneticDebugger can be registered by returning an instance in the implementation.
java.lang.String	getResultsHeader() Returns a string which will be the header of the results file.
abstract void	registerXMISerailizer() If needed, an XMI serializer can be registered here, for loading the test models.
java.lang.String	runTestWithConfig(Row configRow, BaseTestRunner.BaseResult result) Runs the desired tests.

Methods inherited from class org.eclipse.viatra.dse.genetic.debug.BaseTestRunner

getConfigFileName, runTests, setConfigFileName

Methods inherited from class java.lang.Object

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

Field Detail

MODEL_PATH

public static final java.lang.String MODEL_PATH

See Also:

Constant Field Values

TIMEOUT

public static final java.lang.String TIMEOUT

See Also:

Constant Field Values

POPULATION_SIZE

public static final java.lang.String POPULATION_SIZE

See Also:

Constant Field Values

MUTATION_RATE

public static final java.lang.String MUTATION_RATE

See Also:

Constant Field Values

ADAPTIVE_MUTATION_MULTIPLIER

public static final java.lang.String ADAPTIVE_MUTATION_MULTIPLIER

See Also:

Constant Field Values

INITIAL_SELECTOR

public static final java.lang.String INITIAL_SELECTOR

See Also:

Constant Field Values

INITIAL_SELECTION_RATE

public static final java.lang.String INITIAL_SELECTION_RATE

See Also:

Constant Field Values

STOP_CONDITION

public static final java.lang.String STOP_CONDITION

See Also:

Constant Field Values

STOP_CONDITION_NUMBER

public static final java.lang.String STOP_CONDITION_NUMBER

See Also:

Constant Field Values

CUT_AND_SPLICE_CROSSOVER

public static final java.lang.String CUT_AND_SPLICE_CROSSOVER

See Also:

Constant Field Values

SINGLE_POINT_CROSSOVER

public static final java.lang.String SINGLE_POINT_CROSSOVER

See Also:

Constant Field Values

PERMUTATION_CROSSOVER

public static final java.lang.String PERMUTATION_CROSSOVER

See Also:

Constant Field Values

SWAP_TRANSITIONS_CROSSOVER

public static final java.lang.String SWAP_TRANSITIONS_CROSSOVER

See Also:

Constant Field Values

ADD_MUTATION

public static final java.lang.String ADD_MUTATION

See Also:

Constant Field Values

ADD_BY_PRIORITY_MUTATION

public static final java.lang.String ADD_BY_PRIORITY_MUTATION

See Also:

Constant Field Values

MODIFY_MUTATION

public static final java.lang.String MODIFY_MUTATION

See Also:

Constant Field Values

MODIFY_BY_PRIORITY_MUTATION

public static final java.lang.String MODIFY_BY_PRIORITY_MUTATION

See Also:

Constant Field Values

DELETE_MUTATION

public static final java.lang.String DELETE_MUTATION

See Also:

Constant Field Values

PARENT_SELECTOR

public static final java.lang.String PARENT_SELECTOR

See Also:

Constant Field Values

SELECTOR

public static final java.lang.String SELECTOR

See Also:

Constant Field Values

SOLUTIONS

public static final java.lang.String SOLUTIONS

See Also:

Constant Field Values

AVG

public static final java.lang.String AVG

See Also:

Constant Field Values

NUMBER_OF_CORRECTIONS

public static final java.lang.String NUMBER_OF_CORRECTIONS

See Also:

Constant Field Values

NUMBER_OF_DUPLICATIONS

public static final java.lang.String NUMBER_OF_DUPLICATIONS

See Also:

Constant Field Values

Constructor Detail

GeneticTestRunner

public GeneticTestRunner()

Method Detail

configDSE

public abstract void configDSE(Row configRow,
             DesignSpaceExplorer dse,
             GeneticStrategyBuilder builder)
                        throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException

Creates a GeneticDesignSpaceExplorer configured with the transformations, objectives, serializer, etc.

Parameters:

configRow - The corrsponding row from the configuration csv file.

Throws:

org.eclipse.viatra.query.runtime.exception.ViatraQueryException

registerXMISerailizer

public abstract void registerXMISerailizer()

If needed, an XMI serializer can be registered here, for loading the test models.

getCustomResultColumns

public abstract java.util.List<java.lang.String> getCustomResultColumns()

Custom result columns can be registered by the implementation.

Returns:

A list of string containing the column names.

addResults

public abstract void addResults(Row configRow,
              Row resultsRow)

The implementation adds results, if custom result columns are defined.

Parameters:

configRow - The row containing the configuration.

resultsRow - Add results to this row.

getGeneticDebugger

public abstract GeneticDebugger getGeneticDebugger(GlobalContext globalContext)

Custom GeneticDebugger can be registered by returning an instance in the implementation.

Parameters:

globalContext -

Returns:

An instance of GeneticDebugger.

getResultsHeader

public java.lang.String getResultsHeader()

Description copied from class: BaseTestRunner

Returns a string which will be the header of the results file. The string should contain one line with column names separated by commas. Note that there are a few predefined columns, see BaseTestRunner.BaseResult for details.

Specified by:

getResultsHeader in class BaseTestRunner

Returns:

Column names separated by semicolons.

runTestWithConfig

public java.lang.String runTestWithConfig(Row configRow,
                                 BaseTestRunner.BaseResult result)
                                   throws java.lang.Exception

Description copied from class: BaseTestRunner

Runs the desired tests.

Specified by:

runTestWithConfig in class BaseTestRunner

Parameters:

configRow - The configuration row.

result - The base results, used to fill the attributes report and runTime.

Returns:

the results separated by semicolons, in the order defined by the BaseTestRunner.getResultsHeader() method.

Throws:

java.lang.Exception