How to use heuristic method of org.evomaster.client.java.instrumentation.coverage.noninteger.NonIntegerComparisons class

Best EvoMaster code snippet using org.evomaster.client.java.instrumentation.coverage.noninteger.NonIntegerComparisons.heuristic

Source:NonIntegerComparisons.java

1package org.evomaster.client.java.instrumentation.coverage.noninteger;2import org.evomaster.client.java.instrumentation.coverage.methodreplacement.DistanceHelper;3import org.evomaster.client.java.instrumentation.heuristic.TruthnessUtils;4import org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer;5/**6 * Method replacement for LCMP, DCMPL, DCMPG, FCMPL, FCMPG instructions.7 * Those are used for when long, double and float numbers are compared.8 * See:9 * https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html10 *11 * Created by arcuri82 on 28-Feb-20.12 */13public class NonIntegerComparisons {14    /*15        WARN: all the names of the public methods here are used in the16        bytecode instrumentation. If change any name, should also change17        the instrumentator18     */19    private static final double REACHED = 0.2d;20    private static double heuristic(double distance){21        //value in [0,1], proportional to distance22        double normalized = TruthnessUtils.normalizeValue(distance);23        //the higher the distance, the worse the score24        double score = 1d - normalized;25        double scaled = REACHED + ((1d-REACHED) * score);26        return scaled;27    }28    public static int replaceLCMP(long a, long b, String id){29        double distance = DistanceHelper.getDistanceToEquality(a, b);30        double less = 0;31        double eq = 0;32        double greater = 0;33        int res;34        if(a == b){35            less = REACHED;36            eq = 1d;37            greater = REACHED;38            res = 0;39        } else if(a < b){40            less = 1d;41            eq = heuristic(distance);42            greater = heuristic(DistanceHelper.increasedDistance(distance, 1));43            res = -1;44        } else {45            assert  a > b;46            less = heuristic(DistanceHelper.increasedDistance(distance, 1));47            eq = heuristic(distance);48            greater = 1d;49            res = +1;50        }51        ExecutionTracer.executedNumericComparison(id, less, eq, greater);52        return res;53    }54    public static int replaceDCMPG(double a, double b, String id) {55        return replaceDCMP(a, b, id, 1);56    }57    public static int replaceDCMPL(double a, double b, String id) {58        return replaceDCMP(a, b, id, -1);59    }60    public static int replaceFCMPG(float a, float b, String id) {61        return replaceDCMP(a, b, id, 1);62    }63    public static int replaceFCMPL(float a, float b, String id) {64        return replaceDCMP(a, b, id, -1);65    }66    private static int replaceDCMP(double a, double b, String id, int resWhenNotFinite){67        double less = 0;68        double eq = 0;69        double greater = 0;70        int res;71        if (!Double.isFinite(a) || !Double.isFinite(b)) {72            less = REACHED;73            eq = REACHED;74            greater = REACHED;75            res = resWhenNotFinite;76        } else {77            double distance = DistanceHelper.getDistanceToEquality(a, b);78            if (a == b) {79                less = REACHED;80                eq = 1d;81                greater = REACHED;82                res = 0;83            } else if (a < b) {84                less = 1d;85                eq = heuristic(distance);86                greater = heuristic(DistanceHelper.increasedDistance(distance, 1));87                res = -1;88            } else {89                assert a > b;90                less = heuristic(DistanceHelper.increasedDistance(distance, 1));91                eq = heuristic(distance);92                greater = 1d;93                res = +1;94            }95        }96        ExecutionTracer.executedNumericComparison(id, less, eq, greater);97        return res;98    }99}...

heuristic

Using AI Code Generation

1    public void testNonIntegerComparisons() throws Exception {2        ControllerDto dto = getControllerDto(baseUrlOfSut, "org.evomaster.client.java.instrumentation.example.noninteger.NonIntegerComparisons");3        List<IndividualDto> inds = getTestSuiteSolution(dto, 10, 0.6);4        assertTrue(inds.size() > 0);5    }6}

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.