Search in sources :

Example 76 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class ConcolicExecutionTest method testCase95.

@Test
public void testCase95() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase95();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(7, branch_conditions.size());
}
Also used : DefaultTestCase(org.evosuite.testcase.DefaultTestCase) Test(org.junit.Test)

Example 77 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class ConcolicExecutionTest method testCase65.

@Test
public void testCase65() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase65();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(4, branch_conditions.size());
}
Also used : DefaultTestCase(org.evosuite.testcase.DefaultTestCase) Test(org.junit.Test)

Example 78 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class ConcolicExecutionTest method testCase8.

@Test
public void testCase8() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase8();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(0, branch_conditions.size());
}
Also used : DefaultTestCase(org.evosuite.testcase.DefaultTestCase) Test(org.junit.Test)

Example 79 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class ConcolicExecutionTest method testCase3.

@Test
public void testCase3() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase3();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(2, branch_conditions.size());
}
Also used : DefaultTestCase(org.evosuite.testcase.DefaultTestCase) Test(org.junit.Test)

Example 80 with DefaultTestCase

use of org.evosuite.testcase.DefaultTestCase in project evosuite by EvoSuite.

the class ConcolicExecutionTest method testCase69.

@Test
public void testCase69() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase69();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(0, branch_conditions.size());
}
Also used : DefaultTestCase(org.evosuite.testcase.DefaultTestCase) Test(org.junit.Test)

Aggregations

DefaultTestCase (org.evosuite.testcase.DefaultTestCase)347 Test (org.junit.Test)234 Constraint (org.evosuite.symbolic.expr.Constraint)101 TestCase (org.evosuite.testcase.TestCase)78 ArrayList (java.util.ArrayList)63 CoverageGoalTestNameGenerationStrategy (org.evosuite.junit.naming.methods.CoverageGoalTestNameGenerationStrategy)47 MethodCoverageTestFitness (org.evosuite.coverage.method.MethodCoverageTestFitness)45 IntPrimitiveStatement (org.evosuite.testcase.statements.numeric.IntPrimitiveStatement)41 VariableReference (org.evosuite.testcase.variable.VariableReference)37 TestCaseStringAppendString (com.examples.with.different.packagename.solver.TestCaseStringAppendString)27 TestCaseStringIndexOfString (com.examples.with.different.packagename.solver.TestCaseStringIndexOfString)27 TestCaseStringLastIndexOfString (com.examples.with.different.packagename.solver.TestCaseStringLastIndexOfString)27 IntegerConstraint (org.evosuite.symbolic.expr.IntegerConstraint)27 OutputCoverageGoal (org.evosuite.coverage.io.output.OutputCoverageGoal)25 OutputCoverageTestFitness (org.evosuite.coverage.io.output.OutputCoverageTestFitness)25 TestSuiteChromosome (org.evosuite.testsuite.TestSuiteChromosome)18 GenericMethod (org.evosuite.utils.generic.GenericMethod)17 TestChromosome (org.evosuite.testcase.TestChromosome)16 Method (java.lang.reflect.Method)14 BranchCoverageSuiteFitness (org.evosuite.coverage.branch.BranchCoverageSuiteFitness)14