A System Test Methodology Based on Markov Chain Usage Model
Zeng Feng-hua, Peng Cheng-lian, IT Tec · Computer Integrated Manufacturing Systems · 2003
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.