| 时间模型基于这样一个假设：一个软件中的故障数目在t=0时是常数，随着故障被纠正，故障数目逐渐减少。在此假设下，一个软件经过一段时间的调试后剩余故障的数目可用下式来估计：
|
|
|
|
|
| 其中，τ为调试时间，Er(τ)为在时刻τ软件中剩余的故障数，E0为τ=0时软件中的故障数，Ec(τ)为在[0，τ]内纠正的故障数，I为软件中的指令数。
|
|
|
| 由故障数Er(τ)可以得出软件的风险函数Z(t)=C·Er(τ)，其中C是比例常数。于是，软件的可靠度为
|
|
|
|
|
|
|
|
|
| 在时间模型中，需要确定在调试前软件中的故障数目，这往往是一件很困难的任务。
|
|
|
