org.evosuite.testcase

Class DefaultTestCase

java.lang.Object

org.evosuite.testcase.DefaultTestCase

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Statement>, TestCase, Listenable<Void>

Direct Known Subclasses:

CarvedTestCase, StructuredTestCase

public class DefaultTestCase
extends Object
implements TestCase, Serializable

A test case is a list of statements

Author:

Gordon Fraser

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected static AtomicInteger	idGenerator
protected ListenableList<Statement>	statements The statements

Constructor Summary

Constructors

Constructor and Description
DefaultTestCase() Constructor

Method Summary

Modifier and Type	Method and Description
void	accept(TestVisitor visitor) Handle test visitor
void	addAssertions(TestCase other) Copy all the assertions from other test case
void	addContractViolation(ContractViolation violation) Keep track of an additional test failure
void	addCoveredGoal(TestFitnessFunction goal) Keep track of an additional covered goal
void	addListener(Listener<Void> listener) Add a listener.
VariableReference	addStatement(Statement statement) Append new statement at end of test case
VariableReference	addStatement(Statement statement, int position) Add new statement at position and fix following variable references
void	addStatements(List<? extends Statement> statements) addStatements
void	changeClassLoader(ClassLoader loader) changeClassLoader
void	chop(int length) Remove all statements after a given position
void	clearCoveredGoals() Remove all covered goals
DefaultTestCase	clone() clone
boolean	contains(Statement statement)
void	deleteListener(Listener<Void> listener) Remove the given Listener such that he will no longer receive event updates.
boolean	equals(Object obj)
Set<Class<?>>	getAccessedClasses() Determine the set of classes that are accessed by the test case
AccessedEnvironment	getAccessedEnvironment() Retrieve an object containing information about what environment components this test interacted with
List<Assertion>	getAssertions() Get all assertions that exist for this test case
ClassLoader	getChangedClassLoader()
Set<ContractViolation>	getContractViolations() Retrieve all violations observed during test execution
Set<TestFitnessFunction>	getCoveredGoals() Retrieve all coverage goals covered by this test
Set<Class<?>>	getDeclaredExceptions() getDeclaredExceptions
Set<VariableReference>	getDependencies(VariableReference var) Determine the set of variables that var depends on
int	getID() Get an unique id representing this test.
VariableReference	getLastObject(Type type) Get the last object of the defined type
VariableReference	getLastObject(Type type, int position) Get the last object of the defined type
Object	getObject(VariableReference reference, Scope scope) Get actual object represented by a variable for a given execution scope
List<VariableReference>	getObjects(int position) Get all objects up to position satisfying constraint
List<VariableReference>	getObjects(Type type, int position) Get all objects up to position satisfying constraint
VariableReference	getRandomNonNullNonPrimitiveObject(Type type, int position) Get a random object matching type
VariableReference	getRandomNonNullObject(Type type, int position) Get a random object matching type
VariableReference	getRandomObject() Get a random object matching type
VariableReference	getRandomObject(int position) Get a random object matching type
VariableReference	getRandomObject(Type type) Get a random object matching type
VariableReference	getRandomObject(Type type, int position) Get a random object matching type
Set<VariableReference>	getReferences(VariableReference var) Determine the set of variables that depend on var
VariableReference	getReturnValue(int position) Get return value (variable) of statement at position
Statement	getStatement(int position) Access statement by index
boolean	hasAssertions() Check if there are any assertions
boolean	hasCastableObject(Type type) hasCastableObject
int	hashCode() Equality check
boolean	hasObject(Type type, int position) Check if the test case has an object of a given class
boolean	hasReferences(VariableReference var) Check if var is referenced after its definition
boolean	hasStatement(int position) Check if there is a statement at the given position.
boolean	isAccessible() Check if all methods/fields accessed are accessible also for the current SUT
boolean	isEmpty() isEmpty
boolean	isFailing()
boolean	isGoalCovered(TestFitnessFunction goal) Check if the current test case does cover the given goal.
boolean	isPrefix(TestCase t) Check if this test case is a prefix of t
boolean	isUnstable() A test can be unstable if its assertions fail, eg due to non-determinism, non-properly handled static variables and side effects on environment, etc
boolean	isValid() Check if test case is valid (executable)
Iterator<Statement>	iterator()
void	remove(int position) Remove statement at position and fix variable references
void	removeAssertion(Assertion assertion) Remove assertion from test case
void	removeAssertions() Remove all assertions from test case
void	removeDownCasts()
void	replace(VariableReference var1, VariableReference var2) Replace a VariableReference with another one
void	setFailing()
void	setFailing(boolean failing)
VariableReference	setStatement(Statement statement, int position) Set new statement at position
void	setUnstable(boolean unstable) Define whether this test case is unstable or not
int	size() size
int	sizeWithAssertions() Get number of statements plus the number of assertions
int	sliceFor(VariableReference var)
String	toCode() Get Java code representation of the test case
String	toCode(Map<Integer,Throwable> exceptions) Get Java code representation of the test case
String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

