受控马尔可夫链方法在软件测试上的应用

来源 :科技广场 | 被引量 : 0次 | 上传用户:l123654123654
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主要介绍了受控马尔可夫链的基本概念和原理,及受控马尔可夫链方法在软件测试中的应用,并对马尔可夫链的五元素模型进行了描述.
其他文献
迟到现象广泛存在,应对的角度与方式也有所不同,解决策略的差异缘于对迟到理解的不同。迟到在本质上是对时间契约的违背,迟到现象从层次上可以分为时间契约的不履行、时间契约的破裂、时间契约的违背三种,其内在的心理逻辑也对应着三个层次:对规则与纪律的冲击、对制度伦理的打破以及对家庭、学校权力结构的挑战。时间契约作为学校规则执行的重要方式,是学校德育的有效提升点,对应三种解决模式:预防模式、应对模式及“六步”
“互联网+”时代,为包括电大在内的地方高校这些主要参与社区教育的依托载体,带来了服务社会的新的实现途径.将“互联网”理念贯穿于社区教育数字化平台建设,需要契合社区居
【摘 要】教学目标是课堂教学的出发点和归宿。“五标教研”,是一种围绕教学目标,从定标、调标、试标、测标、论标五个环节开展校本教研的活动方式,以期达到学生受益和教师能力提升的双赢效果。  【关键词】五标教研;校本教研;教学目标;有效教学  校本教研,是一种“以校为本”“基于问题”的组织形式,是一种教学研究与教学实践、教师专业成长紧密结合的活动形式。但在组织实施过程中发现,由于受传统教研模式的影响,一