软件可靠性与硬件可靠性分析及对比

介绍了可靠性的定义和基本概念,分析了软件可靠性和硬件可靠性的区别与联系,讨论了软件可靠性和硬件可靠性这两个领域中的一些基本研究及建模方法。     

基于多层次评价模型的高校网络运行可靠性分析

高校网络运行容易受到干扰,可靠性分析在高校网络运行抗干扰方面拥有明显的优势,但是传统可靠性分析应用于高校网络运行抗干扰中却面临信号失真的难题。针对该问题，提出一种融合多层次评价模型的高校网络运行可靠性分析方法。该方法基于SNMP协议对网络拓扑进行拓扑探测,并采用主被动测量技术对网络可靠性进行测量和计算。在分析智能计算和网络可靠性的基础上，分析网络可靠性的影响因素，提出基于智能计算的计算机网络可靠性提升策略。理论分析和仿真结果表明,该方法能有效地解决可靠性分析中的网络信号失真问题。     

基于参数测量的网络可靠性分析系统实现

基于网络性能参数测量,设计并实现了一个网络可靠性分析系统.首先介绍系统的结构与详细设计.介绍了系统专用的控制测量协议CMP.基于SLoPS算法实现了对网络延迟、可用带宽的测量,并基于延迟对可靠性进行计算.最后进行了实验并给出了可靠性分析结果.     

基于构件软件的可靠性通用模型

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

基于Kohonen网络的软件可靠性模型选择

软件可靠性模型是软件可靠性工程的一个重要方面。现在还没有一个通用的模型,模型选择问题已成为模型研究的重点。运用聚类思想对软件可靠性模型的选择进行研究。在对软件失效数据进行编码的基础上,采用Kohonen神经网络对其进行聚类分析,从而实现了可靠性模型的选择。最后通过仿真测试,证明了此方法的有效性和可行性。     

基于构件软件的可靠性通用模型及系统实现

本文给出了基于构件软件中的函数抽象,依据该抽象提出了基于构件软件的一个可靠性通用模型,并介绍了相应的可靠性分析原型系统的实现。通过此系统可以在软件开发的各个阶段对软件进行可靠性分析,实现基于构件软件开发全过程的可靠性跟踪和监控。     

基于构件的数据流软件可靠性模型

基于构件的数据流软件由输入数据激活的构件确定程序执行路径,其可靠性受输入数据分布特性的影响,难以采用基于状态或基于路径等传统模型进行评测。提出一个结合构件执行频度和操作剖面的可靠性模型,其从分析数据流程序结构入手,通过定义组合节点,将程序表示成多级层次结构的形式。根据构件间数据流和控制流关系,确定实际激活的构件,计算其执行频度,并将操作剖面沿着数据流向本层和下层构件传递。利用基于深度优先的递归算法思想,按照相反顺序,逐层估算各级组合节点的可靠性,最后获得整个软件的实际可靠性。应用实例表明,模型能有效地佑算基于构件数据流软件的实际可靠性,反映输入接口有效数据就绪状态及分布特性。     

基于环型复杂度的一种判断程序可靠性的统计方法

软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型复杂度的计算,对软件的可靠性作出预测。     

基于非交叉路径的加权网络可靠性模型

针对交叉路径和非交叉路径的数目不能准确反映网络系统可靠性,在节点失效的条件下,建立基于非交叉路径的加权网络端到端可靠性评估模型,并提出一种数值求解算法。算例分析结果表明,该模型可以精确计算出网络端到端可靠性的界,并能分析网络部件故障率连续变化和以网络部件负载率为权值情况下的网络可靠性。     

基于Markov模型的系统安全性和可靠性分析

建立了二乘二取二系统状态转换的Markov模型,研究了失效率、维修系数、故障检测覆盖率等参数对二乘二取二系统的安全性、可靠性和可用性的影响,证明分布式二乘二取二系统具有更高的可靠性、安全性。     

基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

软件可靠性J-M模型的特性分析

软件可靠性是软件质量的一个重要因素,如何提高软件可靠性已成为一个迫切的问题.本文综述了软件可靠性模型的概念和分类,详细分析了J-M模型参数方程的建立及其特性,由对方程根的判定推导出了一个切实可行的方程解法,通过与美国NASA开发的软件Smerfs的实验结果比较,可以看出方程的解法是合理的.     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

基于Petri网的软硬件故障建模方法研究

针对计算机系统中软件和硬件相互作用而引发的故障分析问题,提出了基于Petri网的软硬件故障模型,用以表达软件故障和硬件故障相互作用的复杂过程,在此基础上给出了软件、硬件和软硬件故障模式的形式化定义。根据软硬件故障模式的特征,基于故障的传播过程提出了软硬件故障识别算法。实例结果表明模型和算法可以准确的分析和识别软硬件故障,从而为计算机系统的可靠性分析提供了新的途径。     

软件测试中可靠性模型的设计与研究

软件测试是保证软件质量和提高软件可靠性的关键所在,而软件可靠性是衡量软件质量的重要指标之一,二者有着非常紧密的联系。软件可靠性模型既是软件可靠性进行定量分析的基础和保障,也是软件可靠性进行预测的核心和关键,对保证软件质量起到了非常重要的作用。文中结合软件测试与软件可靠性及其模型的相关理论,通过对Seeding模型的分析与改进,提出了一种适用于软件测试的可靠性模型。实验结果表明,使用文中提出的软件可靠性模型能较好地满足软件对可靠性评估的要求,较好地应用在软件测试中。     

基于改进模拟退火算法的软件可靠性模型参数估计方法

为提升现有软件可靠性模型的拟合性能和求解精度,结合软件可靠性模型求解特征,提出一种改进的模拟退火算法。在此基础上,提出基于改进模拟退火算法的软件可靠性模型参数求解方法(简称为MSAE法),并将新方法应用于4组失效数据集。工程应用结果表明,与最大似然估计(MLE)法、和声搜索(HS)算法和蚁群(AC)算法相比,MSAE法可有效改善软件可靠性模型参数求解不收敛的情况,并且可以有效提升现有软件可靠性模型的拟合性能。     

一种基于失效费用划分的穿戴计算机软件可靠性模型

根据故障的严重程度对软件系统中潜伏的故障进行了类型划分,并利用传统的G-O模型建立了一个基于失效费用划分的软件可靠性增长模型．无线网络使穿戴计算机的性能得到了很大的提升,根据是否会严重影响穿戴计算机的网络通信能力,将其软件系统的故障分为两类：①一般故障,不影响或较小影响系统的网络通信;②通信故障,严重影响甚至阻断系统的网络通信．利用前面建立的软件可靠性增长模型,建立了一个穿戴计算机软件系统可靠性增长模型,并对一组数据进行了评估．     

错误流模型:硬件故障的软件传播建模与分析

无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模型.把计算过程中的错误分成物理错误和传播错误两种,通过分析这两种错误的本质和传播规律,给出了6条有关错误传播的规则和2条独立定律.根据这些规则和定律,能够计算出在程序运行过程中,任意时刻在任意位置上出现错误的概率.最后以一个简单的无穷存储机器程序为例,简要地展示了错误流模型描述硬件故障在