idGenerator

protected static final AtomicInteger idGenerator

statements

protected final ListenableList<Statement> statements

The statements

Constructor Detail

DefaultTestCase

public DefaultTestCase()

Constructor

Method Detail

getID

public int getID()

Description copied from interface: TestCase

Get an unique id representing this test. This is mainly useful for debugging.

Specified by:

getID in interface TestCase

Returns:

accept

public void accept(TestVisitor visitor)

Handle test visitor

Specified by:

accept in interface TestCase

Parameters:

visitor - a TestVisitor object.

addAssertions

public void addAssertions(TestCase other)

Copy all the assertions from other test case

Specified by:

addAssertions in interface TestCase

Parameters:

other - The other test case

addContractViolation

public void addContractViolation(ContractViolation violation)

Description copied from interface: TestCase

Keep track of an additional test failure

Specified by:

addContractViolation in interface TestCase

Parameters:

violation - a ContractViolation object.

getContractViolations

public Set<ContractViolation> getContractViolations()

Description copied from interface: TestCase

Retrieve all violations observed during test execution

Specified by:

getContractViolations in interface TestCase

Returns:

addCoveredGoal

public void addCoveredGoal(TestFitnessFunction goal)

Keep track of an additional covered goal

Specified by:

addCoveredGoal in interface TestCase

Parameters:

goal - a TestFitnessFunction object.

isGoalCovered

public boolean isGoalCovered(TestFitnessFunction goal)

Description copied from interface: TestCase

Check if the current test case does cover the given goal.

Specified by:

isGoalCovered in interface TestCase

Returns:

addListener

public void addListener(Listener<Void> listener)

Add a listener. He will be notified of changes via the Listener#fireEvent(Object) method.

Specified by:

addListener in interface Listenable<Void>

Parameters:

listener - The listener to add.

addStatement

public VariableReference addStatement(Statement statement)

Append new statement at end of test case

Specified by:

addStatement in interface TestCase

Parameters:

statement - New statement

Returns:

VariableReference of return value

addStatement

public VariableReference addStatement(Statement statement,
                                      int position)

Add new statement at position and fix following variable references

Specified by:

addStatement in interface TestCase

Parameters:

statement - New statement

position - Position at which to add

Returns:

Return value of statement. Notice that the test might choose to modify the statement you inserted. You should use the returned variable reference and not use references

addStatements

public void addStatements(List<? extends Statement> statements)

addStatements

Specified by:

addStatements in interface TestCase

Parameters:

statements - a List object.

changeClassLoader

public void changeClassLoader(ClassLoader loader)

changeClassLoader

Parameters:

loader - a ClassLoader object.

getChangedClassLoader

public ClassLoader getChangedClassLoader()

chop

public void chop(int length)

Remove all statements after a given position

Specified by:

chop in interface TestCase

Parameters:

length - Length of the test case after chopping

sliceFor

public int sliceFor(VariableReference var)

Specified by:

sliceFor in interface TestCase

contains

public boolean contains(Statement statement)

Specified by:

contains in interface TestCase

clearCoveredGoals

public void clearCoveredGoals()

Remove all covered goals

Specified by:

clearCoveredGoals in interface TestCase

clone

public DefaultTestCase clone()

clone

Create a copy of the test case

Specified by:

clone in interface TestCase

Overrides:

clone in class Object

Returns:

a TestCase object.

deleteListener

public void deleteListener(Listener<Void> listener)

Remove the given Listener such that he will no longer receive event updates. If the listener is removed several times or was not added prior to removal, nothing happens.

Specified by:

deleteListener in interface Listenable<Void>

Parameters:

listener - The listener to remove.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getAccessedClasses

public Set<Class<?>> getAccessedClasses()

Determine the set of classes that are accessed by the test case

Specified by:

getAccessedClasses in interface TestCase

Returns:

Set of accessed classes

getAssertions

public List<Assertion> getAssertions()

Get all assertions that exist for this test case

Specified by:

getAssertions in interface TestCase

Returns:

