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

    Keywords

    • bayesian belief network
    • reliability
    • software

    Cite this