NDLI: How to measure software reliability, and how not to

Please wait, while we are loading the content...

Software engineering: A keynote address

Control structure aptness: A case study using top-down parsing

Behavior modelling during software design

A type-checking program linkage system for pascal

Measuring reliability of computation center software

How to measure software reliability, and how not to

Toward an effective software reliability evaluation

A proposed curriculum for software engineering education

A model of software engineering

Tutorial session 3B: Prospects for program verification

Information systems: Modelling, sequencing and transformations

The interaction between the preliminary designs and the technical requirements for the DoD common high order language

How software is really engineered?

Kongsberg's road to an industrial software methodology

Introduction to the WELLMADE design methodology

Requirements expression and verification aid

DAS - an automated system to support design analysis

Analyzing medium-scale software development

Software engineering in avionics applications

The design of a reliable applications system

A graph theoretic approach to the verification of program structures

FAST: A second generation program analysis system

A model for program complexity analysis

Inference rules for program annotation

Design and verification of communication procedures: A bottom-up approach

The synthesis of structure-changing programs

User-perceived quality of interactive systems

Using a behavioral theory of program comprehension in software engineering

Analysis of error remediation expenditures during validation

Design and principles of a fault tolerant system

Use of state diagrams to engineer communications software

An engineering methodology for presenting software functional architecture

Concurrent software system design supported by SARA at the age of one

Research directions in software technology

A perspective on software development

Designing software for ease of extension and contraction

The Multics system programming process

Measuring memory protection

An extensible file system for hydra

Dynamic restructuring in an experimental operating system

Theoretical and empirical studies of program testing

Symbolic interpretation and tracing of PASCAL-programs

Automatic revision of formal test procedures

Some experience in building portable software

Evolution in the design of abstract machines for software portability

Toward the engineering of software (Panel Discussion): Problems of the 1980's

How to measure software reliability, and how not to

Content Provider	ACM Digital Library
Author	Littlewood, B.
Abstract	This paper examines critically, with a view to stimulating a discussion, some concepts which have been used in early work on software reliability measurement, and suggests improvements and areas of potentially fruitful future research. It is proposed that hardware-motivated measures such as mttf, mtbf should not be used for software without justification, and it is shown that such justification may be lacking under quite unexceptionable circumstances. Alternative methods of measuring software reliability are proposed. Emphasis is placed upon differentiating between two concepts of software reliability which are often blurred in the work of previous authors. These are, on the one hand, the reliability of the program-as-it-is (the number of bugs it contains), on the other, the reliability of the program-as-it-performs (failure rate, distribution of time to next failure, etc.). It is argued that the latter, here called operational reliability, is the one we should use. Measures of operational reliability which avoid use of mttf, etc., are proposed. A case is made for software engineers adopting a Bayesian stand-point:both in the interpretation of probability statements and in inference procedures. It is suggested that reliability modelling solely in terms of failures (or number of bugs) is unnecessarily naive. Interest really centres upon the consequences of failures as much as on their frequency. It is proposed that more effort be devoted to the development of models which incorporate a cost (or utility) structure. Finally, brief consideration is given to the question of program structure. The enormous success of hardware reliability theory, in combining component reliabilities with knowledge of system sturcture, must be emulated for software. Unfortunately, software structure does not easily lend itself to such an exercise. Some existing models are considered.
Starting Page	37
Ending Page	45
Page Count	9
File Format	PDF
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1978-05-10
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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