org.hu.hom.core.mutation

Class MutationModel

java.lang.Object

org.hu.hom.core.mutation.MutationModel

public class MutationModel
extends java.lang.Object

This class reads, combines and generates FirstOrderMutants and HigherOrderMutants

Author:

Asendar

Constructor Summary

Constructors

Constructor and Description
MutationModel()

Method Summary

Modifier and Type	Method and Description
static Population<HigherOrderMutant>	generateRandomPopulation(java.lang.String originalFile, java.lang.String testCasesPath, java.util.Set<MessageListener> messageListeners)
static FirstOrderMutant	getRandomMutant(HigherOrderMutant mutant) Returns a random FirstOrderMutant that can be applied to the provided HigherOrderMutant
static java.lang.String	init(java.lang.String originalFile, java.lang.String mutantsPath, java.lang.String testCasesPath, java.util.Set<MessageListener> messageListeners) Initializes the model by filling first_order_mutants and setting originalCode

Methods inherited from class java.lang.Object

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

Constructor Detail

MutationModel

public MutationModel()

Method Detail

init

public static java.lang.String init(java.lang.String originalFile,
                                    java.lang.String mutantsPath,
                                    java.lang.String testCasesPath,
                                    java.util.Set<MessageListener> messageListeners)
                             throws java.lang.Exception

Initializes the model by filling first_order_mutants and setting originalCode

After reading the first_order_mutants this class executes these mutants using TestExecutor#execute(List, Config, Set)

Parameters:

originalFile - to be mutated

mutantsPath - to store the mutants in

testCasesPath - path to test cases

messageListeners - for logging

Returns:

new generated original file

Throws:

java.lang.Exception - if anything goes down

generateRandomPopulation

public static Population<HigherOrderMutant> generateRandomPopulation(java.lang.String originalFile,
                                                                     java.lang.String testCasesPath,
                                                                     java.util.Set<MessageListener> messageListeners)

Parameters:

originalFile - to use in choosing mutants

testCasesPath - path to test cases

messageListeners - to log

Returns:

a random population

See Also:

Specifications

getRandomMutant

public static final FirstOrderMutant getRandomMutant(HigherOrderMutant mutant)

Returns a random FirstOrderMutant that can be applied to the provided HigherOrderMutant

The returned FirstOrderMutant should be valid to be added to the HigherOrderMutant

The validation is done by the following criterion:
The FirstOrderMutants of a HigherOrderMutant should have unique mutated lines.

example:

original code:
int z = x + y;
return z;

Mutant #1
int z = x - y;
return z;

Mutant #2
int z = x * y;
return z;

Mutant #3
int z = x + y;
return --z;

Mutants [1 and 2] can not be added to the same HigherOrderMutant because they have same mutated line index

Mutants [1 and 3] or [2 and 3] can be added to the same HigherOrderMutant

Parameters:

mutant - for validation

Returns:

a random FirstOrderMutant