Software Reliability HandbookRook The reliability of software is becoming increasingly important to a large range of industries that rely on complex computer systems and machinery with computer control. The reliability of a system depends on both the hardware and the software that comprise the system. Although faults in design can continue to give problems, the issues and the techniques for meeting severe reliability requirements in hardware have been understood for some time. In the case of software both the techniques and a positive attitude of software developers to the achievement of reliability are much less well established. They are particularly crucial in the development of software dependent safety-critical systems. |
Contents
Software Reliability Issues | 1 |
Software Fault Tolerance | 4 |
Software Design for Reliability | 21 |
Formal Methods for Reliability | 51 |
Defect Detection and Correction | 111 |
Modelling Growth in Software Reliability | 137 |
Software Project Control and Management | 155 |
234 | 211 |
Cost Modelling and Estimation | 345 |
Software Engineering Environments | 377 |
Appendix A Software Reliability Growth Models | 401 |
Appendix B Software Development Process Models | 413 |
Software Development Metrics and Models | 441 |
Software Development Cost Models | 487 |
References | 500 |
537 | |
Other editions - View all
Common terms and phrases
acceptance test achieved activities analysis application approach appropriate assessment basic Boehm bugs changes Chapter checking COCOMO complete components cost drivers cost models defined detailed design detection diagram discussed documentation effort ensure environment equation errors estimate evaluation example factors failure fan-in fault tolerance formal methods formal specifications function hardware identified implementation information hiding input integration interface IPSE language life-cycle lines of code maintenance measure metrics module N-version programming object object-oriented design operation output package parameters particular phase predictions problems procedures Procurer project control project manager Quality Management recovery block relationship risk Section software design software development process software engineering software metrics software product software reliability spiral model staff stage structural design supplier technical techniques test and fix test plans unit test validation values variables verification versions waterfall model