Package edu.berkeley.cs.jqf.fuzz.difffuzz

Class DiffTrialExecutor

java.lang.Object

edu.berkeley.cs.jqf.fuzz.difffuzz.DiffTrialExecutor

All Implemented Interfaces:

TrialExecutor

public final class DiffTrialExecutor
extends Object
implements TrialExecutor

Wraps a TrialExecutor to capture each trial's outcome for differential fuzzing.

The delegate runs the trial under its test framework; this decorator records the return value (or the thrown error) as an Outcome and hands it to the DiffFuzzGuidance, which decides whether the trial passed, failed, or differs from a reference run.

Constructor Summary

Constructors

Constructor	Description
DiffTrialExecutor(TrialExecutor delegate, DiffFuzzGuidance guidance)

Method Summary

Modifier and Type	Method	Description
void	runTrial(Object[] args)	Runs one trial with the given arguments.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface edu.berkeley.cs.jqf.fuzz.spi.TrialExecutor

getLastOutput

Constructor Details

DiffTrialExecutor

public DiffTrialExecutor(TrialExecutor delegate,
 DiffFuzzGuidance guidance)

Method Details

runTrial

public void runTrial(Object[] args)
              throws Throwable

Description copied from interface: TrialExecutor

Runs one trial with the given arguments.

Throwables raised by the test body propagate unchanged so the engine can classify them (failure, unmet assumption, timeout). Implementations must not swallow them.

Specified by:

runTrial in interface TrialExecutor

Parameters:

args - the arguments for this trial

Throws:

Throwable - whatever the test body raises