A system test methodology based on the Markov chain usage model

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 Unified 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 together with those related technologies used in MaTeLo is introduced. Next, the main structure and encoding method for the XML based MCML is given. Following this, the algorithm for translating UML-SD into Markov chain usage model (MCUM) and its corresponding tool implementation is denoted.