org.evosuite.testcase.localsearch

Class DSETestGenerator

java.lang.Object

org.evosuite.testcase.localsearch.DSETestGenerator

public class DSETestGenerator
extends Object

Attempts to create a new test case by applying DSE. The algorithm systematically negates all uncovered branches trying to satisfy the missing branches.

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
DSETestGenerator() Creates a new test generator with no suite.
DSETestGenerator(TestSuiteChromosome suite) Creates a new test generator using a test suite.

Method Summary

Modifier and Type	Method and Description
TestChromosome	generateNewTest(TestChromosome test, Set<Integer> statementIndexes, LocalSearchObjective<TestChromosome> objective) Applies DSE to the passed test using as symbolic variables only those that are declared in the set of statement indexes.
static void	getVariables(Expression<?> expr, Set<Variable<?>> variables) Recursively determine constraints in expression

Methods inherited from class java.lang.Object

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

Constructor Detail

DSETestGenerator

public DSETestGenerator()

Creates a new test generator with no suite. Only the test case will be used

DSETestGenerator

public DSETestGenerator(TestSuiteChromosome suite)

Creates a new test generator using a test suite. The test case will be added to the test suite.

Parameters:

suite -

Method Detail

generateNewTest

public TestChromosome generateNewTest(TestChromosome test,
                                      Set<Integer> statementIndexes,
                                      LocalSearchObjective<TestChromosome> objective)

Applies DSE to the passed test using as symbolic variables only those that are declared in the set of statement indexes. The objective is used to detect if the DSE has improved the fitness.

Parameters:

test - the test case to be used as parameterised unit test

statementIndexes - a set with statement indexes with primitive value declarations that can be used as symbolic variables. This set must be non-empty.

objective - the local search objective to measure fitness improvement.

getVariables

public static void getVariables(Expression<?> expr,
                                Set<Variable<?>> variables)

Recursively determine constraints in expression

Parameters:

expr - a Expression object.

variables - a Set object.