软件可靠性增长模型研究综述

软件可靠性增长模型SRGM（Software Reliability and Growth Model）是目前建模可靠性及其过程提高的重要数学工具，对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用，文中对SRGM研究进行阐述和分析.对SRGM的核心研究内容与建模流程进行分析，给出了SRGM基本功用.同时，梳理了SRGM的发展演变历程，进而对当前研究现状进行深入剖析，给出当前研究特征.从软件中总的故障个数、故障检测率FDR（Fault Detection Rate）和测试工作量TE（Testing-Effort）三个方面对影响SRGM的因素进行了分析.文中基于作者前期研究中提出的统一性框架模型，对当前典型的解析模型进行了分类比较和分析；对基于有限与无限服务队列模型的SRGM进行分析与讨论；对以率驱动事件过程RDEP（Rate-Driven Event Processes）为重点的仿真方法进行剖析.进一步，为了验证与分析不同模型的差异，对26个典型的模型在公开发表的16个数据集上进行了实验.结果表明，SRGM的性能差异取决于失效数据集的客观性以及研究人员对测试过程进行不同假设下所建立的数学模型的主观性.最后，指出了SRGM面临的挑战、发展趋势和亟待解决的问题.

Survey of Software Reliability Growth Model

SRGM(Software Reliability and Growth Model), as the important mathematical tool modeling reliability and improving reliability process, has the importance in measuring, predicting and ensuring reliability, managing testing resources and releasing optimal software. Research on SRGM is elaborated and analyzed in this paper. First, main research content and modeling process of SRGM are analyzed, and the basic function is sketched. In the mean time, research evolution is summarized, the state of art is illustrated and the current research characteristics are formulated. Second, from the three aspects including the total number of faults in software, FDR (Fault Detection Rate) and TE (Testing-Effort), the key factors influencing SRGM are analyzed. Based on the unified framework model proposed in our previous research, the classical numerical models are classified, compared and analyzed; the SRGMs based on finite and infinite queue model are discussed and simulation technique emphasizing on RDEP (Rate-Driven Event Processes) is elaborated. Furthermore, to evaluate the differences in the models, 26 models are evaluated and compared by 16 failure data sets published. Experimental results reveal that the differences depend on the objectivity of failure data set collected and the subjectivity of establishing mathematical model by researchers under the different assumptions. Finally, the challenges, the trend of development and the problems to be solved are pointed out.