在软件可靠性的研究中，软件可靠性评估模型占有重要的位置。从 1972 由 Jelinske 和 Moranda模型提出第一个软件可靠性模型到现在，大约有 100 多个软件可靠性模型公开发表。这些模型有如下两个共同的特点：

1)  与所使用的程序设计语言无关。根据同一规格说明书使用不同的程序设计语言编写的软件，应用同一软件可靠性模型作评估或预测时，所得结果应是同样的。

2)  与使用的具体的软件开发方法无关。虽然用结构化的方法设计的软件比用非结构化方法设计的软件可靠性高，但对于这种差异很难用一个模型来描述，因此，通常认为待评估的软件系统是用最坏的方法开发出来的。

软件可靠性模型通常由以下几部分组成：

1)  模型假设：如软件失效的时间间隔是相互独立的，测试环境代表实际的操作剖面，所有软件失效造成的后果是相同的等等。

2)  性能度量：如软件的可靠性、平均无故障时间、故障率等。

3)  参数估计：根据已有的软件失效数据，对模型中的未知参数做出估计，所用的方法主要有大似然估计法、最小二乘法等数理统计方法。

4)  数据要求：软件可靠性模型需要有的数据作为输入，不同的模型要求的数据形式有所不同。

对于软件可靠性模型的分类，可以依据模型的假设、适用的阶段、采用的数学方法、测试空间等从不同角度进行分类。下面是Ramamoorthy 和 Bastani 提出的根据模型的应用阶段来分类的结果。

1)  软件开发阶段：J-M 模型、Shooman 模型、Littlewood-Verral 模型、Musa 模型等。

2)  软件验证阶段：Nelson 模型。

3)  软件操作运行阶段：马尔可夫过程模型。

4)  软件测试阶段：Seeding 模型、Mills 模型。