How to use updateObjective method of org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer class

Best EvoMaster code snippet using org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective

Source:ExecutionTracer.java

...145    }146    public static Double getValue(String id) {147        return objectiveCoverage.get(id).value;148    }149    private static void updateObjective(String id, double value) {150        if (value < 0d || value > 1d) {151            throw new IllegalArgumentException("Invalid value " + value + " out of range [0,1]");152        }153        /*154            In the same execution, a target could be reached several times,155            so we should keep track of the best value found so far156         */157        if (objectiveCoverage.containsKey(id)) {158            double previous = objectiveCoverage.get(id).value;159            if(value > previous){160                objectiveCoverage.put(id, new TargetInfo(null, id, value, actionIndex));161            }162        } else {163            objectiveCoverage.put(id, new TargetInfo(null, id, value, actionIndex));164        }165        ObjectiveRecorder.update(id, value);166    }167    public static void executedNumericComparison(String idTemplate, double lt, double eq, double gt){168        updateObjective(ObjectiveNaming.numericComparisonObjectiveName(idTemplate, -1), lt);169        updateObjective(ObjectiveNaming.numericComparisonObjectiveName(idTemplate, 0), eq);170        updateObjective(ObjectiveNaming.numericComparisonObjectiveName(idTemplate, +1), gt);171    }172    public static void executedReplacedMethod(String idTemplate, ReplacementType type, Truthness t){173        String idTrue = ObjectiveNaming.methodReplacementObjectiveName(idTemplate, true, type);174        String idFalse = ObjectiveNaming.methodReplacementObjectiveName(idTemplate, false, type);175        updateObjective(idTrue, t.getOfTrue());176        updateObjective(idFalse, t.getOfFalse());177    }178    public static final String EXECUTED_LINE_METHOD_NAME = "executedLine";179    public static final String EXECUTED_LINE_DESCRIPTOR = "(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;I)V";180    /**181     * Report on the fact that a given line has been executed.182     */183    public static void executedLine(String className, String methodName, String descriptor, int line) {184        //for targets to cover185        String lineId = ObjectiveNaming.lineObjectiveName(className, line);186        String classId = ObjectiveNaming.classObjectiveName(className);187        updateObjective(lineId, 1d);188        updateObjective(classId, 1d);189        //to calculate last executed line190        String lastLine = className + "_" + line + "_" + methodName;191        String lastMethod = className + "_" + methodName + "_" + descriptor;192        markLastExecutedStatement(lastLine, lastMethod);193    }194    public static final String EXECUTING_METHOD_METHOD_NAME = "executingMethod";195    public static final String EXECUTING_METHOD_DESCRIPTOR = "(Ljava/lang/String;IIZ)V";196    /**197     *  Report on whether method calls have been successfully completed.198     *  Failures can happen due to thrown exceptions.199     *200     * @param className201     * @param line202     * @param index    as there can be many method calls on same line, need to differentiate them203     * @param completed whether the method call was successfully completed.204     */205    public static void executingMethod(String className, int line, int index, boolean completed){206        String id = ObjectiveNaming.successCallObjectiveName(className, line, index);207        if(completed) {208            updateObjective(id, 1d);209        } else {210            updateObjective(id, 0.5);211        }212    }213    //---- branch-jump methods --------------------------214    private static void updateBranch(String className, int line, int branchId, Truthness t) {215        /*216            Note: when we have217            if(x > 0){}218            the "jump" to "else" branch is done if that is false.219            So, the actual evaluated condition is the negation, ie220            x <= 0221         */222        String forThen = ObjectiveNaming.branchObjectiveName(className, line, branchId, true);223        String forElse = ObjectiveNaming.branchObjectiveName(className, line, branchId, false);224        updateObjective(forElse, t.getOfTrue());225        updateObjective(forThen, t.getOfFalse());226    }227    public static final String EXECUTING_BRANCH_JUMP_METHOD_NAME = "executingBranchJump";228    public static final String JUMP_DESC_1_VALUE = "(IILjava/lang/String;II)V";229    public static void executingBranchJump(230            int value, int opcode, String className, int line, int branchId) {231        Truthness t = HeuristicsForJumps.getForSingleValueJump(value, opcode);232        updateBranch(className, line, branchId, t);233    }234    public static final String JUMP_DESC_2_VALUES = "(IIILjava/lang/String;II)V";235    public static void executingBranchJump(236            int firstValue, int secondValue, int opcode, String className, int line, int branchId) {237        Truthness t = HeuristicsForJumps.getForValueComparison(firstValue, secondValue, opcode);238        updateBranch(className, line, branchId, t);239    }...

updateObjective

Using AI Code Generation

1    static void updateObjective(int id, boolean covered) {2        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered);3    }4    static void updateObjective(int id, boolean covered, String value) {5        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);6    }7    static void updateObjective(int id, boolean covered, int value) {8        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);9    }10    static void updateObjective(int id, boolean covered, long value) {11        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);12    }13    static void updateObjective(int id, boolean covered, double value) {14        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);15    }16    static void updateObjective(int id, boolean covered, float value) {17        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);18    }19    static void updateObjective(int id, boolean covered, char value) {20        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);21    }22    static void updateObjective(int id, boolean covered, byte value) {23        org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, covered, value);24    }

updateObjective

Using AI Code Generation

1int id = org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.getTestCase().getId();2if (org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.getTestCase().isNew()) {3    String name = "org.evomaster.client.java.instrumentation.example.objective.ObjectiveClass:methodWithObjective";4    org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, name, 1.0);5}6String name = "org.evomaster.client.java.instrumentation.example.objective.ObjectiveClass:methodWithObjective";7org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(id, name, 1.0);

updateObjective

Using AI Code Generation

1String className = "Foo";2String methodName = "foo";3String className2 = "Bar";4String methodName2 = "bar";5String id = "id";6int value = 1;7org.evomaster.client.java.instrumentation.staticstate.ExecutionTracer.updateObjective(className, methodName, className2, methodName2, id, value);

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.