Examples with OutputCoverageGoal org.evosuite.coverage.io.output.OutputCoverageGoal used on opensource projects

Example 6 with OutputCoverageGoal

use of org.evosuite.coverage.io.output.OutputCoverageGoal in project evosuite by EvoSuite.

the class TestCoverageGoalNameGeneration method testResolveConflict3.

@Test
public void testResolveConflict3() {
    // T1: A, B
    // T2: A, C
    // T3: B, C
    TestCase test1 = new DefaultTestCase();
    MethodCoverageTestFitness methodGoal = new MethodCoverageTestFitness("FooClass", "foo(I)I");
    test1.addCoveredGoal(methodGoal);
    OutputCoverageGoal outputGoalHelper = new OutputCoverageGoal("FooClass", "foo(I)I", Type.INT_TYPE, NUM_ZERO);
    OutputCoverageTestFitness outputGoal1 = new OutputCoverageTestFitness(outputGoalHelper);
    test1.addCoveredGoal(outputGoal1);
    TestCase test2 = new DefaultTestCase();
    test2.addCoveredGoal(methodGoal);
    // Need to add statements to change hashCode
    test2.addStatement(new IntPrimitiveStatement(test2, 0));
    InputCoverageGoal inputGoalHelper = new InputCoverageGoal("FooClass", "foo(I)I", 0, Type.INT_TYPE, NUM_POSITIVE);
    InputCoverageTestFitness inputGoal1 = new InputCoverageTestFitness(inputGoalHelper);
    test2.addCoveredGoal(inputGoal1);
    TestCase test3 = new DefaultTestCase();
    // test3.addCoveredGoal(methodGoal);
    // Need to add statements to change hashCode
    test3.addStatement(new IntPrimitiveStatement(test3, 1));
    test3.addCoveredGoal(outputGoal1);
    test3.addCoveredGoal(inputGoal1);
    List<TestCase> tests = new ArrayList<>();
    tests.add(test1);
    tests.add(test2);
    tests.add(test3);
    CoverageGoalTestNameGenerationStrategy naming = new CoverageGoalTestNameGenerationStrategy(tests);
    assertEquals("testFooAndFooReturningZero", naming.getName(test1));
    assertEquals("testFooAndFooWithPositive", naming.getName(test2));
    // TODO: Is this acceptable? This happens because test 3 has no method goals
    assertEquals("testFooReturningZero", naming.getName(test3));
}

Example 7 with OutputCoverageGoal

use of org.evosuite.coverage.io.output.OutputCoverageGoal in project evosuite by EvoSuite.

the class TestCoverageGoalNameGeneration method testBooleanOutputGoal.

@Test
public void testBooleanOutputGoal() {
    TestCase test = new DefaultTestCase();
    OutputCoverageGoal outputGoal1 = new OutputCoverageGoal("FooClass", "foo", Type.BOOLEAN_TYPE, BOOL_TRUE);
    OutputCoverageTestFitness goal1 = new OutputCoverageTestFitness(outputGoal1);
    test.addCoveredGoal(goal1);
    List<TestCase> tests = new ArrayList<>();
    tests.add(test);
    CoverageGoalTestNameGenerationStrategy naming = new CoverageGoalTestNameGenerationStrategy(tests);
    assertEquals("testFooReturningTrue", naming.getName(test));
}

Example 8 with OutputCoverageGoal

use of org.evosuite.coverage.io.output.OutputCoverageGoal in project evosuite by EvoSuite.

the class TestCoverageGoalNameGeneration method testNumericOutputGoal.

@Test
public void testNumericOutputGoal() {
    TestCase test = new DefaultTestCase();
    OutputCoverageGoal outputGoal1 = new OutputCoverageGoal("FooClass", "foo", Type.INT_TYPE, NUM_POSITIVE);
    OutputCoverageTestFitness goal1 = new OutputCoverageTestFitness(outputGoal1);
    test.addCoveredGoal(goal1);
    List<TestCase> tests = new ArrayList<>();
    tests.add(test);
    CoverageGoalTestNameGenerationStrategy naming = new CoverageGoalTestNameGenerationStrategy(tests);
    assertEquals("testFooReturningPositive", naming.getName(test));
}

Example 9 with OutputCoverageGoal

use of org.evosuite.coverage.io.output.OutputCoverageGoal in project evosuite by EvoSuite.

the class TestCoverageGoalNameGeneration method testEmptyArray.

