org.evosuite.testcase

Class ConstraintVerifier

java.lang.Object

org.evosuite.testcase.ConstraintVerifier

public class ConstraintVerifier
extends Object

Class used to verify that the constraints on the usage of the external resources (mock environment and JavaEE) are properly satisfied.

The checks are mainly for debugging EvoSuite, as constraints should always hold by construction. Here we are just interested to see if any mutation does break the constraints

Note: checks here are lightweight (ie not 100% precise), and only check what is in the test, not what should had been there

Created by Andrea Arcuri on 06/06/15.

Constructor Summary

Constructors

Constructor and Description
ConstraintVerifier()

Method Summary

Modifier and Type	Method and Description
static boolean	canDelete(TestCase tc, int pos) Can the statement at the given position be deleted? A case in which it is not possible is for example if it is using an existing bounded variable
static Set<Integer>	dependentPositions(TestCase tc, int pos)
static int	getAValidPositionForInsertion(GenericAccessibleObject<?> obj, TestCase tc, int lastValid)
static boolean	hasAnyOnlyForAssertionMethod(TestCase tc) During the search, assertions have not been generated yet.
static boolean	isValidPositionForInsertion(GenericAccessibleObject<?> obj, TestCase tc, int pos)
static boolean	verifyTest(TestCase tc)
static boolean	verifyTest(TestChromosome tc)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintVerifier

public ConstraintVerifier()

Method Detail

hasAnyOnlyForAssertionMethod

public static boolean hasAnyOnlyForAssertionMethod(TestCase tc)

During the search, assertions have not been generated yet. Here, do check if any method, that is only for assertions, was included in the test

Parameters:

tc -

Returns:

canDelete

public static boolean canDelete(TestCase tc,
                                int pos)
                         throws IllegalArgumentException

Can the statement at the given position be deleted? A case in which it is not possible is for example if it is using an existing bounded variable

Parameters:

tc -

pos -

Returns:

Throws:

IllegalArgumentException

dependentPositions

public static Set<Integer> dependentPositions(TestCase tc,
                                              int pos)
                                       throws IllegalArgumentException

Throws:

IllegalArgumentException

isValidPositionForInsertion

public static boolean isValidPositionForInsertion(GenericAccessibleObject<?> obj,
                                                  TestCase tc,
                                                  int pos)
                                           throws IllegalArgumentException

Throws:

IllegalArgumentException

getAValidPositionForInsertion

public static int getAValidPositionForInsertion(GenericAccessibleObject<?> obj,
                                                TestCase tc,
                                                int lastValid)
                                         throws IllegalArgumentException

Parameters:

obj -

tc -

lastValid -

Returns:

position where the object can be inserted, otherwise a negative value if no insertion is possible

Throws:

IllegalArgumentException

verifyTest

public static boolean verifyTest(TestChromosome tc)

verifyTest

public static boolean verifyTest(TestCase tc)
                          throws IllegalArgumentException

Parameters:

tc -

Returns:

true if the test case does satisfy all the constraints

Throws:

IllegalArgumentException