Search in sources :

Example 31 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverFloats method buildTestCaseLt.

private static DefaultTestCase buildTestCaseLt() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendDoublePrimitive(Math.PI - 1);
    VariableReference int1 = tc.appendDoublePrimitive(Math.PI);
    Method method = TestCaseFloatLt.class.getMethod("test", double.class, double.class);
    tc.appendMethod(null, method, int0, int1);
    return tc.getDefaultTestCase();
}
Also used : TestCaseBuilder(org.evosuite.symbolic.TestCaseBuilder) VariableReference(org.evosuite.testcase.variable.VariableReference) Method(java.lang.reflect.Method)

Example 32 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverFloats method buildTestCaseSin.

private static DefaultTestCase buildTestCaseSin() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(Math.sin(Math.PI));
    VariableReference double1 = tc.appendDoublePrimitive(Math.PI);
    Method method = TestCaseSin.class.getMethod("test", double.class, double.class);
    tc.appendMethod(null, method, double0, double1);
    return tc.getDefaultTestCase();
}
Also used : TestCaseBuilder(org.evosuite.symbolic.TestCaseBuilder) VariableReference(org.evosuite.testcase.variable.VariableReference) Method(java.lang.reflect.Method)

Example 33 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverFloats method buildTestCaseNeq.

private static DefaultTestCase buildTestCaseNeq() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(Math.PI);
    VariableReference double1 = tc.appendDoublePrimitive(Math.E);
    Method method = TestCaseFloatNeq.class.getMethod("test", double.class, double.class);
    tc.appendMethod(null, method, double0, double1);
    return tc.getDefaultTestCase();
}
Also used : TestCaseBuilder(org.evosuite.symbolic.TestCaseBuilder) VariableReference(org.evosuite.testcase.variable.VariableReference) Method(java.lang.reflect.Method)

Example 34 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverFloats method buildTestCaseRound.

private static DefaultTestCase buildTestCaseRound() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference int0 = tc.appendIntPrimitive((int) Math.round(Math.PI));
    VariableReference double1 = tc.appendDoublePrimitive(Math.PI);
    Method method = TestCaseRound.class.getMethod("test", int.class, double.class);
    tc.appendMethod(null, method, int0, double1);
    return tc.getDefaultTestCase();
}
Also used : TestCaseBuilder(org.evosuite.symbolic.TestCaseBuilder) VariableReference(org.evosuite.testcase.variable.VariableReference) Method(java.lang.reflect.Method)

Example 35 with TestCaseBuilder

use of org.evosuite.symbolic.TestCaseBuilder in project evosuite by EvoSuite.

the class TestSolverFloats method buildTestCaseExp.

private static DefaultTestCase buildTestCaseExp() throws SecurityException, NoSuchMethodException {
    TestCaseBuilder tc = new TestCaseBuilder();
    VariableReference double0 = tc.appendDoublePrimitive(Math.exp(Math.PI));
    VariableReference double1 = tc.appendDoublePrimitive(Math.PI);
    Method method = TestCaseExp.class.getMethod("test", double.class, double.class);
    tc.appendMethod(null, method, double0, double1);
    return tc.getDefaultTestCase();
}
Also used : TestCaseBuilder(org.evosuite.symbolic.TestCaseBuilder) VariableReference(org.evosuite.testcase.variable.VariableReference) Method(java.lang.reflect.Method)

Aggregations

TestCaseBuilder (org.evosuite.symbolic.TestCaseBuilder)146 VariableReference (org.evosuite.testcase.variable.VariableReference)143 Method (java.lang.reflect.Method)129 Test (org.junit.Test)16 DowncastExample (com.examples.with.different.packagename.test.DowncastExample)8 DefaultTestCase (org.evosuite.testcase.DefaultTestCase)8 ExecutionResult (org.evosuite.testcase.execution.ExecutionResult)7 ArrayReference (org.evosuite.testcase.variable.ArrayReference)7 MIMEType (com.examples.with.different.packagename.concolic.MIMEType)6 ShowMessageDialogExample (com.examples.with.different.packagename.mock.javax.swing.ShowMessageDialogExample)6 Field (java.lang.reflect.Field)6 ConcreteSubclass (com.examples.with.different.packagename.test.ConcreteSubclass)4 ShowInternalMessageDialogExample (com.examples.with.different.packagename.mock.javax.swing.ShowInternalMessageDialogExample)2 AbstractSuperclass (com.examples.with.different.packagename.test.AbstractSuperclass)2 AssignmentStatement (org.evosuite.testcase.statements.AssignmentStatement)2 FieldReference (org.evosuite.testcase.variable.FieldReference)2 GenericField (org.evosuite.utils.generic.GenericField)2 CBranchExample (com.examples.with.different.packagename.cbranch.CBranchExample)1 ShowConfirmDialogExample (com.examples.with.different.packagename.mock.javax.swing.ShowConfirmDialogExample)1 ShowInputDialogExample (com.examples.with.different.packagename.mock.javax.swing.ShowInputDialogExample)1