【摘 要】
：
软件可靠性一般是通过可靠性模型进行估计,而软件可靠性理论大都从硬件产品发展而来,不能恰当地反映出软件产品的固有特点。基于这样的考虑,从软件故障产生的根源出发,提出一
【机 构】
：
军械工程学院信息工程系,军械工程学院装备指挥与管理系
论文部分内容阅读
软件可靠性一般是通过可靠性模型进行估计,而软件可靠性理论大都从硬件产品发展而来,不能恰当地反映出软件产品的固有特点。基于这样的考虑,从软件故障产生的根源出发,提出一种基于功能路径的软件可靠性评估方法。通过功能路径的概念,将软件可靠度归结到故障路径的数目上,再通过操作的概念与输入空间建立联系。分析了时间因素与软件可靠性的关系,并给出了该模型在实际测试中的估计方法。用实例分析验证了该方法的可行性。这种评估方法可用于软件使用阶段的可靠性验证。
其他文献
目前动物性饲料非常紧缺,进口鱼粉价格贵,要外汇,这给配合饲料生产带来很大压力。另一方面,国产鱼粉有的质次价高,因而很难保证其配合饲料的质量和价格的稳定。为了解决这一
采用官网调查、电话咨询与实地调查相结合的方法对黑龙江省10家公共图书馆的公益讲座情况进行了调研,调查内容包括7个方面:讲座名称、讲座开办时间、讲座主题、讲座周期、讲
植酸钙渣是制植酸钙的副产品。它是目前植酸钙工业生产中,过滤稀酸浸取物工段所得的滤渣。以干物质计算,每制取一吨植酸钙将产生11～12吨植酸钙渣。目前,植酸钙生产正在我省粮
Paget’s病又称湿疹样癌,分为乳腺Paget’s和乳腺外Paget’s,后者主要见于大汗腺分布的部位如腋窝、眼睑、会阴、阴囊部位。多见于老年男性病人,临床上较为少见,是一种低度恶
以南昌工程学院图书馆为例,分析了什么是“大流通”服务模式及建设过程。分析了“大流通”服务模式的价值与存在的问题。
<正> 本试验属农业部《丰收计划》及省《星火计划》项目的组成部分,试验从1990年3月上旬开始到9月下旬结束,现将试验结果报告于下: 1材料与方法 1.1试验猪:均为南城黑猪母本
为解决蚁群算法的收敛速度和全局最优性的矛盾,通过引入均匀度、兴趣度以及加速度等概念,对算法中α、β、ρ、Q、m等参数进行分析,研究了参数的内在联系,建立了参数的动态模型,对算法的转移策略和更新策略进行改进,构造了具有自适应功能的蚁群算法。实验结果表明,该算法在性能上优于基本蚂蚁系统。
淀粉浆水(含渣)是玉米提取淀粉后的剩余物与水的混合物。由于其内含蛋白质、醣、脂肪及粗纤维等多种营养成份,因此,可作为猪的补充饲料。但玉米提取淀粉的工艺流程,需加0.25％～0
结合工作实践,从提高期刊工作者的素质,做好期刊征订和期刊到馆管理工作,开展期刊导读服务等方面,探讨了高校图书馆期刊服务的方法,以利于提高期刊资源的利用率,使期刊阅览室
在以稻谷或碎米为主要能量饲料的饲养条件下，添加０．５％民星超级料精饲喂崇仁麻鸡，经１０００羽（对照组和试验组各５００羽）为期６０天的试验结果表明，其增重提高１３％，单位增重饲料费用降低１７％，成活率提高４．４％。