NDLI: Conservative claims about the probability of perfection of software-based systems

Content Provider	IEEE Xplore Digital Library
Author	Xingyu Zhao Littlewood, B. Povyakalo, A. Wright, D.
Copyright Year	2015
Description	Author affiliation: Centre for Software Reliability, City Univ. London, London, UK (Xingyu Zhao; Littlewood, B.; Povyakalo, A.; Wright, D.)
Abstract	In recent years we have become interested in the problem of assessing the probability of perfection of software-based systems which are sufficiently simple that they are "possibly perfect". By "perfection" we mean that the software of interest will never fail in a specific operating environment. We can never be certain that it is perfect, so our interest lies in claims for its probability of perfection. Our approach is Bayesian: our aim is to model the changes to this probability of perfection as we see evidence of failure-free working. Much of the paper considers the difficult problem of expressing prior beliefs about the probability of failure on demand (pfd), and representing these mathematically. This requires the assessor to state his prior belief in perfection as a probability, and also to state what he believes are likely values of the pfd in the event that the system is not perfect. We take the view that it will be impractical for an assessor to express these beliefs as a complete distribution for pfd. Our approach to the problem has three threads. Firstly we assume that, although he cannot provide a full probabilistic description of his uncertainty in a single distribution, the assessor can express some precise but partial beliefs about the unknowns. Secondly, we assume that in the inevitable presence of such incompleteness, the Bayesian analysis needs to provide results that are guaranteed to be conservative (because the analyses we have in mind relate to critical systems). Finally, we seek to prune the set of prior distributions that the assessor finds acceptable in order that the conservatism of the results is no greater than it has to be, i.e. we propose, and eliminate, sets of priors that would appear generally unreasonable. We give some illustrative numerical examples of this approach, and note that the numerical values obtained for the posterior probability of perfection in this way seem potentially useful (although we make no claims for the practical realism of the numbers we use). We also note that the general approach here to the problem of expressing and using limited prior belief in a Bayesian analysis may have wider applicability than to the problem we have addressed.
Starting Page	130
Ending Page	140
File Size	137110
Page Count	11
File Format	PDF
e-ISBN	9781509004065
DOI	10.1109/ISSRE.2015.7381807
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-11-02
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Phase frequency detector Testing Software reliability Bayes methods Uncertainty Safety 1oo2 systems Probability of perfection conservative claims reliability assessment
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect"

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems

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

Stopping rules for the operational testing of safety-critical software

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect"

Some conservative stopping rules for the operational testing of safety critical software

Test-adequacy and statistical testing: combining different properties of a test-set

Development of safety related systems

Conservative claims about the probability of perfection of software-based systems

Similar Documents

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect"

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems

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

Stopping rules for the operational testing of safety-critical software

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect"

Some conservative stopping rules for the operational testing of safety critical software

Test-adequacy and statistical testing: combining different properties of a test-set

Development of safety related systems

Conservative claims about the probability of perfection of software-based systems