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

Example 81 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase6.

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

Example 82 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase80.

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

Example 83 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase78.

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

Example 84 with DefaultTestCase

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

the class ConcolicExecutionTest method testCase44.

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

Example 85 with DefaultTestCase

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

the class SymbolicObserverTestNull method testNullAssignment.

@Test
public void testNullAssignment() throws NoSuchFieldException, SecurityException {
    TestCaseBuilder builder = new TestCaseBuilder();
    VariableReference var0 = builder.appendNull(TestCaseNullAssignment.class);
    Field x_field = TestCaseNullAssignment.class.getField("x");
    VariableReference int0 = builder.appendIntPrimitive(10);
    builder.appendAssignment(var0, x_field, int0);
    DefaultTestCase testCase = builder.getDefaultTestCase();
    List<BranchCondition> branch_conditions = ConcolicExecution.executeConcolic(testCase);
    assertTrue(branch_conditions.isEmpty());
}