Software reliability

Software Reliability reviews some fundamental issues of software reliability as well as the techniques, models, and metrics used to predict the reliability of software. Topics covered include fault avoidance, fault removal, and fault tolerance, along with statistical methods for the objective assess...

Full description

Other Authors: Pergamon Infotech.
Format: eBook
Language: English
Published: Oxford : Pergamon Infotech, 1986.
Physical Description: 1 online resource (ix, 470 pages) : illustrations.
Series: State of the art report ; ser. 14, no. 2.
Subjects:
Table of Contents:
  • Front Cover; Software Reliability; Copyright Page; Table of Contents; Foreword; Publisher's note; Part 1: Invited Papers; Chapter 1. Adaptive models; Adaptive models; Introduction; Measuring predictive quality; Adaptive modelling; Smooth adaptive function; Discussion; Acknowledgements; Chapter 2. Stochastic treatmentof the failure rate in software reliability growth models; Stochastic treatment of the failure rate in software reliability growth models; Introduction; The problem; The Jelinski/Moranda model; The Littlewood model; The Littlewood/Verrall model; Discussion; Acknowledgements.
  • Chapter 3. Software reliability modelsSoftware reliability models; Introduction; Description of methods; Theoretical evaluation of methods; Acknowledgement; Chapter 4. Inspection data; Inspection data; Introduction; Formal inspection; The next step in inspection; Chapter 5. Program and processproperty models; Program and process property models; Introduction; The management of errors, faults and failures; Product faultiness and the design and implementation processes; Interactions between products and processes
  • ongoing research; Summary and future work.
  • Chapter 6. Relaxation of the common failure rate assumption in modelling software reliabilityRelaxation of the common failure rate assumption in modelling software reliability; Introduction; Lindsay's theorem; Jelinski/Moranda revisited; Criticisms of the Jeninski/Moranda model; The Jelinski/Moranda model extended by use of Lindsay's theorem; A numerical algorithm; Numerical results; Chapter 7. A framework for modelling software reliability; A framework for modelling software reliability; Introduction; Stochastic point processes; The modelling framework; Application to data; Conclusions.
  • Chapter 8. Types of metricTypes of metric; Introduction; Simple measures; The Halstead complexity metrics; Control-flow complexity metrics; Interface-complexity metrics; Dangerous situation-detection metrics; Anomaly-detection metrics; Chapter 9. Software reliability modelling
  • prospects and perspective; Software reliability modelling -prospects and perspective; Introduction; Hardware reliability models; The relevancy of statistical models as software reliability models; Probability statistics and causality in software reliability.
  • Chapter 10. Testing for the achievement of software reliabilityTesting for the achievement of software reliability; Introduction; Assessment of reliability; Achievement of reliability; Conclusions; Chapter 11. Metrics in practice; Metrics in practice; Introduction; Software development metrics; Error counting; Size and complexity metrics; System evolution; Conclusions; Chapter 12. Software development cost models; Software development cost models; Background; Overview of software cost model philosophy; Current models; Research areas for the future; Appendix.