【摘 要】
：
分析了软件可靠性和安全性之间的关系;针对安全软件测试剖面和操作剖面有不同的故障检测率,以及软件故障剔除时有引入新故障的可能,通过改变Jelinski-Moranda（J-M）可靠性模型相
【机 构】
：
同济大学电子与信息工程学院,青岛科技大学信息科学与技术学院
【基金项目】
：
国家自然科学基金项目(60674004)资助
论文部分内容阅读
分析了软件可靠性和安全性之间的关系;针对安全软件测试剖面和操作剖面有不同的故障检测率,以及软件故障剔除时有引入新故障的可能,通过改变Jelinski-Moranda（J-M）可靠性模型相关假设及参数,提出了一个既能描述安全软件测试剖面与操作剖面不同,又能描述故障引入率的软件安全性评估模型;并给出了该安全性评估模型的性能度量，最后,对同一组铁路信号控制安全软件的失效数据进行分析,结果表明改进后的J-M评估模型比原J-M模型有着更好的拟合能力和预测能力。
其他文献
集团内劳务的转让定价问题日益成为国际税收领域的新热点。其中,在集团内劳务活动构成转让定价意义上的服务以及集团内劳务转让定价是否符合独立交易原则两个主要问题上,尚存
该研究目标是验证儿童工作记忆是否符合Baddeley提出的由中央执行、情景缓冲区、语音环路及视觉空间模板构成的四成分模型。211名6~9岁小学生完成9个工作记忆任务,这些任务分
文章在分析石油化工废水处理的问题基础上,从提出了常见的石油化工污水处理技术,并且对这些技术的应用特点进行分析,目的在于提高石油化工污水处理水平,促进企业的可持续发展
指出了按照常规方法建立的生长模型和材积模型不相容的原因.利用两阶段度量误差模型方法估计生长模型和材积模型的参数,进而编制相容的生长过程表和材积表.
自1998年,我国住房制度改革,房价进入持续上涨时期,房地产市场也被投资者发现,并逐渐成为我国城镇居民家庭财富组成中的重要部分,且在家庭财富组成中所占比例呈逐渐增长的趋
<正> 中国近代的海关是半殖民地性质的海关。它是帝国主义侵略中国的产物,是帝国主义安置在中国统治机构内部一个极其重要的侵略据点。它在帝国主义的庇护下,打着为中国征收
本文运用灰色系统理论，探讨了大中微量元素组合对术稻产量和品质的影响，并 对其进行了灰色关联评判，结果表明复４Ｓ１Ｆｅ１Ｃｕ１和复２Ｓ２Ｆｅ１Ｃｕ２两个组合，对水稻产量和品 质影响最为明显，并与田间试验情况一致
理论心理学是近20年来涌现出的新学科。这是一门以理论思维方法对心理学的基本问题和规律进行探索的科学,已逐渐汇成为心理学各分支学科的理论基础。理论心理学在心理学中的
目的观察重组牛碱性成纤维细胞生长因子外用凝胶(贝复新)联合红外线理疗促进产妇会阴切口愈合的效果。方法选择2014年11月—2016年2月在我院行会阴切开的年龄在20~30岁的初产
近代中国历史上形成了许多特权制度，而控制中国海关的外籍税务司制度无疑是很重要的一种，它对中国的政治、经济等方面有着重要影响。一方面，给中国带来了资本主义的新事物，另一方