org.metacsp.tests

Class TestReusableResourceScheduler

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.metacsp.tests.TestReusableResourceScheduler

All Implemented Interfaces:

junit.framework.Test

public class TestReusableResourceScheduler
extends junit.framework.TestCase

Constructor Summary

Constructors

Constructor and Description
TestReusableResourceScheduler()

Method Summary

Modifier and Type	Method and Description
void	setUp()
void	tearDown()
void	testBasicStateVariableScheduling() Bug: When two activities meet they create a peak and scheduling fails.
void	testMeetsCausesOverUsage() Bug: When two activities meet they create a peak and scheduling fails.
void	testPeakCollectionSamplingBug() Sampling peak collection misses this conflict.
void	testPeakCollectionSamplingBugDisappears() Same as previous test case with two Activities removed.
void	testResourcesOrig()
void	testSchedulingConflictResolution()
void	testThreeUsagesOfBinaryResourceFail()

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, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

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

Constructor Detail

TestReusableResourceScheduler

public TestReusableResourceScheduler()

Method Detail

setUp

public void setUp()
           throws java.lang.Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception

tearDown

public void tearDown()
              throws java.lang.Exception

Overrides:

tearDown in class junit.framework.TestCase

Throws:

java.lang.Exception

testSchedulingConflictResolution

public void testSchedulingConflictResolution()

testBasicStateVariableScheduling

public void testBasicStateVariableScheduling()

Bug: When two activities meet they create a peak and scheduling fails.

testMeetsCausesOverUsage

public void testMeetsCausesOverUsage()

Bug: When two activities meet they create a peak and scheduling fails.

testResourcesOrig

public void testResourcesOrig()

testPeakCollectionSamplingBug

public void testPeakCollectionSamplingBug()
                                   throws java.lang.Exception

Sampling peak collection misses this conflict. The problem disappears when removing Activity a1 and a3 (see next test case)

Throws:

java.lang.Exception

testPeakCollectionSamplingBugDisappears

public void testPeakCollectionSamplingBugDisappears()
                                             throws java.lang.Exception

Same as previous test case with two Activities removed. Now the conflict is found and backtrack() returns false

Throws:

java.lang.Exception

testThreeUsagesOfBinaryResourceFail

public void testThreeUsagesOfBinaryResourceFail()