TestCradle

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

korat.testing.impl
Class TestCradle

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

public class TestCradle
extends AbstractTestCaseGenerator
implements ITester
extends AbstractTestCaseGenerator
implements ITester

Given the Finitization, conducts tests for all regular candidates in domain state space

Field Summary
`protected IIntList`	`accessedFields`
`protected ClassLoader`	`classLoader`
`protected ConfigManager`	`config`
`private ICVFactory`	`cvFactory`
`private DataOutputStream`	`dos`
`private String`	`finName`
`private static TestCradle`	`instance`
`protected boolean`	`predicateOK`
`protected StateSpace`	`stateSpace`
`protected IKoratSearchStrategy`	`stateSpaceExplorer`
`protected long`	`totalExplored`
`private boolean`	`traceStarted`
`protected long`	`validCasesGenerated`

Fields inherited from class korat.testing.impl.AbstractTestCaseGenerator
`interrupted, out`

Constructor Summary
`protected`	`TestCradle()`

Method Summary
`protected boolean`	`checkPredicate(Object testCase, Method predicate)`
`void`	`continueFieldTrace()` Notifies continuation of a stopped field trace
`IIntList`	`getAccessedFields()`
`int[]`	`getCandidateVector()`
`ClassLoader`	`getClassLoader()`
`private Method`	`getFinMethod(Class cls, String finName, String[] finArgs)`
`static TestCradle`	`getInstance()`
`protected Method`	`getPredicateMethod(Class<?> testClass, String predicateName)`
`StateSpace`	`getStateSpace()`
`long`	`getTotalExplored()`
`long`	`getValidCasesGenerated()`
`protected void`	`initStartAndEndCVs(IKoratSearchStrategy ssExplorer)`
`private IFinitization`	`invokeFinMethod(Class cls, Method finitize, String[] finArgs)`
`boolean`	`isPredicateOK()`
`void`	`notifyFieldAccess(int accessedFieldIndex)` Notifies that particular field has been accessed
`void`	`notifyFieldAccess(Object obj, String field)` Notifies that particular field has be accessed
`private void`	`printCV(IKoratSearchStrategy sse, boolean predicateOK)`
`protected void`	`printStatus(IKoratSearchStrategy sse, boolean predicateOK)`
`private void`	`start(Class clazz, String[] finArgs)`
`void`	`start(String className, String[] finArgs)`
`void`	`startFieldTrace()` Notifies the beginning of field trace
`protected void`	`startTestGeneration(IFinitization fin)`
`void`	`stopFieldTrace()` Notifies the end of field trace

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

private static TestCradle instance

private ICVFactory cvFactory

protected ClassLoader classLoader

private boolean traceStarted

protected long validCasesGenerated

protected long totalExplored

protected ConfigManager config

private String finName

protected StateSpace stateSpace

protected IIntList accessedFields

protected IKoratSearchStrategy stateSpaceExplorer

protected boolean predicateOK

private DataOutputStream dos

Constructor Detail

protected TestCradle()

Method Detail

public static TestCradle getInstance()