System Software Reliability (Springer Series in Reliability Engineering)

Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. __System Software Reliability__ is an introduction to software reliability engineering as well as a detailed survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. The most recent research results in the field are reported and future directions in the subject are signposted. This comprehensive text will be of interest to: • graduate students as an introduction to software reliability engineering and a textbook for graduate courses; • software and reliability engineers as a comprehensive and up-to-date survey of the field; and, • researchers and lecturers in universities and research institutions as a one-volume reference. The**Springer Series in Reliability Engineering** publishes high-quality books in important areas of current theoretical research and development in reliability, and in areas that bridge the gap between theory and application in areas of interest to practitioners in industry, laboratories, business, and government. Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. System Software Reliability is an introduction to software reliability engineering as well as a detailed survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. The most recent research results in the field are reported and future directions in the subject are signposted. This comprehensive text will be of interest to: • graduate students as an introduction to software reliability engineering and a textbook for graduate courses; • software and reliability engineers as a comprehensive and up-to-date survey of the field; and, • researchers and lecturers in universities and research institutions as a one-volume reference. The Springer Series in Reliability Engineering publishes high-quality books in important areas of current theoretical research and development in reliability, and in areas that bridge the gap between theory and application in areas of interest to practitioners in industry, laboratories, business, and government.

Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity.

System Software Reliability is an introduction to software reliability engineering as well as a detailed survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. The most recent research results in the field are reported and future directions in the subject are signposted.

This comprehensive text will be of interest to:

• graduate students as an introduction to software reliability engineering and a textbook for graduate courses;


• software and reliability engineers as a comprehensive and up-to-date survey of the field; and,


• researchers and lecturers in universities and research institutions as a one-volume reference.

Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. This book is an introduction to software reliability engineering and a survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. Current research results are reported and future directions are signposted. This text will graduate students as a course textbook introducing reliability engineering software; reliability engineers as a broad, up-to-date survey of the field; and researchers and lecturers in universities and research institutions as a one-volume reference. Introduction....Pages 1-7 System Reliability Concepts....Pages 9-75 Theory of Estimation....Pages 77-120 Software Development Lifecycle and Data Analysis....Pages 121-151 Software Reliability Modeling....Pages 153-177 Imperfect-debugging Models....Pages 179-218 Testing Coverage and Removal Models....Pages 219-256 Software Reliability Models with Environmental Factors....Pages 257-292 Calibrating Software Reliability Models....Pages 293-313 Optimal Release Policies....Pages 315-345 Complex Fault-tolerant System Reliability Modeling....Pages 347-387