This book details the fundamentals of software reliability modeling. It includes coverage of practical applications and recent developments.

Software reliability is one of the most important characteristics of software product quality. Its measurement and management technologies during the software product life cycle are essential to produce and maintain quality/reliable software systems.

Part 1 of this book introduces several aspects of software reliability modeling and its applications. Hazard rate and nonhomogeneous Poisson process (NHPP) models are investigated particularly for quantitative software reliability assessment. Further, imperfect debugging and software availability models are discussed with reference to incorporating practical factors of dynamic software behavior. Three software management problems are presented as application technologies of software reliability models: the optimal software release problem, the statistical testing-progress control, and the optimal testing-effort allocation problem.

Part 2 of the book describes several recent developments in software reliability modeling andtheir applications as quantitative techniques for software quality/reliability measurement and assessment. The discussion includes a quality engineering analysis of human factors affecting software reliability during the design review phase, which is the upper stream of software development, as well as software reliability growth models based on stochastic differential equations and discrete calculus during the testing phase, which is the lower stream. The final part of the book provides an illustration of quality-oriented software management analysis by applying the multivariate analysis method and the existing software reliability growth models to actual process monitoring data.

Explains fundamentals of software quality/reliability assessment Discusses practical applications of software reliability modeling Presents recent developments in software reliability modeling

Autorentext

Yoshinobu Tamura received the Ph.D. degree from Tottori University in 2003. Since 2021, he has been working as a professor at the Graduate School of Sciences and Technology for Innovation, Yamaguchi University, Ube, Japan. Dr. Tamura received the Research Leadership Award in Area of Reliability from the ICRITO in 2010, the Best Paper Award of the IEEE International Conference on Industrial Engineering and Engineering Management in 2012, the Honorary Professor from Amity University of India in 2017, the Best Paper Award of the 24th ISSAT International Conference on Reliability and Quality in Design in 2018, the Outstanding Paper Award of the IEEE International Conference on Industrial Engineering and Engineering Management in 2022, and the Amity Global Academic Excellence Award of the IEEE 4th International Conference on Intelligent, Engineering and Management in 2023. Shigeru Yamada is an emeritus professor at Tottori University, Japan

Inhalt
Chapter 1 Introduction to Software Reliability Modeling and Its Applications.- 1. Introduction.- 2. Definitions and Software Reliability Model.- 3. Software Reliability Growth Modeling.- 4. Imperfect Debugging Modeling.- 4.1 Imperfect debugging model with perfect correction rate.- 4.2 Imperfect debugging model with introduced faults.- 5. Software Availability Modeling.- 5.1 Model description.- 5.2 Software availability measures.- 6. Application of Software Reliability Assessment.- 6.1 Optimal software release problem.- 6.2 Statistical software testing-progress control.- 6.3 Optimal testing-effort allocation problem. Chapter 2 Recent Developments in Software Reliability Modeling.- 1. Introduction.- 2. Human Factor Analysis.- 3. Stochastic Differential Equation Modeling.- 4. Discrete NHPP Modeling.- 5. Quality-Oriented Software Management Analysis.