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

Class DiffFuzzReproGuidance

java.lang.Object

edu.berkeley.cs.jqf.fuzz.repro.ReproGuidance

edu.berkeley.cs.jqf.fuzz.difffuzz.DiffFuzzReproGuidance

All Implemented Interfaces:

DiffFuzzGuidance, Guidance

public class DiffFuzzReproGuidance
extends ReproGuidance
implements DiffFuzzGuidance

Field Summary

Fields

Modifier and Type	Field	Description
protected List<Outcome>	cmpTo
static List<Outcome>	recentOutcomes

Constructor Summary

Constructors

Constructor	Description
DiffFuzzReproGuidance(File[] inputFile, File traceDir)
DiffFuzzReproGuidance(File[] inputFile, File traceDir, List<Outcome> cmpRes)
DiffFuzzReproGuidance(File inputFile, File traceDir)
DiffFuzzReproGuidance(File inputFile, File traceDir, List<Outcome> cmpRes)

Method Summary

Modifier and Type	Method	Description
void	run(TestClass testClass, FrameworkMethod method, Object[] args)	Runs a test method with generated arguments as input.
void	setCompare(Method m)

Methods inherited from class edu.berkeley.cs.jqf.fuzz.repro.ReproGuidance

generateCallBack, getBranchesCovered, getCoverage, getInput, handleResult, hasInput, jacocoCheckpoint, observeGeneratedArgs, setStopOnFailure

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.difffuzz.DiffFuzzGuidance

getOutcome

Methods inherited from interface edu.berkeley.cs.jqf.fuzz.guidance.Guidance

generateCallBack, getInput, handleResult, hasInput, observeGeneratedArgs

Field Detail

cmpTo

protected List<Outcome> cmpTo

recentOutcomes

public static final List<Outcome> recentOutcomes

Constructor Detail

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File[] inputFile,
                             File traceDir)
                      throws IOException

Throws:

IOException

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File[] inputFile,
                             File traceDir,
                             List<Outcome> cmpRes)
                      throws IOException

Throws:

IOException

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File inputFile,
                             File traceDir)
                      throws IOException

Throws:

IOException

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File inputFile,
                             File traceDir,
                             List<Outcome> cmpRes)
                      throws IOException

Throws:

IOException

Method Detail

setCompare

public void setCompare(Method m)

Specified by:

setCompare in interface DiffFuzzGuidance

run

public void run(TestClass testClass,
                FrameworkMethod method,
                Object[] args)
         throws Throwable

Description copied from interface: Guidance

Runs a test method with generated arguments as input.

By default, this method simply runs the test method using a JUnit TrialRunner. Guidances can override this method to customize how test execution should be performed once inputs are generated. For example, a guidance that supports non-deterministic test code may wish to execute multiple trials per generated input.

Specified by:

run in interface Guidance

Parameters:

testClass - the test class

method - the test method within the test class

args - the arguments to the test method (i.e., the test input)

Throws:

Throwable - any exception that may be thrown during test execution