| 故障植入模型是一个面向错误数的数学模型，其目的是以程序的错误数作为衡量可靠性的标准，故障植入模型的基本假设如下：
|
|
|
|
|
|
|
| （3）程序中的固有错误数和人为错误被检测到的概率相同。
|
|
|
|
|
| 用N0表示固有错误数，m表示植入的错误数，n表示检测到的错误数，其中检测到的植入错误数为k，用最大似然法求解可得固有错误数N0的点估计值为：
|
|
|
|
|
| 考虑到实施植入错误时遇到的困难，Basin在1974年提出了两步查错法，这个方法是，由两个错误检测人员独立对程序进行测试，检测到的错误立即改正。用N0表示程序中的固有错误数，m表示第一个检测员检测到的错误数，n表示第二个检测员检测到的错误数，如果两个检测员检测到的相同错误数为k，则程序固有错误数N0的点估计值为：
|
|
|
|
|
