【摘 要】
：
软件可靠性工程是对软件的质量(特别是软件可靠性)进行管理和控制的实用性学科,而软件可靠性模型又是软件可靠性工程的基础之一.为了保证可靠性模型的估测精度,好的软件可靠
【机 构】
：
武汉大学软件工程国家重点实验室,武汉,430072
论文部分内容阅读
软件可靠性工程是对软件的质量(特别是软件可靠性)进行管理和控制的实用性学科,而软件可靠性模型又是软件可靠性工程的基础之一.为了保证可靠性模型的估测精度,好的软件可靠性模型应该包括对测试覆盖的说明,并且能够反映软件的错误修复过程.本文在基于测试覆盖的NHPP模型的基础上,讨论一种能反映软件错误修复过程的非齐次马尔可夫模型.它利用马尔可夫链处理错误不立即修复和错误不完全修复两种情况,并且可以用于操作阶段.
其他文献
江苏省水资源人均占有量 4 60 m3,低于全国平均的 1 /4,而江苏的经济发展一直处于全国前列 ,工农业、生活用水将会急剧增加。从水资源总量平衡方面来看 ,农业用水的负增长是
楼房电气配管是建筑电气施工中的一个重要环节,现根据从事电气安装工作经验,就某教学楼电气配管谈一点粗浅看法.
国兰(蕙兰) 中国兰花简称国兰，它被称为花中君子，比较名贵。我们常见的国兰有春兰、蕙兰、建兰、寒兰、墨兰。其假鳞茎较小，叶线形根肉质；花茎直立，有花1～10余朵，花小而芳香，通常淡绿色有紫红色斑点。种类不同叶和花形态及花期变化较大。产秦岭以南及西南地区。栽培历史悠久，最少在千年以上，为中国十大传统名花之一。自古以来人们把兰花视为高洁、典雅、爱国和坚贞不屈的象征。形成有浓郁中华民族的兰文化。
本文给出在混合服务方式下 ,轮询服务系统稳定性的通用判定条件 .文中的判定条件不但适用于混合式服务 ,同样适用于单一式服务 ,如穷尽式服务、门限式服务和限定式服务等 .对
在硬实时系统的应用中 ,如果硬实时任务不能在规定的时限完成 ,将会产生人员伤亡 ,财产损失等严重后果 ,为了保证在系统出错的情况下 ,硬实时任务仍然能在截止时限之前完成 ,
1 低压电器安装基本要求rn(1)低压电器安装的标高应符合设计要求,设计无具体规定时,应符合下列规定:rn①落地安装的电器,其底部距地面的距离为50～100mm;rn②操作手柄转轴中心
1 线损技术处理措施rn1.1 科学编制规划,加快电源建设rn线路布置不合理、供电半径过长是线损存在的主要原因之一.如何有效缩短线路供电半径,其最有效的办法就是布置新的电源
关于化学试剂可提高黄瓜抵抗温度逆境胁迫的报道较多 ,但大多只研究了试剂处理后黄瓜幼苗对温度逆境胁迫短期的生长和生理反应 ,而对试剂处理后黄瓜在温度逆境下最终产量形成
热水采暖系统中空气是有害的.当管道中有空气积存时,往往要影响热水的正常循环,造成某些部分时冷时热,产生噪声.空气中含有氧气是造成金属腐蚀的主要原因,所以必须排除空气.