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.

System Reliability Concepts.- Theory of Estimation.- Software Development Lifecycle and Data Analysis.- Software Reliability Modeling.- Imperfect-debugging Models.- Testing Coverage and Removal Models.- Software Reliability Models with Environmental Factors.- Calibrating Software Reliability Models.- Optimal Release Policies.- Complex Fault-tolerant System Reliability Modeling.  

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 forgraduate 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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com