Software debugging is the process of detecting and removing bugs during software development. Although the intent of modifications to the software is to remove bugs, one cannot rule out the possibility of introducing new bugs as a result of these modifications. We consider a self-exciting point process, which can incorporate the case of reliability deterioration due to the potential introduction of new bugs to the software during the development phase. In order to account for the unobservable process of introducing bugs, latent variables are incorporated into the self-exciting point process models. The models are then applied to two data sets in software reliability and additional insights that can be obtained from these models are discussed. Our results suggest that the self-exciting processes with latent factors perform better than the standard point process models in describing the behavior of software failures during the debugging process.

A latent-factor self-exciting point process for software failures

F Ruggeri;
2023

Abstract

Software debugging is the process of detecting and removing bugs during software development. Although the intent of modifications to the software is to remove bugs, one cannot rule out the possibility of introducing new bugs as a result of these modifications. We consider a self-exciting point process, which can incorporate the case of reliability deterioration due to the potential introduction of new bugs to the software during the development phase. In order to account for the unobservable process of introducing bugs, latent variables are incorporated into the self-exciting point process models. The models are then applied to two data sets in software reliability and additional insights that can be obtained from these models are discussed. Our results suggest that the self-exciting processes with latent factors perform better than the standard point process models in describing the behavior of software failures during the debugging process.
2023
Istituto di Matematica Applicata e Tecnologie Informatiche - IMATI -
Imperfect debugging
Markov chain Monte Carlo
reliability growth
self-exciting point process
software testing
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/464223
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact