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