Software Reliability: Principles and Practices
分类: 图书,进口原版,Computers & Internet（计算机与网络）,
品牌: ~Glenford J. Myers
基本信息出版社:Wiley; 1 (1976年10月6日)丛书名:Business Data Processing: A Wiley Series精装:360页正文语种:英语ISBN:0471627658条形码:9780471627654商品尺寸:16 x 3.5 x 24 cm商品重量:680 gASIN:0471627658商品描述内容简介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.