软件可靠性 - wolai 笔记

1.基本概念

可靠性程序在给定时间间隔及环境条件下,按规格说明书的规定,成功运行的概率。
可用性给定的时间点,按规格说明书规定,成功运行概率。
设系统故障停机时间为td1t_{d1},td2t_{d2},正常运行时间为tu1t_{u1},tu2t_{u2},系统可用性:
引入系统平均无故障时间MTTF和平均维修时间MTTR的概念,则:
MTTF = Mean Time To Failure =
MTTR = Mean Time To Repair =
1/n{1/n}

2.估算平均无故障时间

2.1符号

  • ETE_T: 测试前程序中错误总数。
  • ITI_T:程序长度(机器指令总数)
  • ττ:测试时间(包括调试)
  • Ed(τ)E_d(τ):0τ间发现的错误数。
  • Ec(τ)E_c(τ):0τ间改正的错误数。

2.2基本假定

  • 单位长度的错误数ET/IT ,近似常数。(1000条指令5~20错误)
  • MTTF与剩余错误数成反比。
  • 为简化讨论,假设Ed(τ)=Ec(τ)E_d(τ)=E_c(τ)
    • 剩余错误数Er(τ)=ETEc(τ)E_r(τ)=E_T-E_c(τ)
    • 单位长度剩余错误数

2.3估算平均无故障时间

其中,K为经验常数,其典型值为200

3.估算错误总数方法

3.1植入错误法

测试之前由专人在程序中随机植入错误,测试后,根据发现错误中原有的和植入的两种错误的比例,估计程序中错误总数。

3.2分别测试法

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

Comment