edu.utep.cs.jet.rat
Interface TestCaseGenerationListener

public interface TestCaseGenerationListener

The listener interface for receiving test case generation events. The class that is interested in processing a test case generation event should implement this interface, and the object created with that class should be registered with a test case generator (TestCaseGenerator), using the generator's addTestCaseGenerationListener method. When a new test case is generated, the corresponding test case method of that object is invoked.

Version:

$Revision: 1.6 $

Author:

Yoonsik Cheon

Method Summary

void	failureTestCase(TestCase tc, String msg) Invoked when a failure test case is generated.
void	meaninglessTestCase(TestCase tc) Invoked when a meaningless test case is generated.
void	redundantTestCase(TestCase tc) Invoked when a redundant test case is generated.
void	successTestCase(TestCase tc) Invoked when a success test case is generated.

Method Detail

meaninglessTestCase

void meaninglessTestCase(TestCase tc)

Invoked when a meaningless test case is generated. A meaningless test case is a test case that doesn't satisfies the precondition of the method being tested.

successTestCase

void successTestCase(TestCase tc)

Invoked when a success test case is generated. A success test case is a test case that satisfies the postcondition of the method being tested.

failureTestCase

void failureTestCase(TestCase tc,
                     String msg)

Invoked when a failure test case is generated. A failure test case is a test case that doesn't satisfy the postcondition of the method being tested.

redundantTestCase

void redundantTestCase(TestCase tc)

Invoked when a redundant test case is generated. A test case is redundant if it is meaningfull and there exists an equivalent test case in the test suite.