edu.jas.application
Class ReductionTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.jas.application.ReductionTest

All Implemented Interfaces:

junit.framework.Test

public class ReductionTest
extends junit.framework.TestCase

Reduction tests with JUnit.

Author:

Heinz Kredel.

Constructor Summary

ReductionTest(java.lang.String name)
Constructs a ReductionTest object.

Method Summary

static void	main(java.lang.String[] args) main
protected void	setUp()
static junit.framework.Test	suite() suite.
protected void	tearDown()
void	testRatPolReduction() Test rational coefficient polynomial parametric reduction, caseDistinction and determination.

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

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

Constructor Detail

ReductionTest

public ReductionTest(java.lang.String name)

Constructs a ReductionTest object.

Parameters:

name - String

Method Detail

main

public static void main(java.lang.String[] args)

main

suite

public static junit.framework.Test suite()

suite.

Returns:

a test suite.

setUp

protected void setUp()

Overrides:

setUp in class junit.framework.TestCase

tearDown

protected void tearDown()

Overrides:

tearDown in class junit.framework.TestCase

testRatPolReduction

public void testRatPolReduction()

Test rational coefficient polynomial parametric reduction, caseDistinction and determination.