收藏本站
《计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于马尔可夫链模型的软件可靠性测试研究

何焱  张来顺  石荣刚  
【摘要】:基于马尔可夫链模型的可靠性测试方法是软件可靠性测试的经典方法之一,本文就是在基于马尔可夫链模型的基础上,把软件测试问题转化为一个经典的数学问题。通过马尔可夫链模型构建使用链,根据使用链进行序列抽样,产生测试用例,从而将软件测试结果的分析问题转化为一个经典概率问题。最后运用实例证明基于马尔可夫链的软件可靠性测试方法具有较好的实用性和有效性。
【作者单位】:解放军信息工程大学电子技术学院 西安通信学院
【分类号】:TP311.52

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 张德平;聂长海;徐宝文;;软件可靠性评估的重要抽样方法[J];软件学报;2009年10期
中国博士学位论文全文数据库 前1条
1 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
【共引文献】
中国期刊全文数据库 前7条
1 李秋英;李海峰;王健;;测试有效性对软件可靠性验证测试量的影响[J];北京航空航天大学学报;2011年03期
2 张德平;查日军;;基于Markov链使用模型的加速统计测试方法[J];东南大学学报(自然科学版);2011年05期
3 徐光侠;陈蜀宇;常光辉;刘宴兵;刘国良;;分布式实时系统的软件故障注入[J];重庆大学学报;2010年02期
4 王学成;陆民燕;李海峰;杨日盛;;带减函数的连续型软件可靠性验证方案[J];重庆大学学报;2012年10期
5 曾福萍;钟德明;陆民燕;;安全关键软件安全性评估方法[J];火力与指挥控制;2012年10期
6 马飒飒;费扬洁;赵守伟;;安全关键软件防危性评测方法研究[J];计算机工程与设计;2008年23期
7 封二强;刘畅;郑军;;基于混合测试的软件可靠性加速测试方法研究[J];小型微型计算机系统;2012年08期
中国重要会议论文全文数据库 前3条
1 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
3 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前8条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 晁冰;基于支持向量机的软件可靠性模型分类及失效分析[D];武汉大学;2010年
3 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
4 桂盛霖;安全关键嵌入式实时软件的关键非功能属性分析研究[D];电子科技大学;2011年
5 毛居全;有关产品质量可信性若干问题的研究及应用[D];东北大学;2009年
6 庞永刚;基于事件注入技术的网络可信性评测研究[D];哈尔滨工程大学;2007年
7 王平涛;基于连续时间贝叶斯网络的可信软件风险预测研究[D];南京大学;2012年
8 张波;基于测试覆盖的安全关键软件测试策略研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2012年
中国硕士学位论文全文数据库 前10条
1 魏晖瑜;基于MDA的需求自动建模工具的设计和实现[D];西安电子科技大学;2010年
2 李文瑞;基于Petri网的软件测试技术研究[D];江南大学;2011年
3 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
4 徐榛;计算机系统可信性评测研究与设计[D];哈尔滨工业大学;2010年
5 冯建磊;基于检查点风险评估的软件行为可信模型[D];河北大学;2011年
6 王勇;基于扩展主观逻辑的软件行为动态信任评价模型[D];河北大学;2011年
7 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
8 李仁杰;基于监控的可信软件构造技术研究与实现[D];国防科学技术大学;2008年
9 陈立宏;基于构件的嵌入式实时软件可靠性评估模型的研究与应用[D];电子科技大学;2008年
10 唐嘉;基于事件注入的可信性评测工具的研究与实现[D];哈尔滨工业大学;2007年
【二级参考文献】
中国期刊全文数据库 前7条
1 刘斌,陆民燕,阮镰;基于模糊神经网络的软件可靠性早期预计方法[J];北京航空航天大学学报;2001年02期
2 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
3 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
4 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
5 张德平;聂长海;徐宝文;;基于Markov决策过程用交叉熵方法优化软件测试[J];软件学报;2008年10期
6 杨仕平,熊光泽,桑楠,吴新勇;高可信软件的防危性评估研究[J];计算机工程与设计;2004年02期
7 韩明;无失效数据可靠性进展[J];数学进展;2002年01期
中国博士学位论文全文数据库 前4条
1 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
2 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
3 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
4 吴新勇;嵌入式操作系统安全保障技术研究[D];电子科技大学;2003年
中国硕士学位论文全文数据库 前5条
1 韩冰青;基于遗传算法的软件可靠性分配应用研究[D];上海师范大学;2003年
2 于逊;基于反射技术的防危核研究与实现[D];电子科技大学;2003年
3 杨霞;嵌入式操作系统信息安全核技术的研究与实现[D];电子科技大学;2004年
4 徐蓉;实时系统的内存管理技术研究与实现[D];电子科技大学;2004年
5 王亮;实时操作系统容错调度技术的研究与实现[D];电子科技大学;2004年
【相似文献】
中国期刊全文数据库 前10条
1 马海云;张少刚;;一种软件可靠性测试模型研究[J];自动化与仪器仪表;2009年04期
2 周珺;;基于概率统计的软件测试方法研究[J];自动化与仪器仪表;2011年04期
3 张少刚;;一种软件可靠性测试方法研究[J];自动化与仪器仪表;2010年01期
4 张广梅,李晓维;软件可靠性测试方法探析[J];计算机应用;2004年04期
5 马海云;张忠林;;马尔可夫链模型在软件可靠性测试中的应用[J];中国测试技术;2006年06期
6 阮镰,刘斌,陈雪松;软件可靠性测试及其测试环境[J];测控技术;2000年02期
7 陆民燕,陈雪松;软件可靠性测试及其实践[J];测控技术;2000年05期
8 郭伟全;何泽荣;;基于J-M模型的应用研究[J];电子质量;2009年12期
9 宁云晖;侯海梅;范晓虹;;软件可靠性评估与测试方法研究[J];电子产品可靠性与环境试验;2009年S1期
10 马海云;党建武;;一种加速软件可靠性测试的技术研究[J];工业仪表与自动化装置;2011年04期
中国重要会议论文全文数据库 前10条
1 何焱;张来顺;石荣刚;;基于马尔可夫链模型的软件可靠性测试研究[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
2 宁云晖;侯海梅;;软件可靠性测试方法研究[A];2010第十五届可靠性学术年会论文集[C];2010年
3 黎燕霞;;嵌入式软件可靠性测试的方法研究[A];2010第十五届可靠性学术年会论文集[C];2010年
4 刘畅;郑军;封二强;;航空机载软件可靠性测试剖面构造方法研究[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
5 董昕;于秀山;;军用软件可靠性测试方法研究[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
6 杨春晖;熊婧;李冬;黄梦妍;;基于体系架构的软件可靠性测试时间分配模型[A];2010第十五届可靠性学术年会论文集[C];2010年
7 宁云晖;侯海梅;范晓虹;;软件可靠性评估与测试方法研究[A];2009第十三届全国可靠性物理学术讨论会论文集[C];2009年
8 贲可荣;米磊;;一种基于UML活动图的软件可靠性测试用例生成方法[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(下册)[C];2006年
9 张苑民;;软件可靠性测试方法[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
10 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国重要报纸全文数据库 前10条
1 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
2 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
3 武刚;测试是质量的关键[N];中国计算机报;2003年
4 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
5 ;找错[N];计算机世界;2002年
6 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
7 北京大学 王万平;基于角色的软件质量保证[N];中国计算机报;2007年
8 郭以东刘晓;规避软件需求隐含的风险[N];计算机世界;2008年
9 记者 向阳;软件测试关键技术研究有望降低测试成本[N];科技日报;2009年
10 ;确定测试策略及方法[N];中国计算机报;2002年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
4 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
5 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
6 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
7 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
8 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
9 祝晓春;增强型软件项目中测试工作量度量研究[D];浙江大学;2010年
10 崔应霞;组合测试技术的研究与应用[D];安徽大学;2011年
中国硕士学位论文全文数据库 前10条
1 陈丽敏;基于马尔可夫链模型的软件可靠性测试方法研究[D];电子科技大学;2010年
2 苗扬;软件可靠性测试与评估方法的改进[D];上海交通大学;2010年
3 马成功;基于马尔可夫链模型的软件可靠性测试方法的研究[D];电子科技大学;2009年
4 张猛;软件可靠性测试研究[D];电子科技大学;2006年
5 秦鹏;软件测试与可靠性评估的研究与应用[D];北京邮电大学;2009年
6 朱虹虹;软件可靠性测试与评价技术的研究与实现[D];电子科技大学;2005年
7 秦静;基于UML的软件可靠性测试技术研究[D];国防科学技术大学;2006年
8 唐赞岳;构件软件可靠性测试技术研究[D];国防科学技术大学;2006年
9 李伟;嵌入式软件可靠性仿真测试用例生成方法与测试效率研究[D];国防科学技术大学;2004年
10 涂洪澄;软件可靠性模型在可靠性测试中的研究[D];湖南师范大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026