NHPP软件可靠性模型的推广.pdfVIP

第 22 卷第 1 期 湖 　北 　工 　业 　大 　学 　学 　报 2007 年 02 月 Vol. 22 No. 1 　Journal of Hubei University of Technology Feb. 2007 [收稿日期 ] 2006 - 10 - 30 [作者简介 ] 钱丹青 (1984 - ) , 女 , 江苏常州人 ,华中科技大学硕士研究生 ,研究方向 :应用概率统计. [文章编号 ] 1003 - 4684 (2007) 0120004203 N H PP 软件可靠性模型的推广 钱丹青 , 刘次华 (华中科技大学数学系 , 湖北 武汉 430074) [摘 　要 ] 在一般的意义上对一类非齐次泊松过程模型作了推广 ,用多项式函数来拟合纠错经验函数 ,在一定 程度上简化了模型的选择. 给出了上述推广的可行性的证明 ,并对模型参数的性质进行了讨论. [关键词 ] 软件可靠性 ; 非齐次泊松过程 ; G - O N HPP 模型 ; 极大似然估计 [中图分类号 ] O213. 2 [文献标识码 ] : A 　　软件可靠性模型可以用随机过程的理论来描 述 ,人们通常可以将软件可靠性或与软件可靠性直 接有关的量 ,如 :可靠度或故障率等 ,表示成时间以 及软件产品的特性 ,或者开发过程的函数. 软件可靠 性模型通常给出了软件可靠性对上述各变量的一种 依赖关系. 非齐次泊松过程 (N HPP) 模型就是用非 齐次泊松过程来描述软件的失效过程. N H PP 类软 件可靠性增长模型已成为可靠性工程实践中非常重 要的工具[1 ] . 软件的可靠度增长[2 ]是指消耗的测试时间与累 积错误数 m ( t) 的关系. 此对应关系可以用一条增长 曲线来描述 ,在实际观测中根据曲线形状 ,可分为两 种类别 ,指数型增长和 S 字母型增长 ,由此得出 N HPP 模型分别称为指数型可靠度和 S 字母型可 靠度增长模型. 两类模型的区别在于指数模型认为 软件故障检出率仅决定于系统中残存的错误数 ,而 S 字母模型还认为检出率是时间的函数. G - O N HPP 模型[3 ]的 m ( t) = a(1 - e- bt ) ,就 是典型的指数模型. 而威布尔模型 ( m ( t) = a(1 - e - bt c ) ) 以及延迟 S 字母型模型 ( m ( t) = a(1 - (1 + bt) e - bt ) )就是 S 字母型增长模型. 在实际应用中 ,错误检出率与时间的关系通常 是未知的 ,笔者给出了在这种情况下建立可靠度模 型的一个一般方法. 1 　NHPP 软件可靠性模型的推广 用经验函数 f ( t) 来表示错误检出率与时间的 关系. 则上面介绍的模型即是根据不同经验函数得 出的. 笔者选用多项式函数来拟合经验函数 ,可以在 对经验函数没有充分的认识的情况下对这一类问题 建立可靠性模型 ,从而简化了 N H PP 可靠性模型的 选择. 1. 1 　模型假设 1)在任何不相交的时间区间中检测到的错误数 相互独立. 2) t 时刻累积错误数 N ( t) 是服从参数为 m ( t) 的非齐次泊松过程 , t时刻错误检出率与剩余错误期 望值成正比 ,且是 f ( t) 的函数. 3)累积错误数的期望函数 m ( t) 满足边界条件 : m (0) = 0 , lim t →∞ m ( t) = a. 其中 , a 是最终可能被检测出的错误总数的期望值. 4)纠错不会引入新的错误. 由假设可知下列微 分方程成立 : m′( t) = b[ a - m ( t) ] f ( t) 　( b 0) . 　　笔者采用多项式 f n ( t) = an x n + an- 1 x n- 1 + ⋯+ a0 来近似可积函数 f ( t) ,通过极大似然法估计多项 式的系数 ,从而得到一个近似的失效模型. 1. 2 　经验函数 f ( t) 的多项式逼近 引理 1 [4 ] 　若 f ∈L ( E) (即 f 在可测集 E 上 Lebesgue 可积) ,则对任给的ε 0 ,存在 Rn 上具有 紧支集的连续函数 g ( x) (即函数的非零定义域的 子集是紧集) ,使得 ∫E | f ( x) - g ( x) | d x ε. (1) 　　定理 1 　存在一个一致收敛于可积函数 f ( t) 的 多项式序列{ f n ( t) } ,使得 : mn ( t) 一致收敛于 m ( t) . 其中 m ( t) , mn ( t) 分别是下列微分方程的解 : m′( t) = b( a - m ( t) ) f ( t) , (2) m ′ n ( t) = b( a - mn ( t) ) f n ( t) . (3) 其中 z