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 r
Software reliability: principles and practices
β Scribed by Glenford J. Myers
- Publisher
- Wiley
- Year
- 1976
- Tongue
- English
- Leaves
- 384
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
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
π SIMILAR VOLUMES
xv, 360 pages : 24 cm
Topics range from the technically challenging formal specifications to managerial issues such as quality and team organization to HCI aspects. The author's approach to the material and organization of the chapters is based on years of teaching experience of the software life cycle itself and all the
This overview of software testing provides key concepts, case studies, and numerous techniques to ensure software is reliable and secure. Using a self-teaching format, the book covers important topics such as black, white, and gray box testing, video game testing, test point analysis, automation, an