论文部分内容阅读
基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题。
基于Markov链使用模型的软件可靠性测评方法研究
【摘 要】
：
基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测
【机 构】
：
北京系统工程研究所
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年12期
其他文献
<正>最近几年来,虽然私家车社会占有量迅猛增加,但对于广大农村地区而言,二轮摩托车作为主要代步工具的地位,在今后相当长的时期内仍然无法撼动。作为农村公路交通的"主角",
目的利用三维超声及MRI观测未育女性静息状态及屏气最大用力时盆底断层解剖结构变化并探讨其临床意义。方法 30例未育健康妇女进行盆腔三维超声及MRI扫描,观测盆腔器官的位置
文本信息的爆炸式增长提出了对适宜实时应用的简单快速文本分类的需求,中心分类法虽然快速,但它所基于的假设常常与事实相违,导致分类模型偏差。基于集成学习中的AdaBoost.MR
针对Delta并联机器人高速作业时笛卡儿空间轨迹不平滑的问题,提出一种基于毕达哥拉斯速端曲线(PH曲线)的轨迹规划方法.首先,利用PH曲线平滑竖直运动与水平运动间的直角过渡部
从所收集的200份受贿罪的生效判决来看,我国受贿罪量刑存在比较严重的失衡现象。实践中,受贿罪量刑失衡主要表现为两个方面,即不同判现象和轻刑化现象。前者是指对没有其他情
陶渊明是中国文学史上影响极为深远的著名诗人和辞赋家,他的作品为广大读者所喜爱,被众多评论家所推崇。他的作品在意象艺术上取向自然,这其中渗透着陶渊明的情感体验,是其人
简述了物联网技术的发展概况、目前变电站辅助生产系统配置现状以及存在不足。结合江苏某220 kV智能变电站试点建设,提出了智能变电站对辅助系统的要求。构建了基于物联网技
本文研究中日韩三国近20年来进出口商品结构的变化,利用生命周期模型从商品结构变化的角度考察了中日韩的经济周期,并引入HH指数作为衡量商品集中度的指标,对中日韩三国进出
本文根据非典突发事件带来的问题,分析了我国灾难事件和重大事件社会心理预警系统建立的必要性和可行性,并介绍了目前已进行的非典时期社会心理预警调查结果及其在有关部门决