A System Test Methodology Based on the Markov Chain Usage Model

摘要：

In the system testing, communications betweenprocessors or different kind of units are more importantto be validated. For this purpose, we present aframework for transforming the OMGs Unified ModelingLanguage-Sequence Diagram (UML-SD) to the Markovchain whose encoding rule is a kind of Markup language(Markov Chain Markup Language-MCML).Then, thestatistical software testing based project-Markov TestLogic (MaTeLo), and together with those relatedtechnologies used in MaTeLo is introduced. Next, themain structure and encoding method for the XML basedMCML is given. Right following this, the algorithm fortranslating UML-SD into Markov chain usage model(MCUM) and its corresponding tool implementation isdenoted.

作者: Fenhua Zhen Chenglian Peng

作者单位: Institute for Computer Science,University of Erlangen-Nuremberg,Germany Department of Computing and IT Technology,School of Information Science and Engineering,Fudan Univer

会议类型: 国际会议

会议名称: The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

会议地点: 厦门

会议语种:英文

页码: 160-165

在线出版日期: 2004-05-26（万方平台首次上网日期，不代表论文的发表时间）