List of assertions TODO: Also return ExceptionAssertion?

getCoveredGoals

public Set<TestFitnessFunction> getCoveredGoals()

Retrieve all coverage goals covered by this test

Specified by:

getCoveredGoals in interface TestCase

Returns:

a Set object.

getDeclaredExceptions

public Set<Class<?>> getDeclaredExceptions()

getDeclaredExceptions

Specified by:

getDeclaredExceptions in interface TestCase

Returns:

a Set object.

getAccessedEnvironment

public AccessedEnvironment getAccessedEnvironment()

Description copied from interface: TestCase

Retrieve an object containing information about what environment components this test interacted with

Specified by:

getAccessedEnvironment in interface TestCase

Returns:

a List object.

getDependencies

public Set<VariableReference> getDependencies(VariableReference var)

Determine the set of variables that var depends on

Specified by:

getDependencies in interface TestCase

Parameters:

var - Variable to check for

Returns:

Set of dependency variables

getLastObject

public VariableReference getLastObject(Type type)
                                throws ConstructionFailedException

Description copied from interface: TestCase

Get the last object of the defined type

Specified by:

getLastObject in interface TestCase

Returns:

Throws:

ConstructionFailedException

getLastObject

public VariableReference getLastObject(Type type,
                                       int position)
                                throws ConstructionFailedException

Description copied from interface: TestCase

Get the last object of the defined type

Specified by:

getLastObject in interface TestCase

Returns:

Throws:

ConstructionFailedException

getObject

public Object getObject(VariableReference reference,
                        Scope scope)

Get actual object represented by a variable for a given execution scope

Specified by:

getObject in interface TestCase

Parameters:

reference - Variable

scope - Excution scope

Returns:

Object in scope

getObjects

public List<VariableReference> getObjects(int position)

Get all objects up to position satisfying constraint

Specified by:

getObjects in interface TestCase

Parameters:

position - a int.

Returns:

a List object.

getObjects

public List<VariableReference> getObjects(Type type,
                                          int position)

Get all objects up to position satisfying constraint

Specified by:

getObjects in interface TestCase

Parameters:

type - a Type object.

position - a int.

Returns:

a List object.

getRandomNonNullNonPrimitiveObject

public VariableReference getRandomNonNullNonPrimitiveObject(Type type,
                                                            int position)
                                                     throws ConstructionFailedException

Get a random object matching type

Specified by:

getRandomNonNullNonPrimitiveObject in interface TestCase

Parameters:

type - a Type object.

position - Upper bound in test case up to which objects are considered

Returns:

a VariableReference object.

Throws:

ConstructionFailedException - if no such object exists

getRandomNonNullObject

public VariableReference getRandomNonNullObject(Type type,
                                                int position)
                                         throws ConstructionFailedException

Get a random object matching type

Specified by:

getRandomNonNullObject in interface TestCase

Parameters:

type - a Type object.

position - Upper bound in test case up to which objects are considered

Returns:

a VariableReference object.

Throws:

ConstructionFailedException - if no such object exists

getRandomObject

public VariableReference getRandomObject()

Get a random object matching type

Specified by:

getRandomObject in interface TestCase

Returns:

Random object

getRandomObject

public VariableReference getRandomObject(int position)

Get a random object matching type

Specified by:

getRandomObject in interface TestCase

Parameters:

position - Upper bound in test case up to which objects are considered

Returns:

a VariableReference object.

getRandomObject

public VariableReference getRandomObject(Type type)
                                  throws ConstructionFailedException

Get a random object matching type

Specified by:

getRandomObject in interface TestCase

Parameters:

type - Class we are looking for

Returns:

Random object

Throws:

ConstructionFailedException - if any.

getRandomObject

public VariableReference getRandomObject(Type type,
                                         int position)
                                  throws ConstructionFailedException

Get a random object matching type

Specified by:

getRandomObject in interface TestCase

Parameters:

type - a Type object.

position - Upper bound in test case up to which objects are considered

Returns:

a VariableReference object.

Throws:

ConstructionFailedException - if no such object exists

getReferences

public Set<VariableReference> getReferences(VariableReference var)

Determine the set of variables that depend on var

Specified by:

getReferences in interface TestCase

Parameters:

var - Variable to check for

Returns:

Set of dependent variables

getReturnValue

public VariableReference getReturnValue(int position)

Get return value (variable) of statement at position

Specified by:

getReturnValue in interface TestCase

Parameters:

position - a int.

Returns:

a VariableReference object.

getStatement

public Statement getStatement(int position)

