Cover image for Software reliability : principles and practices
Title:
Software reliability : principles and practices
Personal Author:
Publication Information:
New York : Wiley-Interscience, 1976
ISBN:
9780471627654

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