Counterintuitive results from Bayesian belief network software reliability model

Research output: Book/ReportReport

Abstract

Littlewood and Wright presented a Bayesian belief network model for software reliability analysis in their article The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example. In the model, the confidence on the software's reliability depends on testing and verification results and the prior confidence on the software specification and the "oracle" used in testing. Littlewood and Wright introduced counterintuitive results: testing or verification can reduce the confidence on the software's reliability even if no faults are found. This document provides an explanation why the model produces these counterintuitive results. The results indicate that the counterintuitive results do not completely depend on the calculation formulas and are in theory possible with more comprehensive models as well.
Original languageEnglish
PublisherVTT Technical Research Centre of Finland
Number of pages16
Publication statusPublished - 2014
MoE publication typeD4 Published development or research report or study

Publication series

SeriesVTT Research Report
VolumeVTT-R-04235-14

Fingerprint

Software reliability
Bayesian networks
Testing
Reliability analysis
Specifications

Keywords

  • bayesian belief network
  • reliability
  • software

Cite this

Tyrväinen, T. (2014). Counterintuitive results from Bayesian belief network software reliability model. VTT Technical Research Centre of Finland. VTT Research Report, Vol.. VTT-R-04235-14
Tyrväinen, Tero. / Counterintuitive results from Bayesian belief network software reliability model. VTT Technical Research Centre of Finland, 2014. 16 p. (VTT Research Report, Vol. VTT-R-04235-14).
@book{87f2e131db6747a0b554aaa78ad0e8ac,
title = "Counterintuitive results from Bayesian belief network software reliability model",
abstract = "Littlewood and Wright presented a Bayesian belief network model for software reliability analysis in their article The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example. In the model, the confidence on the software's reliability depends on testing and verification results and the prior confidence on the software specification and the {"}oracle{"} used in testing. Littlewood and Wright introduced counterintuitive results: testing or verification can reduce the confidence on the software's reliability even if no faults are found. This document provides an explanation why the model produces these counterintuitive results. The results indicate that the counterintuitive results do not completely depend on the calculation formulas and are in theory possible with more comprehensive models as well.",
keywords = "bayesian belief network, reliability, software",
author = "Tero Tyrv{\"a}inen",
note = "Project code: 85366",
year = "2014",
language = "English",
series = "VTT Research Report",
publisher = "VTT Technical Research Centre of Finland",
address = "Finland",

}

Tyrväinen, T 2014, Counterintuitive results from Bayesian belief network software reliability model. VTT Research Report, vol. VTT-R-04235-14, VTT Technical Research Centre of Finland.

Counterintuitive results from Bayesian belief network software reliability model. / Tyrväinen, Tero.

VTT Technical Research Centre of Finland, 2014. 16 p. (VTT Research Report, Vol. VTT-R-04235-14).

Research output: Book/ReportReport

TY - BOOK

T1 - Counterintuitive results from Bayesian belief network software reliability model

AU - Tyrväinen, Tero

N1 - Project code: 85366

PY - 2014

Y1 - 2014

N2 - Littlewood and Wright presented a Bayesian belief network model for software reliability analysis in their article The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example. In the model, the confidence on the software's reliability depends on testing and verification results and the prior confidence on the software specification and the "oracle" used in testing. Littlewood and Wright introduced counterintuitive results: testing or verification can reduce the confidence on the software's reliability even if no faults are found. This document provides an explanation why the model produces these counterintuitive results. The results indicate that the counterintuitive results do not completely depend on the calculation formulas and are in theory possible with more comprehensive models as well.

AB - Littlewood and Wright presented a Bayesian belief network model for software reliability analysis in their article The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example. In the model, the confidence on the software's reliability depends on testing and verification results and the prior confidence on the software specification and the "oracle" used in testing. Littlewood and Wright introduced counterintuitive results: testing or verification can reduce the confidence on the software's reliability even if no faults are found. This document provides an explanation why the model produces these counterintuitive results. The results indicate that the counterintuitive results do not completely depend on the calculation formulas and are in theory possible with more comprehensive models as well.

KW - bayesian belief network

KW - reliability

KW - software

M3 - Report

T3 - VTT Research Report

BT - Counterintuitive results from Bayesian belief network software reliability model

PB - VTT Technical Research Centre of Finland

ER -

Tyrväinen T. Counterintuitive results from Bayesian belief network software reliability model. VTT Technical Research Centre of Finland, 2014. 16 p. (VTT Research Report, Vol. VTT-R-04235-14).