Package randoop.test
package randoop.test
-
ClassDescriptionA Check represents the expected runtime behavior of a Sequence, at a particular offset.
TestPredicatethat returns true if the givenExecutableSequenceis compilable.An execution visitor that generates checks for error-revealing tests.Manages the set ofObjectContractobjects.Returns an empty TestChecks.AnExceptionCheckthat doesn't enforce the expectation of an exception by the statement at the statement index.ErrorRevealingChecks represent failing checks for a particular test sequence.Returns true if the sequence is an error test (has a failure).AnExceptionCheckindicates that an exception is expected at a particular statement in a sequence.Forbids certain sequences.AnExceptionCheckthat enforces the expectation of an exception being thrown.A check generator that when given an exception, generates either anExpectedExceptionCheckobject or anEmptyExceptionCheck.ATestCheckGeneratorthat generates checks for exceptions that are expected at the final statement of a sequence.ThisTestCheckGeneratorcombines two generators, using the invalid and failure checks from the first, and, if none of those, then returning the output of the second.Requires a test to cover certain classes.Returns true if the test uses a variable (or method) defined in a class that matches the given regular expression.Generates invalid checks.An empty or singleton set.AnInvalidExceptionCheckrepresents the occurrence of an exception tagged as an invalid behavior duringCheckgeneration.Represents the occurrence of an invalid value for aExecutableBooleanExpressionof theTypedOperationin aStatement.Represents the fact that a statement should throw an exception, but did not.This check represents the fact that a statement should not throw any exception.A check that checks for expected properties of one or more objects generated during the execution of aSequence, for example: Checking that the objects created during execution of a sequence respect reflexivity, transitivity and symmetry of equality.Represents the observed failure of a post-condition.Checks the given post-conditions after the last statement of a sequence.ATestCheckGeneratorthat records regression checks on the values created by the sequence.A set of checks, including at most one ExceptionCheck.RegressionTestPredicatedetermines whether to keep anExecutableSequenceas a regression test.Generates a set of test checks from a test sequence that has been executed.TestChecks<T extends TestChecks<T>>A TestChecks reprents a set of Checks, and possibly a single ExceptionCheck.AValidityCheckingGeneratorchecks for occurrences of exceptions that have been tagged as invalid behaviors.Returns true if the sequence returns a value that is NOT too large value.