Software reliability. Incl. 1 disk
Some kind of software should be reliable, especially. Such software systems controlling the operation of chemical plants, refineries, nuclear plant and air traffic control. Software reliability is the probability that the software will not fail for a specified period of time under specified conditions. The book aims to modeling and analysis of software systems that provides: assurance that the software has achieved safety goals a means of rationalizing whether further testing is warranted or whether the software has been sufficiently tested. Chapter 1 gives a brief introduction to software reliability and basic terminologies used throughout the book. In chapter 2 are discussed the fundamental definitions and concepts of reliability. These concepts provide the basis for quantifying the reliability of a system. Chapter 3 provides basic concepts of software engineering assessment including software lifecycle, software development process and its applications, software verification and validation, and data analysis. It follows the presentation of various software reliability models and methods for estimating software reliability and other performance reliability measures such as software complexity and number of remaining errors. Chapter 5 comprehensively covers software reliability models for the failure phenomenon based on the NHPP. The generalized NHPP model and the software mean time between failures are also discussed. After that, are discussed some recent software cost models based on the NHPP software reliability functions. In addition to the cost of traditional models, the models mentioned here include the warranty and risk costs due to software failures. Various optimal release policies of the software system, that is, when to conclude testing and release the software, are also presented. Chapter 7 is devoted to the basic concepts of fault-tolerant software techniques and several other advanced techniques including self-checking schemes. The reliability analysis of fault-tolerant software schemes such as recovery block, N-version programming, and hybrid fault-tolerant systems are presented. Chapter 8 discusses recent advances and research directions in software reliability engineering, Several new software reliability models that incorporate environmental factors are also discussed. The appendices contain basic mathematical statistics, introduction to probability theory, forms for interviewing, various distribution tables, and solutions to selected problems. The text is seen as suitable for one-semester graduate course on software reliability.
- A generalized logistic software reliability growth model
- On discrete software reliability growth model and categorization of faults
- A unified parameter estimation algorithm for discrete software reliability models
- Symbolic reliability evaluation of a software with network structure
- Risk analysis techniques and their application to software development
- Statistical methods in software engineering. Reliability and risk
- Software reliability and cost models: Perspectives, comparison, and practice.
- Modeling and analysis of software fault detection and correction process through Weibull-type fault reduction factor, change point and imperfect debugging
- Data-driven software reliability and availability modeling and prediction
- Software is different
- NHPP software reliability and cost models with testing coverage
- A sequential software release policy
- Software reliability modeling with removed errors and compounded-decreased-rate
- Enhancing the accuracy of software reliability prediction through quantifying the effect of test phase transitions
- A new reliability model based on Lindley distribution with application to failure data
- An optimized method for software reliability model based on nonhomogeneous Poisson process
- Statistical inference for \(M_t/G/ Infinity\) queueing systems under incomplete observations
- Incorporating inflection S-shaped fault reduction factor to enhance software reliability growth
- On estimating the time taken to rectify faults in a software package during the system testing phase
- Practical stopping criteria for validating safety-critical software by estimating impartial relia\-bil\-ity
- Sensitivity analysis in optimal software release time problems.
- Discrete software reliability assessment with discretized NHPP models
- Recent advancements in software reliability assurance
- NHPP-based change-point modeling for software reliability assessment and its application to software development management
- Phase-type software reliability model: parameter estimation algorithms with grouped data
- Bivariate change-point modeling for software reliability assessment with uncertainty of testing-environment factor
- scientific article; zbMATH DE number 3870565 (Why is no real title available?)
- Software Verification and Validation
- scientific article; zbMATH DE number 3913663 (Why is no real title available?)
- scientific article; zbMATH DE number 3913874 (Why is no real title available?)
- An extended domain-based model of software reliability
- Software reliability modeling. Fundamentals and applications
- Reliability assessment measurement for redundant software systems
- scientific article; zbMATH DE number 194153 (Why is no real title available?)
- Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework
- scientific article; zbMATH DE number 1227004 (Why is no real title available?)
- Contributions to Hardware and Software Reliability
- scientific article; zbMATH DE number 786732 (Why is no real title available?)
- scientific article; zbMATH DE number 805088 (Why is no real title available?)
- Central limit theorem for a family of reliability measures
- Markovian performance evaluation for software system availability with processing time limit
- A linearized growth curve model for software reliability data analysis
- A new class of activation functions. Some related problems and applications
- Software reliability assessment with OR applications.
- Sensitivity analysis of release time of software reliability models incorporating testing effort with multiple change-points
- Enhancing software reliability modeling and prediction through the introduction of time-variable fault reduction factor
- Software reliability analysis and assessment using queueing models with multiple change-points
- A software reliability model incorporating martingale process with gamma-distributed environmental factors
- Estimating software reliability using size-biased modelling
- Fitting software reliability growth curves using nonparametric regression methods
- On inconsistency of estimators of parameters of non-homogeneous Poisson process models for software reliability
- On a software reliability model by Koch and Spreij
- A generalized JM model with applications to imperfect debugging in software reliability
This page was built for publication: Software reliability. Incl. 1 disk
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4255594)
