Conservative Software Reliability Assessments Using Collections of Bayesian Inference Problems
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909896155332608 |
|---|---|
| author | Salako, Kizito Muhammad, Rabiu Tsoho |
| author_facet | Salako, Kizito Muhammad, Rabiu Tsoho |
| contents | When using Bayesian inference to support conservative software reliability assessments, it is useful to consider a collection of Bayesian inference problems, with the aim of determining the worst-case value (from this collection) for a posterior predictive probability that characterizes how reliable the software is. Using a Bernoulli process to model the occurrence of software failures, we explicitly determine (from collections of Bayesian inference problems) worst-case posterior predictive probabilities of the software operating without failure in the future. We deduce asymptotic properties of these conservative posterior probabilities and their priors, and illustrate how to use these results in assessments of safety-critical software. This work extends robust Bayesian inference results and so-called conservative Bayesian inference methods. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_07038 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Conservative Software Reliability Assessments Using Collections of Bayesian Inference Problems Salako, Kizito Muhammad, Rabiu Tsoho Applications Software Engineering Primary 62F15, 62F35, secondary 62N05, 62P30 When using Bayesian inference to support conservative software reliability assessments, it is useful to consider a collection of Bayesian inference problems, with the aim of determining the worst-case value (from this collection) for a posterior predictive probability that characterizes how reliable the software is. Using a Bernoulli process to model the occurrence of software failures, we explicitly determine (from collections of Bayesian inference problems) worst-case posterior predictive probabilities of the software operating without failure in the future. We deduce asymptotic properties of these conservative posterior probabilities and their priors, and illustrate how to use these results in assessments of safety-critical software. This work extends robust Bayesian inference results and so-called conservative Bayesian inference methods. |
| title | Conservative Software Reliability Assessments Using Collections of Bayesian Inference Problems |
| topic | Applications Software Engineering Primary 62F15, 62F35, secondary 62N05, 62P30 |
| url | https://arxiv.org/abs/2511.07038 |