基于马尔可夫链使用模型的系统测试

摘要

在系统测试中,对处理器或部件之间的通信验证是非常重要的.为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法.文中介绍了基于统计软件测试的欧盟项目中有关的主要技术.还介绍了基于扩展标识语言的马尔可夫链标记语言的主要结构及编码方法.最后,给出了相应的算法及实现技术.