Package edu.berkeley.cs.jqf.fuzz

Class JQF

java.lang.Object

org.junit.runner.Runner

org.junit.runners.ParentRunner<FrameworkMethod>

org.junit.runners.BlockJUnit4ClassRunner

com.pholser.junit.quickcheck.runner.JUnitQuickcheck

edu.berkeley.cs.jqf.fuzz.JQF

All Implemented Interfaces:

Describable, Filterable, Orderable, Sortable

public class JQF
extends JUnitQuickcheck

This class extends JUnit and Quickcheck runners to enable guided fuzz testing.

Author:

Rohan Padhye

Field Summary

Fields

Modifier and Type	Field	Description
protected final com.pholser.junit.quickcheck.internal.generator.GeneratorRepository	generatorRepository

Constructor Summary

Constructors

Constructor	Description
JQF(Class<?> clazz)

Method Summary

Modifier and Type	Method	Description
protected List<FrameworkMethod>	computeTestMethods()
Statement	methodBlock(FrameworkMethod method)
protected void	validateTestMethods(List<Throwable> errors)

Methods inherited from class org.junit.runners.BlockJUnit4ClassRunner

collectInitializationErrors, createTest, createTest, describeChild, getChildren, getTestRules, isIgnored, methodInvoker, possiblyExpectingExceptions, rules, runChild, testName, validateConstructor, validateFields, validateInstanceMethods, validateNoNonStaticInnerClass, validateOnlyOneConstructor, validateZeroArgConstructor, withAfters, withBefores, withPotentialTimeout

Methods inherited from class org.junit.runners.ParentRunner

childrenInvoker, classBlock, classRules, createTestClass, filter, getDescription, getName, getRunnerAnnotations, getTestClass, order, run, runLeaf, setScheduler, sort, validatePublicVoidNoArgMethods, withAfterClasses, withBeforeClasses, withInterruptIsolation

Methods inherited from class org.junit.runner.Runner

testCount

Methods inherited from class java.lang.Object

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

Field Details

generatorRepository

protected final com.pholser.junit.quickcheck.internal.generator.GeneratorRepository generatorRepository

Constructor Details

JQF

public JQF(Class<?> clazz)
    throws InitializationError

Throws:

InitializationError

Method Details

computeTestMethods

protected List<FrameworkMethod> computeTestMethods()

Overrides:

computeTestMethods in class JUnitQuickcheck

validateTestMethods

protected void validateTestMethods(List<Throwable> errors)

Overrides:

validateTestMethods in class JUnitQuickcheck

methodBlock

public Statement methodBlock(FrameworkMethod method)

Overrides:

methodBlock in class JUnitQuickcheck