Examples with DefaultTestCase org.evosuite.testcase.DefaultTestCase used on opensource projects

Example 71 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase93.

@Test
public void testCase93() throws SecurityException, NoSuchMethodException {
    final int old_length = Properties.DSE_CONSTRAINT_LENGTH;
    DefaultTestCase tc = buildTestCase93();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(11, branch_conditions.size());
    Properties.DSE_CONSTRAINT_LENGTH = 33;
    List<BranchCondition> branch_conditions1 = executeTest(tc);
    assertEquals(10, branch_conditions1.size());
    Properties.DSE_CONSTRAINT_LENGTH = 5;
    List<BranchCondition> branch_conditions2 = executeTest(tc);
    assertEquals(2, branch_conditions2.size());
    Properties.DSE_CONSTRAINT_LENGTH = old_length;
    List<BranchCondition> branch_conditions3 = executeTest(tc);
    assertEquals(11, branch_conditions3.size());
}

Example 72 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase96.

@Test
public void testCase96() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase96();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(2, branch_conditions.size());
}

Example 73 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase10.

@Test
public void testCase10() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase10();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(1, branch_conditions.size());
}

Example 74 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase7.

@Test
public void testCase7() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase7();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(0, branch_conditions.size());
}

Example 75 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase28.

@Test
public void testCase28() throws SecurityException, NoSuchMethodException {
    DefaultTestCase tc = buildTestCase28();
    List<BranchCondition> branch_conditions = executeTest(tc);
    assertEquals(5, branch_conditions.size());
}