• Author:
  • Myers, Glenford J.
• Subject:
  Computer Science
• Published by:
  John Wiley & Sons Inc (US)
• Published:
  22/09/1976
• Price:
  $180.00
• <  Buy this book  >

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.

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.