A System Test Methodology Based on Markov Chain Usage Model

Zeng Feng-hua,Chenglian Peng,IT Tec
2003-01-01
Computer Integrated Manufacturing Systems
Abstract:In the system testing, the communication's validation between processors or different kinds of units is more important. 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. At last, the algorithm for translating UML-SD into Markov chain usage model (MCUM) and its corresponding tool implementation is demonstrated.
What problem does this paper attempt to address?