Title:
Software reliability : principles and practices
Personal Author:
Publication Information:
New York : Wiley-Interscience, 1976
ISBN:
9780471627654
Subject Term:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000001262389 | QA76.6 M93 1976 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers-software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.
Table of Contents
Concepts of Software Reliability |
Definition of Software, Reliability |
Errors--Their Causes and Consequences |
Designing Reliable Software |
Basic Design Principles |
Requirements, Objectives, and Specifications |
System Architecture |
Program Structure Design |
Design Practices |
Module Design and Coding |
Programming Style |
Software Testing |
Testing Principles |
Module Testing |
Function and System Testing |
Debugging |
Additional Topics in Software Reliability |
Management Techniques for Reliability |
Programming Languages and Reliability |
Computer Architecture and Reliability |
Proving Program Correctness |
Reliability Models |
Software Support Systems |