23第十一章软件可靠性02.pptVIP

* 第十一章 软 件 可 靠 性 §11-3 软件可靠性的数学模型 一、软件可靠性建模概述 二、J - M (Jelinski—Moranda) 模型 三、Halstead模型 四、G－O (Goel一Okumoto) NHPP模型 §11-3 软 件 可 靠 性 的 数 学 模 型 软件可靠性建模旨在根据与软件可靠性(故障)有关的数据以统计方法给出软件可靠性的估计值或预测值，是从本质上理解软件可靠性行为的关键之一。 一、软件可靠性建模概述 软件可靠性建模活动最早可追溯到Hudson的工作，他当时以随机生灭过程描述软件缺陷的引入和剔除过程，并证明被剔除的缺陷数服从二项式分布，其均值时间函数具有威布尔(Weibull)分布形式。 软件可靠性建模研究真正获得重视始于60年代末“软件危机”的提出，并在70年代获得巨大的发展。 1. 模型种类 Jelinski和Moranda于1972年正式出版有关他们的模型的论著。这一模型是软件可靠性系统研究的真正开端，至今在软件可靠性建模方面仍具有重要意义，这是因为： (1) Jelinski-Moranda模型 现已提出了数十种模型，主要的软件可靠性模型有以下8种模型： ① 这一模型首次将硬件可靠性的基本概念，如可靠度、故障强度(率)等，系统地引入软件可靠性领域； ② 这一模型确立了软件可靠性建模的黑箱方法，即不涉及软件内部结构，仅依据软件外部行为(输入输出关系)刻画软件可靠性行为； ③ 这一模型给出了软件可靠性建模的两个主要假设：一是测试用例的选取代表软件实际运行剖面；二是不同软件故障独立发生； ④ 这一模型简单，众多的后续模型可视为这一模型的某种变形。 Halstead依据其“软件科学”的思想于1972年提出此模型，试图利用软件复杂度确定软件缺陷数。 (2) Halstead模型 此模型的重要性在于它可应用于软件开发的早期阶段（软件测试之前)。随着软件可靠性设计地位的提高，此模型的重要性也将显著增长。 Littlewood和Verrall于1973年发表此模型，其主导思想是将软件故障强度视为随机变量，从而开创了软件可靠性建模的Bayes方法。 (3) Littlewood-Verrall模型 Musa于1975年发表此模型，主要贡献在于提出将CPU执行时间作为软件可靠性的时间基准。 (4) Musa执行时间模型 此模型也间接考虑了发现的缺陷不被完全剔除的可能性。 Nelson最早于1973年提出一个基于数据域模型并于1978年得以完善。 (5) Sukert模型比较工作 Sukert于1976年给出其关于不同模型的分析比较的试验报告，开创了软件可靠性模型比较研究的先河。 (6) Nelson模型 模型比较研究已成为建模研究的一个基本方面。 此模型是基于数据域模型的代表，成为目前应用最多的模型之一。 GoeI和Okumoto于1978年发表此模型，将软件故障次数描述为非齐次Poisson过程。此模型是NHPP模型的代表。 (7) Goel—Okumoto NHPP模型 Musa于1979年发表了一批软件可靠性数据，对软件可靠性建模研究产生重要影响。目前已成为软件可靠性建模研究的“标准”参考数据。之后Musa,Ianninohe和Okumoto于1987年又发表了“软件可靠性”一书，在软件可靠性领域颇受推崇。该书首次对众多软件可靠性模型给出了统一的数学描述。 (8) Musa软件可靠性数据 2.模型组成 软件可靠性模型通常由以下几个部分组成： (1)模型假设 模型是实际情况的简化或规范化，总要包含若干假设。 此假设认为软件测试用例的选取代表软件实际的运行剖面，甚至认为测试用例是独立随机地选取。 ① 代表性假设 此假设实质上是指可以用测试产生的软件可靠性数据预测运行阶段的软件可靠性行为。 此假设认为软件故障是独立发生于不同时刻，一个软件故障的发生不影响另一个软件故障的发生。 ② 独立性假设。 此假设认为所有软件故障的后果(等级)相同，即建模过程只考虑软件故障的具体发生时刻，不区分软件故障的性质。 ③ 相同性假设。 譬如在概率范畴内，假设相邻软件故障间隔构成一组独立随机变量，或假设一定时间内软件故障次数构成一个独立增量过程。