1.基本概念
可靠性:程序在给定时间间隔及环境条件下,按规格说明书的规定,成功运行的概率。
可用性:给定的时间点,按规格说明书规定,成功运行概率。
设系统故障停机时间为,,正常运行时间为,,系统可用性:


引入系统平均无故障时间
MTTF
和平均维修时间MTTR
的概念,则:MTTF = Mean Time To Failure =

MTTR = Mean Time To Repair =


2.估算平均无故障时间
2.1符号
- : 测试前程序中错误总数。
- :程序长度(机器指令总数)
- :测试时间(包括调试)
- :0到τ间发现的错误数。
- :0到τ间改正的错误数。
2.2基本假定
- 单位长度的错误数ET/IT ,近似常数。(1000条指令5~20错误)
- MTTF与剩余错误数成反比。
- 为简化讨论,假设
- 剩余错误数
- 单位长度剩余错误数
2.3估算平均无故障时间

其中,K为经验常数,其典型值为200
3.估算错误总数方法
3.1植入错误法
测试之前由专人在程序中随机植入错误,测试后,根据发现错误中原有的和植入的两种错误的比例,估计程序中错误总数。

3.2分别测试法
如果能对程序中原有的错误加上标记,然后再通过进一步的测试,就可以对潜在故障进行估计。
由甲乙两测试员分别测试,一测试员测出错误作为有标记错误。