Access statement by index

Specified by:

getStatement in interface TestCase

Parameters:

position - Index of statement

Returns:

Statement at position

hasStatement

public boolean hasStatement(int position)

Check if there is a statement at the given position.

Specified by:

hasStatement in interface TestCase

Parameters:

position - Index of statement

Returns:

Whether or not there is a statement at the given position.

hasAssertions

public boolean hasAssertions()

Check if there are any assertions

Specified by:

hasAssertions in interface TestCase

Returns:

True if there are assertions

hasCastableObject

public boolean hasCastableObject(Type type)

hasCastableObject

Specified by:

hasCastableObject in interface TestCase

Parameters:

type - a Type object.

Returns:

a boolean.

hashCode

public int hashCode()

Equality check

Overrides:

hashCode in class Object

hasObject

public boolean hasObject(Type type,
                         int position)

Check if the test case has an object of a given class

Specified by:

hasObject in interface TestCase

Parameters:

type - Type to look for

position - Upper bound up to which the test is checked

Returns:

True if there is something usable

hasReferences

public boolean hasReferences(VariableReference var)

Check if var is referenced after its definition

Specified by:

hasReferences in interface TestCase

Parameters:

var - Variable to check for

Returns:

True if there is a use of var

isAccessible

public boolean isAccessible()

Description copied from interface: TestCase

Check if all methods/fields accessed are accessible also for the current SUT

Specified by:

isAccessible in interface TestCase

Returns:

isEmpty

public boolean isEmpty()

isEmpty

Specified by:

isEmpty in interface TestCase

Returns:

true if size()==0

isFailing

public boolean isFailing()

Specified by:

isFailing in interface TestCase

setFailing

public void setFailing()

Specified by:

setFailing in interface TestCase

isPrefix

public boolean isPrefix(TestCase t)

Check if this test case is a prefix of t

A test case A is a prefix of a test case B if and only if the first length(A) statements of B are equal to ones of A, in the same order. In other words, B can be seen as an extension of A.

Specified by:

isPrefix in interface TestCase

Parameters:

t - Test case to check against

Returns:

True if this test is a prefix of t

isUnstable

public boolean isUnstable()

Description copied from interface: TestCase

A test can be unstable if its assertions fail, eg due to non-determinism, non-properly handled static variables and side effects on environment, etc

Specified by:

isUnstable in interface TestCase

Returns:

isValid

public boolean isValid()

Check if test case is valid (executable)

Specified by:

isValid in interface TestCase

Returns:

a boolean.

iterator

public Iterator<Statement> iterator()

Specified by:

iterator in interface Iterable<Statement>

remove

public void remove(int position)

Remove statement at position and fix variable references

Specified by:

remove in interface TestCase

Parameters:

position - a int.

removeAssertion

public void removeAssertion(Assertion assertion)

Description copied from interface: TestCase

Remove assertion from test case

Specified by:

removeAssertion in interface TestCase

removeAssertions

public void removeAssertions()

Remove all assertions from test case

Specified by:

removeAssertions in interface TestCase

removeDownCasts

public void removeDownCasts()

replace

public void replace(VariableReference var1,
                    VariableReference var2)

Replace a VariableReference with another one

Specified by:

replace in interface TestCase

Parameters:

var1 - The old variable

var2 - The new variable

setFailing

public void setFailing(boolean failing)

setStatement

public VariableReference setStatement(Statement statement,
                                      int position)

Set new statement at position

Specified by:

setStatement in interface TestCase

Parameters:

statement - New statement

position - Position at which to add

Returns:

Return value of statement. Notice that the test might choose to modify the statement you inserted. You should use the returned variable reference and not use references

setUnstable

public void setUnstable(boolean unstable)

Description copied from interface: TestCase

Define whether this test case is unstable or not

Specified by:

setUnstable in interface TestCase

size

public int size()

size

Specified by:

size in interface TestCase

Returns:

Number of statements

sizeWithAssertions

public int sizeWithAssertions()

Get number of statements plus the number of assertions

Specified by:

sizeWithAssertions in interface TestCase

Returns:

Number of statements plus number of assertions

toCode

public String toCode()

Get Java code representation of the test case

Specified by:

toCode in interface TestCase

Returns:

Code as string

toCode

public String toCode(Map<Integer,Throwable> exceptions)

Get Java code representation of the test case

Specified by:

toCode in interface TestCase

Parameters:

exceptions - a Map object.

Returns:

Code as string

toString

public String toString()

Overrides:

toString in class Object