gov.nasa.jpf.perturb

Class GenericDataAbstractor

java.lang.Object

gov.nasa.jpf.perturb.GenericDataAbstractor

All Implemented Interfaces:

OperandPerturbator

public class GenericDataAbstractor
extends java.lang.Object
implements OperandPerturbator

This file implements a generic data abstraction module that can be used with the Perturbator to execute a method with a choice of values for the method parameters. This module handles all basic types and selects values for them as follows: int, short: random negative integer | 0 | random positive integer float: random negative floating point | 0 | random positive floating point char: two random values in [0, 255] and an explicit 0 boolean: true | false An instance of this class is expected to be specialized for each method that we want perturbed. The cstor creates a vector of valuations for the parameters using all choices for each basic type such that each vector can be written directly into the method stack frame for parameters

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	GenericDataAbstractor.Valuation

Field Summary

Fields

Modifier and Type	Field and Description
protected int	choices
protected boolean	isStatic
protected MethodInfo	mi
protected int	nParams
protected int	operandSize
protected java.lang.String[]	paramNames
protected java.lang.String[]	paramTypeNames
protected byte[]	paramTypes
protected java.util.Random	randomizer
protected StackFrame	stackFrame
protected GenericDataAbstractor.Valuation	valuation
protected java.util.Vector<GenericDataAbstractor.Valuation>	valuations

Constructor Summary

Constructors

Constructor and Description
GenericDataAbstractor(Config conf, java.lang.String keyPrefix)

Method Summary

Modifier and Type	Method and Description
ChoiceGenerator<?>	createChoiceGenerator(java.lang.String id, StackFrame frame, java.lang.Object refObject)
java.lang.Class<? extends ChoiceGenerator<?>>	getChoiceGeneratorType()
boolean	perturb(ChoiceGenerator<?> cg, StackFrame frame)
int[]	populateBoolean(MethodInfo mi, java.lang.String name)
int[]	populateByte(MethodInfo mi, java.lang.String name)
int[]	populateChar(MethodInfo mi, java.lang.String name)
int[]	populateDouble(MethodInfo mi, java.lang.String name)
int[]	populateFloat(MethodInfo mi, java.lang.String name)
int[]	populateInt(MethodInfo mi, java.lang.String name)
int[]	populateLong(MethodInfo mi, java.lang.String name)
int[]	populateShort(MethodInfo mi, java.lang.String name)
void	populateValuations(StackFrame frame, int paramIndex, int dataIndex)
void	setMethodInfo(MethodInfo m, StackFrame frame)

Methods inherited from class java.lang.Object

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

Field Detail

mi

protected MethodInfo mi

stackFrame

protected StackFrame stackFrame

nParams

protected int nParams

paramTypes

protected byte[] paramTypes

paramTypeNames

protected java.lang.String[] paramTypeNames

paramNames

protected java.lang.String[] paramNames

valuations

protected java.util.Vector<GenericDataAbstractor.Valuation> valuations

choices

protected int choices

operandSize

protected int operandSize

valuation

protected GenericDataAbstractor.Valuation valuation

isStatic

protected boolean isStatic

randomizer

protected java.util.Random randomizer

Constructor Detail

GenericDataAbstractor

public GenericDataAbstractor(Config conf,
                             java.lang.String keyPrefix)

Method Detail

setMethodInfo

public void setMethodInfo(MethodInfo m,
                          StackFrame frame)

populateBoolean

public int[] populateBoolean(MethodInfo mi,
                             java.lang.String name)

populateChar

public int[] populateChar(MethodInfo mi,
                          java.lang.String name)

populateByte

public int[] populateByte(MethodInfo mi,
                          java.lang.String name)

populateInt

public int[] populateInt(MethodInfo mi,
                         java.lang.String name)

populateShort

public int[] populateShort(MethodInfo mi,
                           java.lang.String name)

populateLong

public int[] populateLong(MethodInfo mi,
                          java.lang.String name)

populateFloat

public int[] populateFloat(MethodInfo mi,
                           java.lang.String name)

populateDouble

public int[] populateDouble(MethodInfo mi,
                            java.lang.String name)

populateValuations

public void populateValuations(StackFrame frame,
                               int paramIndex,
                               int dataIndex)

createChoiceGenerator

public ChoiceGenerator<?> createChoiceGenerator(java.lang.String id,
                                                StackFrame frame,
                                                java.lang.Object refObject)

Specified by:

createChoiceGenerator in interface OperandPerturbator

perturb

public boolean perturb(ChoiceGenerator<?> cg,
                       StackFrame frame)

Specified by:

perturb in interface OperandPerturbator

getChoiceGeneratorType

public java.lang.Class<? extends ChoiceGenerator<?>> getChoiceGeneratorType()

Specified by:

getChoiceGeneratorType in interface OperandPerturbator