基于Markov链使用模型的软件可靠性测试用例生成研究

来源 :科技广场 | 被引量 : 0次 | 上传用户:mxyyd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文针对软件可靠性测试中测试用例设计方法不足、难以生成等问题,对软件的需求分析和设计文档进行了研究,提出一个基于UML的扩展模型,通过构建不同等级的Markov链使用模型最终解决了可靠性测试用例生成的难题.可靠性测试用例的生成是软件可靠性工程的一个重要组成部分,它对于指导软件测试过程、提高软件可靠性有重要的意义.
其他文献
会议
试图运用模糊关系合成原理通过建立数学模型,确定综合评判指标、模糊集和隶属函数,对具有众多不同特性和指标的新疆北疆油田乌伦古河引水工程进行多因素模糊综合评判,从而为
对235个品种(系)进行了小麦成熟期的穗发芽抗性鉴定研究,结果表明,红粒品种普遍抗穗发芽,但不少白粒品种抗性亦较强,颖壳颜色与抗性无关,山西省育成品种(系)的抗性比国外品种
地膜覆盖栽培应注意事项通海经济作物工作站李清云地膜覆盖栽培是近年来发展起来的一项新的农业栽培技术。实践证明,它对促进农业生产和提高粮食产量起到了十分重要的作用。然
该文根据模糊集的基本理论,借助综合评判方法,给出一个评价钢材中显微组织共晶碳化物级别的数学模型,并进行了实际验算。
【摘要】《单片机原理与外围电路》是理工类专业课程体系中一门非常重要的专业基础课,它对于培养学生分析解决问题和动手操作能力,提高学生的实际研究能力等,都有着不可忽视的重要地位和作用。根据单片机原理与外围电路课程的自身特点,强调理论与实践的密切结合,注重理论的实用性,针对教学内容、教学方法和手段、实践教学等方面的教学方法进行了一些初步实践和探索。  【关键词】单片机 实践教学 教学方法 教学手段  A