Software Reliability—Status and Perspectives
- 1 July 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-8 (4) , 354-371
- https://doi.org/10.1109/tse.1982.235728
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.Keywords
This publication has 52 references indexed in Scilit:
- Optimal Time Intervals for Testing Hypotheses on Computer Software ErrorsIEEE Transactions on Reliability, 1979
- Improved Software Reliability Through Requirements VerificationIEEE Transactions on Reliability, 1979
- Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance MeasuresIEEE Transactions on Reliability, 1979
- Starting & Limiting Values for Reliability GrowthIEEE Transactions on Reliability, 1979
- Structuring software development for reliabilityMicroelectronics Reliability, 1978
- An Empirical Stopping Rule for Debugging and Testing Computer SoftwareJournal of the American Statistical Association, 1977
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1976
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- An analysis of errors and their causes in system programsPublished by Association for Computing Machinery (ACM) ,1975
- The impact of language design on the production of reliable softwarePublished by Association for Computing Machinery (ACM) ,1975