Markov模型的软件可靠性测试充分性问题的研究

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

Markov模型的软件可靠性测试充分性问题的研究

雷航, 马成功

文章导航 > 电子科技大学学报 > 2010 > 39(1): 101-105

雷航, 马成功. Markov模型的软件可靠性测试充分性问题的研究[J]. 电子科技大学学报, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

引用本文:

雷航, 马成功. Markov模型的软件可靠性测试充分性问题的研究[J]. 电子科技大学学报, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

LEI Hang, MA Cheng-gong. Testing Adequacy of Software Reliability in Markov Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

Citation:

LEI Hang, MA Cheng-gong. Testing Adequacy of Software Reliability in Markov Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

Markov模型的软件可靠性测试充分性问题的研究

doi: 10.3969/j.issn.1001-0548.2010.01.023

雷航¹,
马成功²

1.
电子科技大学示范性软件学院成都 610054;
2.
电子科技大学计算机科学与工程学院成都 610054

作者简介:
雷航(1960-),男,教授,博士生导师,主要从事实时软件工程和软件可靠性工程等方面的研究.

中图分类号: TP311.5

Testing Adequacy of Software Reliability in Markov Model

LEI Hang¹,
MA Cheng-gong²

1.
School of Software,University of Electronic Science and Technology of China Chengdu 610054;
2.
School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054

摘要: 在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。
- Markov模型 /
- 可靠性测试 /
- 严格转移概率 /
- 测试充分性
Abstract: By analyzing the original testing adequacy determination in Markov model,the strict transfer probability is defined and then testing adequacy based on strict transfer probability is advanced.Markov model is transformed to strict Markov model,and the strict transfer probability is used to calculate the differentiation of every edge.The primal transfer probability of all of accessibility discriminative transfer probability is computed for accessibility discriminative transfer set,and then the probability is obtained.Experiments declares that new method is more stabile and efficient.
- Markov model /
- reliability test /
- strict transfer probability /
- testing adequacy

[1]	黄洪钟, 蔡吴斌, 杨圆鉴, 周宏明, 邓智铭, 黄土地. 动车组轴承及其可靠性研究进展 . 电子科技大学学报, 2023, 52(3): 458-474. doi: 10.12178/1001-0548.2022216
[2]	周成宁, 肖宁聪, 李兴国, 张军. 基于环形抽样代理模型的结构可靠性分析方法 . 电子科技大学学报, 2021, 50(1): 155-160. doi: 10.12178/1001-0548.2019219
[3]	杨燕, 王滨, 李翠, 何雨莲. 高可靠性OTP存储控制器 . 电子科技大学学报, 2019, 48(5): 722-727. doi: 10.3969/j.issn.1001-0548.2019.05.010
[4]	肖宁聪, 袁凯, 王永山. 基于序列代理模型的结构可靠性分析方法 . 电子科技大学学报, 2019, 48(1): 156-160. doi: 10.3969/j.issn.1001-0548.2019.01.023
[5]	张少波, 刘琴, 李雄, 王国军. 基于缓存候选结果集的轨迹隐私保护方法 . 电子科技大学学报, 2018, 47(3): 449-454. doi: 10.3969/j.issn.1001-0548.2018.03.020
[6]	覃庆努, 魏学业, 吴小进, 白如雪. 负载均担并联系统模型及可靠性分析 . 电子科技大学学报, 2013, 42(2): 311-315. doi: 10.3969/j.issn.1001-0548.2013.02.025
[7]	耿技, 聂鹏, 秦志光. 软件可靠性模型现状与研究 . 电子科技大学学报, 2013, 42(4): 565-570. doi: 10.3969/j.issn.1001-0548.2013.04.007
[8]	张小玲, 黄洪钟, 许焕卫, 汪忠来, 肖宁聪. 基于混合变量的可靠性稳健设计方法 . 电子科技大学学报, 2012, 41(6): 949-953. doi: 10.3969/j.issn.1001-0548.2012.06.026
[9]	雷航, 陈丽敏. Markov链使用模型的测试用例生成方法研究 . 电子科技大学学报, 2011, 40(5): 732-736. doi: 10.3969/j.issn.1001-0548.2011.05.019
[10]	闵军, 张海呈, 朱桂斌. 自组网可靠性评价方法 . 电子科技大学学报, 2008, 37(3): 436-438,456.
[11]	张金林, 沈绪榜, 陈朝阳. SoC中IP核间互联总线完整性故障测试模型 . 电子科技大学学报, 2007, 36(3): 611-613,631.
[12]	张靖. XML技术在软件可靠性测试中的应用 . 电子科技大学学报, 2007, 36(4): 767-770.
[13]	陈华英. 磁盘阵列RAID可靠性分析 . 电子科技大学学报, 2006, 35(3): 403-405.
[14]	陈光宇, 黄锡滋, 唐小我. 故障树模块化分析系统可靠性 . 电子科技大学学报, 2006, 35(6): 989-992.
[15]	孙靖, 刘晓明. 负指数分布排错时间的软件可靠性模型 . 电子科技大学学报, 2005, 34(1): 53-56.
[16]	孔刚, 余勇. 人为加强产品可靠性分析 . 电子科技大学学报, 2002, 31(2): 200-203.
[17]	梅登华. 面向客体多机系统的软件可靠性模型 . 电子科技大学学报, 1999, 28(2): 191-194.
[18]	秦志光, 汪文勇. 网络认服务可靠性和安全性 . 电子科技大学学报, 1997, 26(2): 190-193.
[19]	荆玉兰, 姜书艳. 光盘的可靠性试验 . 电子科技大学学报, 1997, 26(2): 162-166.
[20]	雷航, 熊光泽, 刘锦德. 基于任务模块的实时软件可靠性模型 . 电子科技大学学报, 1997, 26(1): 70-74.

WeChat

点击查看大图

计量

文章访问数: 3379
HTML全文浏览量: 98
PDF下载量: 40
被引次数: 0

Markov模型的软件可靠性测试充分性问题的研究

doi: 10.3969/j.issn.1001-0548.2010.01.023

雷航¹,
马成功²

1. 电子科技大学示范性软件学院成都 610054;

2. 电子科技大学计算机科学与工程学院成都 610054

作者简介:
雷航(1960-),男,教授,博士生导师,主要从事实时软件工程和软件可靠性工程等方面的研究.

收稿日期: 2008-07-15
修回日期: 2008-10-20
刊出日期: 2010-02-15

中图分类号: TP311.5

关键词:

摘要: 在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。

English Abstract

雷航, 马成功. Markov模型的软件可靠性测试充分性问题的研究[J]. 电子科技大学学报, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

引用本文:

雷航, 马成功. Markov模型的软件可靠性测试充分性问题的研究[J]. 电子科技大学学报, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

LEI Hang, MA Cheng-gong. Testing Adequacy of Software Reliability in Markov Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

Citation:

LEI Hang, MA Cheng-gong. Testing Adequacy of Software Reliability in Markov Model[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(1): 101-105. doi: 10.3969/j.issn.1001-0548.2010.01.023

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发