Software reliability assessment with OR applications.
type: Item
instance of: scholarly article
title: Software reliability assessment with OR applications.
zbMATH Open document ID: 1235.68005
DOI: 10.1007/978-0-85729-204-9
author: Sumit K. Garg
published in: Springer Series in Reliability Engineering
publication date: 2010-12-08T00:00:00Z
review text: This book refers to the software reliability engineering (SRE) discipline, which has been explained by the IEEE Society as widely applicable, standard and proven practice that applies a systematic, disciplined, quantifiable approach to software development, tests, operations, maintenance, and evolution with emphasis on reliability and the study of these approaches. Software reliability is defined by the IEEE as ``an attribute that a software system will perform its function without failure for a given period of time in the specified operational environment''. This book describes all demands and requirements of the SRE discipline. Moreover, it presents the state-of-the-art modeling of the software reliability over the past 40 years in one place. Many optimization applications of the software reliability modeling solved using the tools of operational research are also discussed in this book. In the introduction chapter, basic knowledge required to understand the content of the book is provided. Chapter 2 describes the earlier literature on software reliability models such as S-shaped and flexible models. The reliability models presented here refer to a distributed environment. The models of software reliability under the imperfect debugging environment are presented in Chapter 3. In Chapter 4, a detailed discussion on the testing required to achieve the desired reliability is presented. Chapter 5 addresses the concept of the change point developer for software modeling in the more realistic situations, such as additional testing efforts in terms of new techniques, various testing and debugging, etc. In Chapter 6, the unification schemes of the software reliability growth modeling are provided. We can notice that establishment of the unification methodology belongs to one of the very recent topics of research in the software reliability modeling and is presented for the first time in this book. Like uniform schemes, software reliability models based on the artificial n…
reviewed by: Jerzy Martyna
Mathematics Subject Classification ID: 68-01
Mathematics Subject Classification ID: 68M15
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 62N05
Mathematics Subject Classification ID: 60K10
Mathematics Subject Classification ID: 90B25
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 5824551
zbMATH Keywords: computer science, textbooks
zbMATH Keywords: reliability, testing and fault tolerance
zbMATH Keywords: mathematical aspects of software engineering, verification, metrics
zbMATH Keywords: Markov process estimation
zbMATH Keywords: applications of reliability
zbMATH Keywords: probability in computer science
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-0-85729-204-9
OpenAlex ID: W2430636772
description: scientific article; zbMATH DE number 5824551