@Test
public void testEmptyArray() {
    TestCase test = new DefaultTestCase();
    OutputCoverageGoal outputGoal1 = new OutputCoverageGoal("FooClass", "foo", Type.getType("[Ljava.lang.Object;"), ARRAY_EMPTY);
    OutputCoverageTestFitness goal1 = new OutputCoverageTestFitness(outputGoal1);
    test.addCoveredGoal(goal1);
    List<TestCase> tests = new ArrayList<>();
    tests.add(test);
    CoverageGoalTestNameGenerationStrategy naming = new CoverageGoalTestNameGenerationStrategy(tests);
    assertEquals("testFooReturningEmptyArray", naming.getName(test));
}

Example 10 with OutputCoverageGoal

use of org.evosuite.coverage.io.output.OutputCoverageGoal in project evosuite by EvoSuite.

the class TestCoverageGoalNameGeneration method testResolveMethodNames.

@Test
public void testResolveMethodNames() {
    MethodCoverageTestFitness methodGoal = new MethodCoverageTestFitness("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z");
    MethodNoExceptionCoverageTestFitness methodNoExGoal = new MethodNoExceptionCoverageTestFitness("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z");
    OutputCoverageGoal outputGoalHelper1 = new OutputCoverageGoal("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z", Type.BOOLEAN_TYPE, BOOL_FALSE);
    OutputCoverageTestFitness outputGoalFalse = new OutputCoverageTestFitness(outputGoalHelper1);
    OutputCoverageGoal outputGoalHelper2 = new OutputCoverageGoal("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z", Type.BOOLEAN_TYPE, BOOL_TRUE);
    OutputCoverageTestFitness outputGoalTrue = new OutputCoverageTestFitness(outputGoalHelper2);
    InputCoverageGoal inputGoalHelper1 = new InputCoverageGoal("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z", 0, Type.getType(Set.class), SET_EMPTY);
    InputCoverageTestFitness inputGoalEmptySet = new InputCoverageTestFitness(inputGoalHelper1);
    InputCoverageGoal inputGoalHelper2 = new InputCoverageGoal("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z", 0, Type.getType(Set.class), SET_NONEMPTY);
    InputCoverageTestFitness inputGoalNonEmptySet = new InputCoverageTestFitness(inputGoalHelper2);
    InputCoverageGoal inputGoalHelper3 = new InputCoverageGoal("org.apache.commons.scxml.Builtin", "isMember(Ljava/util/Set;Ljava/lang/String;)Z", 1, Type.getType(String.class), STRING_NONEMPTY);
    InputCoverageTestFitness inputGoalStringNonEmpty = new InputCoverageTestFitness(inputGoalHelper3);
    TestCase test1 = new DefaultTestCase();
    test1.addCoveredGoal(methodGoal);
    test1.addCoveredGoal(methodNoExGoal);
    test1.addCoveredGoal(inputGoalEmptySet);
    test1.addCoveredGoal(inputGoalStringNonEmpty);
    test1.addCoveredGoal(outputGoalFalse);
    TestCase test2 = new DefaultTestCase();
    // Need to add statements to change hashCode
    test2.addStatement(new IntPrimitiveStatement(test2, 0));
    test2.addCoveredGoal(methodGoal);
    test2.addCoveredGoal(methodNoExGoal);
    test2.addCoveredGoal(inputGoalNonEmptySet);
    test2.addCoveredGoal(inputGoalStringNonEmpty);
    test2.addCoveredGoal(outputGoalFalse);
    TestCase test3 = new DefaultTestCase();
    // Need to add statements to change hashCode
    test3.addStatement(new IntPrimitiveStatement(test3, 1));
    test3.addCoveredGoal(methodGoal);
    test3.addCoveredGoal(methodNoExGoal);
    test3.addCoveredGoal(inputGoalNonEmptySet);
    test3.addCoveredGoal(inputGoalStringNonEmpty);
    test3.addCoveredGoal(outputGoalTrue);
    List<TestCase> tests = new ArrayList<>();
    tests.add(test1);
    tests.add(test2);
    tests.add(test3);
    CoverageGoalTestNameGenerationStrategy naming = new CoverageGoalTestNameGenerationStrategy(tests);
    assertEquals("testIsMemberWithEmptySet", naming.getName(test1));
    assertEquals("testIsMemberReturningFalse", naming.getName(test2));
    assertEquals("testIsMemberReturningTrue", naming.getName(test3));
}