Package edu.jas.gb
Class ReductionTest
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- edu.jas.gb.ReductionTest
-
- All Implemented Interfaces:
junit.framework.Test
public class ReductionTest extends junit.framework.TestCase
Reduction / normalform tests with JUnit.- Author:
- Heinz Kredel
-
-
Constructor Summary
Constructors Constructor Description ReductionTest(java.lang.String name)
Constructs aReductionTest
object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
mainprotected void
setUp()
static junit.framework.Test
suite()
suite.protected void
tearDown()
void
testComplexReduction()
Test complex coefficient reduction.void
testIntegerDReduction()
Test integer coefficient d-reduction.void
testIntegerDReductionRecording()
Test integer coefficient d-reduction recording.void
testIntegerEReduction()
Test integer coefficient e-reduction.void
testIntegerEReductionRecording()
Test integer coefficient e-reduction recording.void
testRatReduction()
Test rational coefficient reduction.void
testRatReduction0()
Test constants and empty list reduction.void
testRatReductionPar()
Test rational coefficient parallel reduction.void
testRatReductionPar0()
Test parallel reduction with constants and empty list reduction.void
testRatReductionRecording()
Test rational coefficient reduction with recording.-
Methods inherited from class junit.framework.TestCase
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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toString
-
-
-
-
Constructor Detail
-
ReductionTest
public ReductionTest(java.lang.String name)
Constructs aReductionTest
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 classjunit.framework.TestCase
-
tearDown
protected void tearDown()
- Overrides:
tearDown
in classjunit.framework.TestCase
-
testRatReduction0
public void testRatReduction0()
Test constants and empty list reduction.
-
testRatReductionPar0
public void testRatReductionPar0()
Test parallel reduction with constants and empty list reduction.
-
testRatReduction
public void testRatReduction()
Test rational coefficient reduction.
-
testRatReductionPar
public void testRatReductionPar()
Test rational coefficient parallel reduction.
-
testComplexReduction
public void testComplexReduction()
Test complex coefficient reduction.
-
testRatReductionRecording
public void testRatReductionRecording()
Test rational coefficient reduction with recording.
-
testIntegerEReduction
public void testIntegerEReduction()
Test integer coefficient e-reduction.
-
testIntegerEReductionRecording
public void testIntegerEReductionRecording()
Test integer coefficient e-reduction recording.
-
testIntegerDReduction
public void testIntegerDReduction()
Test integer coefficient d-reduction.
-
testIntegerDReductionRecording
public void testIntegerDReductionRecording()
Test integer coefficient d-reduction recording.
-
-