korat.testing.impl
Class TestCradleII

java.lang.Object
  korat.testing.impl.AbstractTestCaseGenerator
      korat.testing.impl.TestCradle
          korat.testing.impl.TestCradleII

All Implemented Interfaces:

ITester

public class TestCradleII
extends TestCradle

Field Summary

private int	currN
static int	currP
private CVFinderDelta	cvFinder
static long	max
private int	MAX_N
private int	MIN_N
private int	N
private int	processors
static int	seed
private int	SIZE

Fields inherited from class korat.testing.impl.TestCradle

accessedFields, classLoader, config, predicateOK, stateSpace, stateSpaceExplorer, totalExplored, validCasesGenerated

Fields inherited from class korat.testing.impl.AbstractTestCaseGenerator

interrupted, out

Constructor Summary

TestCradleII()

Method Summary

private void	processSet(TreeSet<Long> set)
protected void	startTestGeneration(IFinitization fin)

Methods inherited from class korat.testing.impl.TestCradle

checkPredicate, continueFieldTrace, getAccessedFields, getCandidateVector, getClassLoader, getInstance, getPredicateMethod, getStateSpace, getTotalExplored, getValidCasesGenerated, initStartAndEndCVs, isPredicateOK, notifyFieldAccess, notifyFieldAccess, printStatus, start, startFieldTrace, stopFieldTrace

Methods inherited from class korat.testing.impl.AbstractTestCaseGenerator

attachClient, attachSpecialClient, detachClient, interrupt, isInterrupted, log, log, log, notifyClients, notifyTestFinished, warning

Methods inherited from class java.lang.Object

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

Field Detail

SIZE

private int SIZE

processors

private int processors

currP

public static int currP

MAX_N

private int MAX_N

MIN_N

private int MIN_N

N

private int N

currN

private int currN

seed

public static int seed

cvFinder

private CVFinderDelta cvFinder

max

public static long max

Constructor Detail

TestCradleII

public TestCradleII()

Method Detail

startTestGeneration

protected void startTestGeneration(IFinitization fin)
                            throws CannotInvokePredicateException,
                                   CannotFindPredicateException

Overrides:

startTestGeneration in class TestCradle

Throws:

CannotInvokePredicateException

CannotFindPredicateException

processSet

private void processSet(TreeSet<Long> set)