随着计算机技术的飞速发展，软件被广泛的应用到社会的各个角落，软件可靠性问题日益得到重视，从上世纪60年代至今，已有上百种软件可靠性模型被先后提出，并运用到软件可靠性评估和预测中。然而，为了便于数学描述，许多模型的假设过于简单甚至是不合理的，这就限制了模型的适用范围、预测客观性和准确性。为此，本文放宽了这些假设，提出了一种考虑两类相关故障的模型。　　 本文概述了软件可靠性、软件可靠性模型的基本理论，并介绍了软件可靠性分析用到的数学知识，然后研究了几个经典的软件可靠性模型，包括各模型的基本假设、公式推导及参数估计。在深入研究经典模型的基础上，本文以模型假设为切入点，分析了传统模型的局限性，吸收了G-O模型的优良特性，并结合实际情形，考虑到软件故障间的相关性，提出了更为合理的假设，建立了考虑两类相关故障的软件可靠性模型。最后在MATLAB平台上分别对本文模型和G-O模型进行了仿真，实验结果显示本文模型对实测软件失效数据的拟合效果更好，具有更强的预测能力，从而证明了本文模型的提出是有工程实用意义的。