|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectde.uka.ipd.sdq.pcmsolver.tests.MarkovTest01
public class MarkovTest01
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.
| Constructor Summary | |
|---|---|
MarkovTest01()
|
|
| Method Summary | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
void |
runMarkovTransform()
MarkovTest01public MarkovTest01()
setUp
runMarkovTransform
| |||||||||||||||||||