A system test methodology based on the Markov chain usage model

Abstract

In the system testing, communications between processors or different kind of units are more important to be validated. For this purpose, we present a framework for transforming the OMG 's Un@ed Modeling Language-Sequence Diagram (UML-SD) to the Markov chain whose encoding rule is a kind of Markup language (Markov Chain Markup Language-MCML). Then, the statistical software testing based project-Markov Test Logic (MaTeLo), and tligzther with those related technolqgies used in MaTeLo is introduced. Next, the main structure and encoding method for the XML based MCML is given. Right following this, the algorithm for translating UML-SD into Markov chain usagc? model (MCUM) and its corresponding tool implementation is denoted.