摘要
在系统测试中,对处理器或部件之间的通信验证是非常重要的。为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法。文中介绍了基于统计软件测试的欧盟项目中有关的主要技术。还介绍了基于扩展标识语言的马尔可夫链标记语言的主要结构及编码方法。最后,给出了相应的算法及实现技术。
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.
作者简介
曾风华(1976-),男,上海人,德国埃朗根-纽伦堡大学计算机科学学院通讯系统研究组研究员,硕士,主要从事基于MSC/UML(Sequence Diagram)的通讯系统描述技术、软件测试、XML及马尔可夫链等方面的研究.E-mail:zhen@informatik.uni-erlangen.de.
