gov.nasa.jpf.search

Class RandomSearch

java.lang.Object

gov.nasa.jpf.search.Search

gov.nasa.jpf.search.RandomSearch

public class RandomSearch
extends Search

this is a straight execution pseudo-search - it doesn't search at all (i.e. it doesn't backtrack), but just behaves like a 'normal' VM, going forward() until there is no next state then it restarts the search until it hits a certain number of paths executed <2do> this needs to be updated & tested

Field Summary

Fields inherited from class gov.nasa.jpf.search.Search

config, currentError, depth, depthLimit, doBacktrack, done, errors, getAllErrors, lastSearchConstraint, listeners, log, matchDepth, minFreeMemory, notifyProbeListeners, properties, reporter, stateDepth, vm

Constructor Summary

Constructors

Constructor and Description
RandomSearch(Config config, VM vm)

Method Summary

Modifier and Type	Method and Description
void	search()

Methods inherited from class gov.nasa.jpf.search.Search

addListener, addProperty, backtrack, checkAndResetBacktrackRequest, checkAndResetProbeRequest, checkPropertyViolation, checkStateSpaceLimit, cleanUp, error, error, forward, getConfig, getCurrentError, getDepth, getDepthLimit, getErrors, getLastError, getLastSearchConstraint, getNextListenerOfType, getNumberOfErrors, getProperties, getPurgedStateId, getSearchConstraint, getSearchState, getStateDepth, getStateId, getTransition, getVM, hasErrors, hasListenerOfType, hasNextState, hasPropertyTermination, initialize, isDone, isEndState, isErrorState, isIgnoredState, isNewState, isProcessedState, isVisitedState, notifyPropertyViolated, notifySearchConstraintHit, notifySearchFinished, notifySearchProbed, notifySearchStarted, notifyStateAdvanced, notifyStateBacktracked, notifyStateProcessed, notifyStatePurged, notifyStateRestored, notifyStateStored, probeSearch, removeListener, removeProperty, requestBacktrack, resetProperties, restoreState, setDepthLimit, setIgnoredState, setReporter, setStateDepth, supportsBacktrack, supportsRestoreState, terminate, transitionOccurred

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomSearch

public RandomSearch(Config config,
                    VM vm)

Method Detail

search

public void search()

Specified by:

search in class Search