edu.utexas.cs.bevotest

Class BevoTest

java.lang.Object

edu.utexas.cs.bevotest.BevoTest

public class BevoTest
extends java.lang.Object

An outer class wrapping the BevoTest framework.

The BevoTest framework executes test procedures on test items. Each test procedure's input and expected result is specified by a TestCase. A Test is simply a container for TestCases. An execution of a Test executes the test procedures in the Test, and records TestExecutionResults in a TestLog.

BevoTest handles test cases that expect returned values or expect particular exceptions to be thrown. It is robust to test items that throw unexpected exceptions or errors, that don't timely terminate (infinite looping or very slow test items), and that attempt security violations.

This framework conforms to IEEE Std 829, IEEE Standard for Software Test Documentation.

Some operations of this class use actions that are considered privileged under the Java security model. The permissions needed for these actions are given by REQUESTED_PERMISSIONS. If these privileged actions fail with an AccessControlException, the framework recovers gracefully and proceeds with slightly less detailed output. In other words, the current security policy can choose to grant BevoTest its REQUESTED_PERMISSIONS or not, with no catastrophic consequences.

Version:

$Id$

Author:

John Thywissen

See Also:

"IEEE Std 829, Software Test Documentation", REQUESTED_PERMISSIONS

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BevoTest.NullTestItemException A NullTestItemException is a NullPointerException thrown by BevoTest because the item under test was null.
static class	BevoTest.Test A Test is a named collection of test procedures.
static class	BevoTest.TestCase<C,R> A TestCase is a test case and corresponding test procedure for a test item.
static class	BevoTest.TestExecutionResult<C,R> A TestExecutionResult represents the result of executing a test case on a test item.
static class	BevoTest.TestLog A TestLog is a record of an execution of a Test.
static interface	BevoTest.TestLogEntry A TestLogEntry represents an event that occurred during a test execution.
static class	BevoTest.TestReturns<C,R> TestReturns is a convenience class for constructing TestCases that expect a return value.
static class	BevoTest.TestThrows<C,R> TestThrows is a convenience class for constructing TestCases that expect a thrown exception.
static class	BevoTest.TimeoutStackTrace A TimeoutStackTrace holds the stack trace found in a test execution thread that was terminated because it exceeded the test case's run time limit.

Field Summary

Fields

Modifier and Type	Field and Description
static java.security.Permissions	REQUESTED_PERMISSIONS These permissions let the test framework output more detail, if the security policy grants them to this class.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

REQUESTED_PERMISSIONS

public static final java.security.Permissions REQUESTED_PERMISSIONS

These permissions let the test framework output more detail, if the security policy grants them to this class. If the security policy does not grant these permissions, the framework falls-back with slightly less detailed output.