一种基于马尔可夫模型的软件可靠性评估方法.pdfVIP

第4期 刘志祥等 ：一种基于马尔可夫模型的软件可靠性评估方法 了取样理论基础 ；而 Littlewood、Miller等人提 出 来 ．要建立 比较适用的SRM，必须改变传统的可 了基于 Bayesian统计理论 的测试方法 。为 了改善 靠性建模思路 ．采用新的观点、方法和新的数学工 测试用例开销 ．Soj~nCukie提出了结合形式化证 具来研究软件故障过程。 明和程序动态测试 的转换方法。 自1972年第一个 由于 目前国内外软件可靠性建模主要是对整个 软件可靠性分析模型发表后 的20多年以来 ．见之 软件系统进行可靠性建模分析 ．而按照软件运行流 于文献 的SRM有近百种 ．与每个模型相应 的假设 程进行状态分析的可靠性建模考虑得较少。本文摆 又有几条甚至几十条 这些可靠性模型大致可分为 脱传统模型多种主观假设的束缚 ．尝试以软件运行 种子法、失效率类、曲线拟合类、可靠性增长模 流程 的状态为研究对象 ．结合软件运行流程特点， 型、程序结构分析模型、输入域分类模型、执行路 将基于统计测试 的方法与软件运行流程联系起来 ． 径分析方法模型、非齐次PoiSSon过程模型、马尔 结合马尔可夫理论等工具进行可靠性建模研究。 可夫过程模型和贝叶斯模型等 1O类 [1】删 1 马尔可夫模型 SRM所要解决的问题有两个 ：改进软件开发 过程和软件可靠性的度量。相应地 。针对可靠性模 由时刻 to系统或过程所处 的状态 ．决定系统 型及其应用展开的研究主要集中在两个方面：1) 或过程在时刻 tt0所处 的状态 ，并不需 t。时刻 以前 关于软件可靠性早期预测模型的研究 ：2)关于软 系统或过程所处状态的历史资料 ．这类确定性现象 件可靠性预测模型的研究。其中。早期预测模型是 在物理学 中出现频繁。依照上述规律 ，当一物理系 指在不知失效数据的情况下 ．根据软件产品及其开 统或过程遵循 的是某种统计规律时．可引入 以下特 发过程来度量、预测软件可靠性；这种模型对于改 性 ： 进软件开发过程 、指导软件测试 、提高软件可靠性 t0时状态 已知 ，时刻t(tt0)的状态只与该过 具有重要意义 。可靠性预测模型则着眼于未来 。对 程在 t。时刻 的状态有关 ，而与其在 t。时刻以前所 软件 的可靠性进行预计 ．预计软件当前失效强度、 处的状态无关．这种特性被称为无后效性或马尔可 下次失效时间等 。文献 l『51在基于模糊神经 网络 夫性 。用分布函数表述马尔可夫性如下 ： 的基础上 ．提 出了一种新的软件可靠性早期预计方 a)定义 1，设随机过程 {X (t)，t∈ 的状 法 。通过分析软件缺陷产生的原 因，给出了导致软 态空间为 ，。如果对时间t的任意 tI个数值 tlt… 件缺陷产生的因素。同时。深人讨论了软件可靠性 t，，l≥3，t∈T，在 条件 (ti) ， ∈，，i= 早期预计的建模方法。文献 1『61依据软件可靠性 1，2，…，n一1下，X (t)的条件分布函数恰等于 特征 ．提 出以解决软件开发逻辑思维正确性为建模 在条件 X (t) 下，X (t)的条件分布函数 ， 基本问题的可靠性建模思想 为了在不降低安全关 即 键软件可靠性验证测试结果可信性的前提下减少测 pJ()≤‰xI(t,)l，X(t2)2，…1一 试用例量 ，文献 fl71在分析经典统计假设测试和 【(，卜1)~n-l J 无先验贝叶斯统计方法 的基础上 ．提出了一种先验