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).