随着计算机技术的日益成熟、硬件成本的迅速降低,各种结构复杂、功能强大的计算机系统被广泛应用到各个关键领域。与高速发展的计算机技术和强大的软硬件功能相反,软件可靠性检测技术仍处于萌芽状态。对于研究者而言,软件可靠性是衡量一个软件是否成功运行的重要标准;而对于消费者而言,软件可靠性是选择该软件的重要参考因素。如今,虽然已出现了很多种用于检测和预测软件可靠性问题的软件可靠性模型,但就我们查阅的文献来说,未发现可在任意环境下,可对任意软件执行软件可靠性检测技术的模型。也就是说,现已提出的所有软件可靠性模型只能解决一种或一类软件的软件可靠性问题,本文提出的软件可靠性模型试图能解决多类问题。本文的主要工作主要体现在如下的几个方面:(1)介绍了软件可靠性和软件可靠性模型的研究背景和相关概念及知识点。(2)阐述了四种典型的软件可靠性模型:J-M模型、G-0模型、Nelson模型和Seeding模型,并根据它们的实际应用分析其优缺点。(3)提出了Random Walk算法的基本概念和理论依据。从数学的角度,对该算法的原理做了相关的介绍,进而提出了一维和二维Random Walks算法。(4)提出了基于Random Walk算法的软件可靠性模型,并运用模型进行了简单的实验。为了适应于各种环境下的不同软件,本文将软件的运行结构看作是一个图,大大减少了检测的周期和研发成本。本文提出的软件可靠性模型相较以往的模型而言理论依据更简单,运行更容易。在本文提出的模型得到认可之后,可以将模拟或预测的元素加入模型,提高本模型的应用范围和精准度。