论文部分内容阅读
在系统测试中,对处理器或部件之间的通信验证是非常重要的.为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法.文中介绍了基于统计软件测试的欧盟项目中有关的主要技术.还介绍了基于扩展标识语言的马尔可夫链标记语言的主要结构及编码方法.最后,给出了相应的算法及实现技术.
基于马尔可夫链使用模型的系统测试
【摘 要】
：
在系统测试中,对处理器或部件之间的通信验证是非常重要的.为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法.文中介绍了基于统计软件测试的欧盟项目中
【出 处】
：
计算机集成制造系统
【发表日期】
：
2003年z1期
其他文献
针对当前大坝安全监测信息发布对终端便携性和实时性的需求,开展了基于移动终端的大坝安全监测信息发布平台研究。通过对平台通用数据接口、图表后台处理以及多级阈值判定等