基于UML分布式软件Markov链使用模型生成方法

摘要：

给出了一些形式化定义,为基于统一建模语言(UML)的分布软件统计测试提供了一个形式化描述基础,并提出了一个从软件UML模型构造分布式软件Markov链使用模型的算法.最后以一个分布式卫星控制系统为例说明了算法的有效性.

关键词： 统计测试 软件可靠性 统一建模语言 Markov链使用模型

作者: 秦静 徐锡山 颜炯

作者单位: 国防科学技术大学,计算机学院,湖南,长沙,410073 北京跟踪与通信技术研究所,北京,100094

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 802-807

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