org.evosuite.assertion

Class MutationAssertionGenerator

java.lang.Object

org.evosuite.assertion.AssertionGenerator

org.evosuite.assertion.MutationAssertionGenerator

Direct Known Subclasses:

SimpleMutationAssertionGenerator

public abstract class MutationAssertionGenerator
extends AssertionGenerator

This class executes a test case on a unit and all mutants and infers assertions from the resulting traces. TODO: This class is a mess.

Author:

Gordon Fraser

Field Summary

Fields

Modifier and Type	Field and Description
protected static ArrayTraceObserver	arrayObserver
protected static ComparisonTraceObserver	comparisonObserver
protected static Map<Mutation,Integer>	exceptionMutations
protected static PrimitiveFieldTraceObserver	fieldObserver
protected static InspectorTraceObserver	inspectorObserver
protected Map<Integer,Mutation>	mutants
protected static NullTraceObserver	nullObserver
protected static Class<?>[]	observerClasses Constant observerClasses
protected Properties.Criterion[]	oldCriterion
protected static PrimitiveTraceObserver	primitiveObserver
protected static SameTraceObserver	sameObserver
protected static Map<Mutation,Integer>	timedOutMutations

Constructor Summary

Constructors

Constructor and Description
MutationAssertionGenerator() Default constructor

Method Summary

Modifier and Type	Method and Description
void	addAssertions(TestCase test) addAssertions
protected void	calculateMutationScore(Set<Integer> tkilled) We send status about the mutation score when we're done, because we know it
protected void	filterInspectorPrimitiveDuplication(Statement statement) Remove inspector assertions that follow method calls of the same method
protected void	filterRedundantNonnullAssertions(TestCase test) Remove assertNonNull assertions for all cases where we have further assertions
protected int	getNumKilledMutants(TestCase test, Map<Mutation,List<OutputTrace<?>>> mutation_traces, List<Mutation> executedMutants)
protected boolean	isUsedAsCallee(TestCase test, VariableReference var) Returns true if the variable var is used as callee later on in the test
protected boolean	justNullAssertion(Statement statement) Returns true if the statement has nothing but null assertions
protected boolean	primitiveWithoutAssertion(Statement statement)
protected void	restoreCriterion(TestSuiteChromosome suite) Set the criterion to whatever it was before
protected ExecutionResult	runTest(TestCase test) Execute a test case on the original unit
protected ExecutionResult	runTest(TestCase test, Mutation mutant) Execute a test case on a mutant
void	setupClassLoader(TestSuiteChromosome suite) If we are not doing mutation testing anyway, then we need to reinstrument the code to get the mutants now

Methods inherited from class org.evosuite.assertion.AssertionGenerator

addAssertions, changeClassLoader, filterFailingAssertions, filterFailingAssertions, filterFailingAssertions

Methods inherited from class java.lang.Object

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

Field Detail

mutants

protected final Map<Integer,Mutation> mutants

primitiveObserver

protected static final PrimitiveTraceObserver primitiveObserver

comparisonObserver

protected static final ComparisonTraceObserver comparisonObserver

sameObserver

protected static final SameTraceObserver sameObserver

inspectorObserver

protected static final InspectorTraceObserver inspectorObserver

fieldObserver

protected static final PrimitiveFieldTraceObserver fieldObserver

nullObserver

protected static final NullTraceObserver nullObserver

arrayObserver

protected static final ArrayTraceObserver arrayObserver

timedOutMutations

protected static final Map<Mutation,Integer> timedOutMutations

exceptionMutations

protected static final Map<Mutation,Integer> exceptionMutations

observerClasses

protected static Class<?>[] observerClasses

Constant observerClasses

oldCriterion

protected Properties.Criterion[] oldCriterion

Constructor Detail

MutationAssertionGenerator

public MutationAssertionGenerator()

Default constructor

Method Detail

runTest

protected ExecutionResult runTest(TestCase test)

Execute a test case on the original unit Execute a test case on the original unit

Overrides:

runTest in class AssertionGenerator

Parameters:

test - The test case that should be executed

Returns:

a ExecutionResult object.

runTest

protected ExecutionResult runTest(TestCase test,
                                  Mutation mutant)

Execute a test case on a mutant

Parameters:

test - The test case that should be executed

mutant - The mutant on which the test case shall be executed

setupClassLoader

public void setupClassLoader(TestSuiteChromosome suite)

If we are not doing mutation testing anyway, then we need to reinstrument the code to get the mutants now

Overrides:

setupClassLoader in class AssertionGenerator

Parameters:

suite -

restoreCriterion

protected void restoreCriterion(TestSuiteChromosome suite)

Set the criterion to whatever it was before

Parameters:

suite -

calculateMutationScore

protected void calculateMutationScore(Set<Integer> tkilled)

We send status about the mutation score when we're done, because we know it

Parameters:

tkilled -

getNumKilledMutants

protected int getNumKilledMutants(TestCase test,
                                  Map<Mutation,List<OutputTrace<?>>> mutation_traces,
                                  List<Mutation> executedMutants)

Parameters:

test -

mutation_traces -

executedMutants -

Returns:

justNullAssertion

protected boolean justNullAssertion(Statement statement)

Returns true if the statement has nothing but null assertions

Parameters:

statement -

Returns:

primitiveWithoutAssertion

protected boolean primitiveWithoutAssertion(Statement statement)

isUsedAsCallee

protected boolean isUsedAsCallee(TestCase test,
                                 VariableReference var)

Returns true if the variable var is used as callee later on in the test

Parameters:

test -

var -

Returns:

filterRedundantNonnullAssertions

protected void filterRedundantNonnullAssertions(TestCase test)

Remove assertNonNull assertions for all cases where we have further assertions

Parameters:

test -

filterInspectorPrimitiveDuplication

protected void filterInspectorPrimitiveDuplication(Statement statement)

Remove inspector assertions that follow method calls of the same method

Parameters:

statement -

addAssertions

public void addAssertions(TestCase test)

addAssertions

Specified by:

addAssertions in class AssertionGenerator

Parameters:

test - a TestCase object.