关于排队论的软件可靠性增长模型研究.pdfVIP

国内图书分类号：TP311.5 学校代码：10213 国际图书分类号：681.3.06 密级：公开 工工工学学学博博博士士士学学学位位位论论论文文文 基于排队论的软件可靠性增长模型研究 博士研究生：张楠 导 师：崔刚教授 申 请 学 位：工学博士 学 科：计算机系统结构 所 在 单 位：计算机科学与技术学院 答 辩 日 期：2013 年7 月 授予学位单位：哈尔滨工业大学 Classified Index: TP311.5 U.D.C: 681.3.06 Dissertation for the Doctoral Degree in Engineering RESEARCH ON SOFTWARE RELIABILITY GROWTH MODELS BASED ON QUEUING THEORY Candidate: Zhang Nan Supervisor: Prof. Cui Gang Academic Degree Applied for: Doctor of Engineering Specialty: Computer Architecture Affiliation: School of Computer Science and Technology Date of Defence: July, 2013 Degree-Conferring-Institution: Harbin Institute of Technology 摘 要 摘 要 软件可靠性是软件质量最重要的特性之一，它直接关系到计算机系统乃至 更大的系统能否在给定时间内完成指定任务。软件可靠性增长模型（Software Reliability Growth Model ，简称SRGM ）是软件可靠性评估和预测的重要手段。 近几年来研究人员开始讨论如何使用排队模型来解释软件测试行为，并建立 了基于排队论的软件可靠性增长模型。但这类模型没有考虑故障检测工作量 （Fault Detection Effort，简称FDE ）、故障修正工作量（Fault Correction Effort，简 称FCE ）、故障修正延迟和排错等待延迟（Removal Waiting Delay ，简称RWD ） 对软件可靠性的影响，降低了模型的实际意义和结果的可信度。为了满足对软 件可靠性评估和预测的实际需要，本文从研究故障检测工作量和故障修正工作 量入手，建立了一系列基于排队论的软件可靠性增长模型。 测试工作量是影响测试过程的重要因素。与日历时间相比，测试工作量随 测试时间的变化情况对软件可靠性模型具有更显著影响。适当规模的软件项目 在系统测试过程中通常由不同的团队人员进行检测和故障修正。因此认为软件 故障检测资源和故障修正资源是相互独立的。本文将软件故障检测和故障修正 过程的资源进行区分，即将软件测试工作量分为两部分：故障检测过程所需要 的资源，称之为故障检测工作量；故障修正过程所需要的资源，称之为故障修 正工作量，这样有助于提高软件可靠性评估精度。 大多数软件可靠性增长模型都假设检测到的故障被立即修正。这个假设 与实际软件测试情况并不符合。事实证明从故障检测到故障被修正完成之间 会有一定的延迟，而且此延迟受到多种因素的影响，例如故障修正工作量、已 检测到的故障数、软件结构的复杂程度等。本文使用无限服务台排队（Infinite Server Queuing，简称ISQ ）模型来解释这个软件故障修正延迟，即已检测到的 故障和故障修正人员分