首页> 中文会议>第二届中国可信计算与信息安全学术会议 >基于UML分布式软件Markov链使用模型生成方法

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第二届中国可信计算与信息安全学术会议》|2006年|802-807|共6页
会议地点河北保定
作者
秦静; 徐锡山; 颜炯;
展开▼
作者单位

中国计算机学会;

河北大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计、软件工程;
关键词
统计测试; 软件可靠性; 统一建模语言; Markov链使用模型;

相似文献

中文文献
外文文献
专利

1. 基于UML的软件Markov链使用模型的构建 [J] . 吴彩华 ,刘俊涛 ,彭世蕤 . 计算机研究与发展 . 2012,第008期
2. 基于UML的软件Markov链使用模型构造研究 [J] . 颜炯 ,王戟 ,陈火旺 . 软件学报 . 2005,第008期
3. 基于Markov链使用模型的软件可靠性测试用例生成研究 [J] . 卜国峰 ,朱小冬 ,吴彩华 . 科技广场 . 2009,第009期
4. 基于Markov链使用模型的软件可靠性测评方法研究 [J] . 陈振华 ,王峰 . 计算机工程与设计 . 2007,第012期
5. 软件Markov链使用模型生成与化简技术 [J] . 冯俊池 ,于磊 ,刘洋 . 计算机工程与设计 . 2015,第008期
6. 一种基于UML模型的软件Markov链使用模型生成方法 [C] . 秦静 ,徐锡山 . 第四届中国测试学术会议 . 2006
7. 面向实时软件的Markov链时间使用模型测试用例生成方法研究 [A] . 童飞 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号