【摘 要】
：
对软件可靠性评估的重要工具之一——基于体系结构的可靠性模型进行了实验验证。为了准确地分析软件模块间的调用关系并估算模块的可靠度，首先，依据评估方式的不同将基于体系结
【机 构】
：
北华大学计算机学院,中国科学院长春光学精密机械与物理研究所,中国科学院研究生院,中国科学院研究生院信息安全国家重点实验室
【基金项目】
：
国家863高技术研究发展计划资助项目(No.2007AA703112)
论文部分内容阅读
对软件可靠性评估的重要工具之一——基于体系结构的可靠性模型进行了实验验证。为了准确地分析软件模块间的调用关系并估算模块的可靠度，首先，依据评估方式的不同将基于体系结构的软件可靠性模型划分为合成型与分级型两类；然后，对软件体系结构的确定与软件模块的划分进行了分析，并阐述了模块可靠度和模块间转移概率的估算方法与步骤；最后，对某地面目标模拟源主控系统软件进行了实例分析。结果表明，实验系统的确定可靠度值为0．938，而合成型、分级型模型估计值分别为0．972和0．969，由此验证了两种模型的可应用性，为工程应用中
其他文献
目的：探讨游离皮瓣修复术中，术前输注6%羟乙基淀粉130/0.4溶液进行高容量血液稀释对患者移植皮瓣血液循环的影响。方法：50例行下肢游离皮瓣修复术患者，随机分为万汶组（A组，25例），术前
基于物理核心素养的构成与内涵,提出核心素养导向的"问题·对话·体悟"教学。结合高中物理"功"的教学实践,简述"问题·对话·体悟"教学的几点做法,即"溯源式体悟:渗透科学态
藩镇割据是唐代中后期政治史上的一个重要事件。魏博镇作为河北三镇之-,是割据型藩镇的代表。魏博镇设置于安史之乱后,田承嗣为首任节度使,开始形成割据的藩镇。魏博镇扼守河
随着城市交通需求的增长,城市轨道交通成网建设,乘客在城市轨道交通车站站台上,聚集拥堵状况趋于严重,尤其是在一些客流量较大的车站站台,高峰时段由于客流集中涌入,站台聚集
F公司是美国的一家眼镜经营商,集产品设计、采购和销售于一体。其产品主要涉及中档的太阳眼镜及老花眼镜,全球超过150家供应商,并且80%都来自中国,产品大部分销往美国市场。
路翎是七月派最重要的作家，也是四十年代文坛最富才华的作家之一，他的创作跨越现代、“十七年”和新时期三个不同阶段，为文坛奉献了《饥饿的郭素娥》、《财主底儿女们》、《洼地
变速器作为车辆传动系统的关键部件,起着改变汽车驱动力和车速的作用。随着汽车产业的快速增长,变速器呈现了系列化、模块化、轻量化的发展趋势,这对变速器快速设计和生产提
泥结石路面因其便于就地取材，施工简易，养护成本低，近年来被广泛应用于土地整理和防汛河堤道路等工程。现就泥结石路面的施工技术及质量控制以及工程养护中注意的问题等进行探讨
在第二次世界大战期间,国民政府曾要用兵西藏,引发重庆与拉萨间的危机。这次危机引起了盟国内部的矛盾,主要是中英之间的矛盾。在这次危机中,国民政府以政权安危为第一要务,
运用文献资料法,逻辑分析法,专家访谈法揭示了农村学校体育的四种异化现象,提出农村学校体育正向传承区域体育非物质文化遗产,因地制宜开发体育隐性课程,体育课堂融合民族传