【摘 要】
：
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析
【机 构】
：
信息工程大学,数学工程与先进计算国家重点实验室
论文部分内容阅读
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。
其他文献
<正>电学实验是高考的热点也是难点,而测电源的电动势和内阻又是电学实验中最重要的实验之一.如果给出不同的实验器材就有不同的电路连接,不同的测量方法,以下是常见的六种测
以体育特色小镇建设中的体育产业为研究对象,运用文献法、对比分析法、逻辑分析法,从产业集群理论出发,分析了我国体育小镇建设中体育产业存在的问题,认为存在着体育产业特色
将PBL完全彻底地应用于高等院校本科教学实践会遇到种种困难,因此本文将其与传统教学模式相结合,拓宽其内涵,提出了PBL的三种变型。教师可根据现实条件选择应用,从而实现教学
大规模外资涌入不可避免地挤占了本土企业的生存空间。基于2000—2007年中国微观企业数据,本文首次采用生存模型考察了外资进入对中国本土企业的存活期限与退出行为的影响。
整流器件在工作中的可靠性往往与其漏电流特别是在高温下的漏电流有密切关系,然而对高温下的漏电流往往关注不够。通过对常温与高温漏电流的对比测试,发现两者并没有一致的对
<正>就目前已存在的试题来看、从主要化工工艺来分可以分为基础化工工艺题和精细化工工艺题;以生产过程中主要工序可分为除杂提纯工艺流程题(如海水纯化工艺流程题)、原材料
<正>高中物理解题方法学习与训练,是完成高中物理教学目标和任务的一个重要而有效的手段,是物理教学的基本方式之一.加强解题思维方法及解决问题能力训练是非常必要的.现在,
本文基于2002—2006年间中国制造业企业面板数据、高度细化的海关数据和行业差异化程度数据,讨论进口对于差异化行业的企业生产率的促进作用。考虑到进口与企业生产率可能存
目的分析肺炎支原体肺炎(MPP)患儿T淋巴细胞亚群和免疫球蛋白水平的变化,探讨免疫功能在肺炎支原体肺炎发病机制中的作用。方法收集2009年3月-2011年2月收治的MPP住院患儿50
背景：总黄酮类药物正广泛用于缺血性卒中的治疗，其治疗效果及作用机制受到越来越多的关注。目的：探讨葛根总黄酮对缺血性脑卒中的神经保护作用及其机制。设计，场所，对象和干预措施