Software Reliability Status and Perspectives

Authors:
C. V. Ramamoorthy;F. B. Bastani
Affiliations:
Department of Electrical Engineering and Computer Science and the Electronics Research Laboratory, University of California;-
Venue:
IEEE Transactions on Software Engineering
Year:
1982

Citing 0
Cited 11

Defect-Based Reliability Analysis for Mission-Critical Software

COMPSAC '00 24th International Computer Software and Applications Conference
An empirical study of the correlation between code coverage and reliability estimation

METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Failure Correlation in Software Reliability Models

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A Stochastic Model of Human Errors in Software Development: Impact of Repair Times

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Test Process Optimization: Closing The Gap In The Defect Spectrum

ITC '99 Proceedings of the 1999 IEEE International Test Conference
A control approach for Agile processes

COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Software reliability estimation under certainty: generalization of the method of moments

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
System test cost modelling based on event rate analysis

ITC'94 Proceedings of the 1994 international conference on Test
Familiarity breeds contempt: the honeymoon effect and the role of legacy code in zero-day vulnerabilities

Proceedings of the 26th Annual Computer Security Applications Conference
Software safety lifecycles and the methods of a programmable electronic safety system for a nuclear power plant

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Continuous model for software reliability demonstration testing considering damage size of software failures

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.02

Visualization

Abstract

It is essential to assess the reliability of digital computer systems used for critical real-time control applications (e.g., nuclear power plant safety control systems). This involves the assessment of the design correctness of the combined hardware/software system as well as the reliability of the hardware. In this paper we survey methods of determining the design correctness of systems as applied to computer programs.