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

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

public class MarkovTest04
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
MarkovTest04()
           
 
Method Summary
 void runMarkovTransform()
          
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MarkovTest04

public MarkovTest04()
Method Detail

setUp

Sets up the test configuration.


runMarkovTransform

Tests the transformation to and solving of the Markov Chain.

Throws:
ParserException