A Model of Code Sharing for Estimating Software Failure on Demand Probabilities

  • May J
  • Lunn A
  • 16


    Mendeley users who have this article in their library.
  • 3


    Citations of this article.


A statistical software testing model is proposed in which white box factors have a role. The model combines test adequacy notions with statistical analysis, and in so doing provides a rudimentary treatment of dependencies between test results caused by the execution of common code during the tests. The model is used to estimate the probability of failure on demand for software performing safety shutdown functions on large plants and concerns the case where extensive test results are available on the latest version of the software, none of which have resulted in software failure. According to the model, there are circumstances in which some current statistical models for dynamic software testing are too conservative, and others are not conservative, depending on the software architecture

Author-supplied keywords

  • Software failure on demand
  • code sharing
  • demand space partitioning
  • probabilistic dependence assumptions
  • probability model
  • probability of failure on demand
  • statistical estimation

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • J. H.R. May

  • A. D. Lunn

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free