Package edu.jas.gbufd

Class ReductionTest

  • All Implemented Interfaces:
    junit.framework.Test
    public class ReductionTest
extends junit.framework.TestCase
    Reduction tests with JUnit.
    Author:
    Heinz Kredel

    • Constructor Summary

      Constructors 
      Constructor Description
      ReductionTest​(java.lang.String name)
      Constructs a ReductionTest object.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      main
      protected void setUp()  
      static junit.framework.Test suite()
      suite.
      protected void tearDown()  
      void testIntegerPseudoReduction()
      Test integer coefficient pseudo-reduction.
      void testIntegerRReduction()
      Test integer coefficient pseudo r-reduction.
      void testIntReductionRecording()
      Test integer pseudo coefficient reduction with recording.
      void testIntRReductionRecording()
      Test integer pseudo coefficient r-reduction with recording.
      void testRationalRReduction()
      Test rational coefficient r-reduction.
      void testRatRReductionRecording()
      Test rational coefficient r-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

      • 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

      • testIntReductionRecording

        public void testIntReductionRecording()
        Test integer pseudo coefficient reduction with recording.

      • testIntegerRReduction

        public void testIntegerRReduction()
        Test integer coefficient pseudo r-reduction.

      • testIntRReductionRecording

        public void testIntRReductionRecording()
        Test integer pseudo coefficient r-reduction with recording.