de.uka.ipd.sdq.pcmsolver.tests
Class MarkovTest01

java.lang.Object
  extended by de.uka.ipd.sdq.pcmsolver.tests.MarkovTest01

public class MarkovTest01
extends Object

This test case examines the correctness of the PCM 2 Markov transformation and the Markov Solver. A simple PCM instance is transformed into a Markov Chain instance, which is then solved. The solved value is compared to the known result.

Author:
brosch

Constructor Summary
MarkovTest01()
           
 
Method Summary
 void runMarkovTransform()
          
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MarkovTest01

public MarkovTest01()
Method Detail

setUp

Sets up the test configuration.


runMarkovTransform

Tests the transformation to and solving of the Markov Chain.