|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
时间模型基于这样一个假设：一个软件中的故障数目在t=0时是常数，随着故障被纠正，故障数目逐渐减少。在此假设下，一个软件经过一段时间的调试后剩余故障的数目可用下式来估计：
|
|
|
|
|
|
其中，τ为调试时间，Er（τ）为在时刻τ软件中剩余的故障数，E0为τ=0时软件中的故障数，Ec（τ）为在［0，τ］内纠正的故障数，I为软件中的指令数。
|
|
|
|
由故障数Er（τ）可以得出软件的风险函数Z（t）=C·Er（τ），其中C是比例常数。于是，软件的可靠度为：
|
|
|
|
|
|
|
|
|
|
在时间模型中，需要确定在调试前软件中的故障数目，这往往是一件很困难的任务。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
我们用来表示可靠性最为直接的方式就是可靠度，根据可靠性的定义，可靠度就是软件系统在规定的条件下，规定的时间内不发生失效的概率，如果用F（t）来表示到t时刻止，软件不出现失效的概率，则可靠度的公式为
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
失效率（Failure Rate）又称风险函数（Hazard Function），也可以称为条件失效强度，物理解释就是在运行至此软件系统未出现失效的情况下，单位时间软件系统出现失效的概率。具体用数学用语来描述，就是当软件在0～t时刻内没有发生失效的条件下，t时刻软件系统的失效强度，用λ（t）表示失效率，则
|
|
|
|
|
|
代入公式（15-1）可得从可靠度到失效率的转换表达式：
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
