系统工程与电子技术 ›› 2020, Vol. 42 ›› Issue (2): 473-479.doi: 10.3969/j.issn.1001-506X.2020.02.29

• 可靠性 • 上一篇    下一篇

基于非线性和测试覆盖率的软件可靠性增长模型

徐如远(), 袁宏杰(), 王乾元()   

  1. 北京航空航天大学可靠性与系统工程学院, 北京 100191
  • 收稿日期:2019-05-20 出版日期:2020-02-01 发布日期:2020-01-23
  • 作者简介:徐如远(1995-),男,硕士研究生,主要研究方向为可靠性与环境试验、软硬件混合系统可靠性建模与验证。E-mail:xuruyuan1995@163.com|袁宏杰(1970-),男,副教授,博士,主要研究方向为可靠性评估与验证、软硬件混合系统可靠性建模与验证。E-mail:yuanhongjie@buaa.edu.cn|王乾元(1995-),男,硕士研究生,主要研究方向为可靠性与环境试验、软硬件混合系统可靠性建模与验证。E-mail:18811756621@163.com

Software reliability growth model based on nonlinearity and test coverage

Ruyuan XU(), Hongjie YUAN(), Qianyuan WANG()   

  1. School of Reliability and System Engineering, Beihang University, Beijing 100191, China
  • Received:2019-05-20 Online:2020-02-01 Published:2020-01-23

摘要:

软件可靠性增长模型一般假设故障是独立的,且检测到的故障能够被排除。但在工程中,一些检测到的故障可能无法排除,在排除过程中也可能会引入新的故障。考虑上述因素,本文假设故障的引入过程与时间呈现非线性关系,通过测试覆盖率函数来表示软件故障检测率,建立了基于非齐次泊松过程(non-homogeneous Poisson process, NHPP)的软件可靠性增长模型。为规避参数估计过程中模型函数导数连续性和存在性的限制,应用一个自适应变化的实值遗传算法进行计算。最后通过一个真实软件失效数据集对模型参数进行计算,利用不同的评价准则将所提模型和现有模型进行比较,说明所提模型的优越性和准确性。

关键词: 测试覆盖率, 不完美调试, 非线性, 可靠性增长模型

Abstract:

Generally, it is assumed in the software reliability growth model that the fault is independent. When a fault is detected, it can be eliminated. But in engineering, some detected faults can not be eliminated and new faults may be introduced during the elimination process. In this paper, a model based on a non-homogeneous Poisson process (NHPP) is proposed. It is assumed that the fault introduction process has a nonlinear relationship with time. The software failure detection rate is based on the testing coverage. To avoid the restriction on continuity and existence of model function derivative, an adaptive change real-valued genetic algorithm is applied to calculation in this paper. Finally, the model parameters are calculated through a set of real software failure data. The performance of the proposed model is compared with several existing NHPP SRGMs based on several criteria. The superiority and accuracy of the proposed model are discussed.

Key words: test coverage, imperfect debugging, nonlinear, reliability growth model

中图分类号: