在时刻t系统是可用的,意味着两种可能:1)在0到t这段时间间隔内系统一直没有失败; 2)在0到t这段时间间隔内,系统失效了若干次,但都被修复好了 如果一端时间内,软件系统故障停机时间分别为t,tm,,正常运行时间分别为tn, tn2,.则系统的稳态可用性Ass为: ∑a 如果引入系统平均无故障时间MTTF和平均维修时间MTTR的概念,则 MTTF A MTTF+ MTTr 其中平均维修时间MTTR是修复一个故障所需时间,它取决于维护人员的 技术水平、对系统的熟悉程度、系统的可维护性。 平均无故障时间MITF是系统按照SRS成功地运行地平均间隔时间,它主 要取决于系统中潜伏的故障数目。 7.7.2估算MTTF的方法 符号 Er—一测试之前程序中故障总数 I一程序长度(机器指令总数) τ一—测试(包括调试)时间 Ed(τ)一在0到τ期间发现的错误数 E(τ)一在0到τ期间改正的错误数 2.基本假设 (1)ET/hr近似为常数。通常介于千分之5到千分之20 2)失效率(软件故障率)正比于软件中剩余的(潜在的)故障数,而 MTTF反比于软件中剩余的(潜在的)故障数。且假设错误一旦发现就 得以纠正,并没有引入新的错误。因此E(r)=Edr) 剩余的故障数En=Ex-E(z) 单位程度程序中剩余故障数6(x)=2E)=E-E()在时刻 t 系统是可用的，意味着两种可能：1）在 0 到 t 这段时间间隔内系统一直没有失败； 2）在 0 到 t 这段时间间隔内，系统失效了若干次，但都被修复好了。 如果一端时间内，软件系统故障停机时间分别为 td1 , td2 ,，正常运行时间分别为 tu1 , tu2 ,。则系统的稳态可用性 Ass 为：    + = ui di ui SS t t t A 如果引入系统平均无故障时间 MTTF 和平均维修时间 MTTR 的概念，则 MTTF MTTR MTTF ASS + = 其中平均维修时间 MTTR 是修复一个故障所需时间，它取决于维护人员的 技术水平、对系统的熟悉程度、系统的可维护性。 平均无故障时间 MTTF 是系统按照 SRS 成功地运行地平均间隔时间，它主 要取决于系统中潜伏的故障数目。 7．7．2 估算 MTTF 的方法 1．符号 ET——测试之前程序中故障总数 IT——程序长度（机器指令总数）  ——测试（包括调试）时间 Ed()——在 0 到  期间发现的错误数 Ec()——在 0 到  期间改正的错误数 2．基本假设 （1）ET/IT 近似为常数。通常介于千分之 5 到千分之 20 （2）失效率（软件故障率）正比于软件中剩余的（潜在的）故障数，而 MTTF 反比于软件中剩余的（潜在的）故障数。且假设错误一旦发现就 得以纠正，并没有引入新的错误。因此 Ec() = Ed() 剩余的故障数 ( ) Er = ET − Ec 单位程度程序中剩余故障数 T T c T r r I E E I E ( ) ( ) ( )     − = =