咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >软件Markov链使用模型生成与化简技术 收藏

软件Markov链使用模型生成与化简技术

Generation and simplification of software Markov chain usage model

作     者:冯俊池 于磊 刘洋 FENG Jun-chi;YU Lei;LIU Yang

作者机构:信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001 

出 版 物:《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期:2015年第36卷第8期

页      面:2114-2119页

学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

主  题:统一建模语言 马尔科夫链 使用模型 软件可靠性测试 状态化简 

摘      要:为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分