Package randoop.test

Interface Summary

Interface	Description
Check	A Check represents the expected runtime behavior of a Sequence, at a particular offset.
TestChecks<T extends TestChecks<T>>	A TestChecks reprents a set of Checks, and possibly a single ExceptionCheck.

Class Summary

Class	Description
CompilableTestPredicate	TestPredicate that returns true if the given ExecutableSequence is compilable.
ContractCheckingGenerator	An execution visitor that generates checks for error-revealing tests.
ContractSet	Manages the set of ObjectContract objects.
DummyCheckGenerator	Returns an empty TestChecks.
EmptyExceptionCheck	An ExceptionCheck that doesn't enforce the expectation of an exception by the statement at the statement index.
ErrorRevealingChecks	ErrorRevealingChecks represent failing checks for a particular test sequence.
ErrorTestPredicate	Returns true if the sequence is an error test (has a failure).
ExceptionCheck	An ExceptionCheck indicates that an exception is expected at a particular statement in a sequence.
ExcludeTestPredicate	Forbids certain sequences.
ExpectedExceptionCheck	An ExceptionCheck that enforces the expectation of an exception being thrown.
ExpectedExceptionCheckGen	A check generator that when given an exception, generates either an ExpectedExceptionCheck object or an EmptyExceptionCheck.
ExpectedExceptionGenerator	A TestCheckGenerator that generates checks for exceptions that are expected at the final statement of a sequence.
ExtendGenerator	This TestCheckGenerator combines two generators, using the invalid and failure checks from the first, and, if none of those, then returning the output of the second.
IncludeIfCoversPredicate	Requires a test to cover certain classes.
IncludeTestPredicate	Returns true if the test uses a variable (or method) defined in a class that matches the given regular expression.
InvalidCheckGenerator	Generates invalid checks.
InvalidChecks	An empty or singleton set.
InvalidExceptionCheck	An InvalidExceptionCheck represents the occurrence of an exception tagged as an invalid behavior during Check generation.
InvalidValueCheck	Represents the occurrence of an invalid value for a ExecutableBooleanExpression of the TypedOperation in a Statement.
MissingExceptionCheck	Represents the fact that a statement should throw an exception, but did not.
NoExceptionCheck	This check represents the fact that a statement should not throw any exception.
ObjectCheck	A check that checks for expected properties of one or more objects generated during the execution of a Sequence, for example: Checking that the objects created during execution of a sequence respect reflexivity, transitivity and symmetry of equality.
PostConditionCheck	Represents the observed failure of a post-condition.
PostConditionCheckGenerator	Checks the given post-conditions after the last statement of a sequence.
RegressionCaptureGenerator	A TestCheckGenerator that records regression checks on the values created by the sequence.
RegressionChecks	A set of checks, including at most one ExceptionCheck.
RegressionTestPredicate	RegressionTestPredicate determines whether to keep an ExecutableSequence as a regression test.
TestCheckGenerator	Generates a set of test checks from a test sequence that has been executed.
ValidityCheckingGenerator	A ValidityCheckingGenerator checks for occurrences of exceptions that have been tagged as invalid behaviors.
ValueSizePredicate	Returns true if the sequence returns a value that is NOT too large value.