Author: Min Xie
Publisher: World Scientific
ISBN: 9814506222
Category : Computers
Languages : en
Pages : 229
Book Description
This book summarizes the recent advances in software reliability modelling. Almost all the existing models are classified and the most interesting models are described in detail.Because of the application of software in many industrial, military and commercial systems, software reliability has become an important research area. Although there are many models and results appeared in different journals and conference proceedings, there is a lack of systematic publications on this subject. The aim of this book is to provide an overview of this area and provide software reliability researchers and analysts with a systematic study of the existing results. This book can also be used as a reference book for other software engineers and reliability theoreticians interested in this area.
Software Reliability Modelling
Author: Min Xie
Publisher: World Scientific
ISBN: 9814506222
Category : Computers
Languages : en
Pages : 229
Book Description
This book summarizes the recent advances in software reliability modelling. Almost all the existing models are classified and the most interesting models are described in detail.Because of the application of software in many industrial, military and commercial systems, software reliability has become an important research area. Although there are many models and results appeared in different journals and conference proceedings, there is a lack of systematic publications on this subject. The aim of this book is to provide an overview of this area and provide software reliability researchers and analysts with a systematic study of the existing results. This book can also be used as a reference book for other software engineers and reliability theoreticians interested in this area.
Publisher: World Scientific
ISBN: 9814506222
Category : Computers
Languages : en
Pages : 229
Book Description
This book summarizes the recent advances in software reliability modelling. Almost all the existing models are classified and the most interesting models are described in detail.Because of the application of software in many industrial, military and commercial systems, software reliability has become an important research area. Although there are many models and results appeared in different journals and conference proceedings, there is a lack of systematic publications on this subject. The aim of this book is to provide an overview of this area and provide software reliability researchers and analysts with a systematic study of the existing results. This book can also be used as a reference book for other software engineers and reliability theoreticians interested in this area.
Software Reliability Modeling
Author: Shigeru Yamada
Publisher: Springer Science & Business Media
ISBN: 4431545654
Category : Mathematics
Languages : en
Pages : 98
Book Description
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 and their 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.
Publisher: Springer Science & Business Media
ISBN: 4431545654
Category : Mathematics
Languages : en
Pages : 98
Book Description
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 and their 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.
Optimization Models in Software Reliability
Author: Anu G. Aggarwal
Publisher: Springer Nature
ISBN: 3030789195
Category : Technology & Engineering
Languages : en
Pages : 373
Book Description
The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools for major managerial decisions related to the software development process. It features a broad range of topics including software reliability assessment and apportionment, optimal allocation and selection decisions and upgradations problems. It moves through a variety of problems related to the evolving field of optimization of software reliability engineering, including software release time, resource allocating, budget planning and warranty models, which are each explored in depth in dedicated chapters. This book provides a comprehensive insight into present-day practices in software reliability engineering, making it relevant to students, researchers, academics and practising consultants and engineers.
Publisher: Springer Nature
ISBN: 3030789195
Category : Technology & Engineering
Languages : en
Pages : 373
Book Description
The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools for major managerial decisions related to the software development process. It features a broad range of topics including software reliability assessment and apportionment, optimal allocation and selection decisions and upgradations problems. It moves through a variety of problems related to the evolving field of optimization of software reliability engineering, including software release time, resource allocating, budget planning and warranty models, which are each explored in depth in dedicated chapters. This book provides a comprehensive insight into present-day practices in software reliability engineering, making it relevant to students, researchers, academics and practising consultants and engineers.
System Software Reliability
Author: Hoang Pham
Publisher: Springer Science & Business Media
ISBN: 1846282950
Category : Technology & Engineering
Languages : en
Pages : 442
Book Description
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 interest: 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.
Publisher: Springer Science & Business Media
ISBN: 1846282950
Category : Technology & Engineering
Languages : en
Pages : 442
Book Description
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 interest: 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.
Reliability Modeling, Analysis And Optimization
Author: Hoang Pham
Publisher: World Scientific
ISBN: 9814479993
Category : Technology & Engineering
Languages : en
Pages : 506
Book Description
As our modern information-age society grows in complexity both in terms of embedded systems and applications, the problems and challenges in reliability become ever more complex. Bringing together many of the leading experts in the field, this volume presents a broad picture of current research on system modeling and optimization in reliability and its applications.The book comprises twenty-three chapters organized into four parts: Reliability Modeling, Software Quality Engineering, Software Reliability, and Maintenance and Inspection Policies. These sections cover a wide range of important topics, including system reliability modeling, optimization, software reliability and quality, maintenance theory and inspection, reliability failure analysis, sampling plans and schemes, software development processes and improvement, stochastic process modeling, statistical distributions and analysis, fault-tolerant performance, software measurements and cost effectiveness, queueing theory and applications, system availability, reliability of repairable systems, testing sampling inspection, software capability maturity model, accelerated life modeling, statistical control, and HALT testing.
Publisher: World Scientific
ISBN: 9814479993
Category : Technology & Engineering
Languages : en
Pages : 506
Book Description
As our modern information-age society grows in complexity both in terms of embedded systems and applications, the problems and challenges in reliability become ever more complex. Bringing together many of the leading experts in the field, this volume presents a broad picture of current research on system modeling and optimization in reliability and its applications.The book comprises twenty-three chapters organized into four parts: Reliability Modeling, Software Quality Engineering, Software Reliability, and Maintenance and Inspection Policies. These sections cover a wide range of important topics, including system reliability modeling, optimization, software reliability and quality, maintenance theory and inspection, reliability failure analysis, sampling plans and schemes, software development processes and improvement, stochastic process modeling, statistical distributions and analysis, fault-tolerant performance, software measurements and cost effectiveness, queueing theory and applications, system availability, reliability of repairable systems, testing sampling inspection, software capability maturity model, accelerated life modeling, statistical control, and HALT testing.
Reliability Growth
Author: Panel on Reliability Growth Methods for Defense Systems
Publisher: National Academy Press
ISBN: 9780309314749
Category : Technology & Engineering
Languages : en
Pages : 235
Book Description
A high percentage of defense systems fail to meet their reliability requirements. This is a serious problem for the U.S. Department of Defense (DOD), as well as the nation. Those systems are not only less likely to successfully carry out their intended missions, but they also could endanger the lives of the operators. Furthermore, reliability failures discovered after deployment can result in costly and strategic delays and the need for expensive redesign, which often limits the tactical situations in which the system can be used. Finally, systems that fail to meet their reliability requirements are much more likely to need additional scheduled and unscheduled maintenance and to need more spare parts and possibly replacement systems, all of which can substantially increase the life-cycle costs of a system. Beginning in 2008, DOD undertook a concerted effort to raise the priority of reliability through greater use of design for reliability techniques, reliability growth testing, and formal reliability growth modeling, by both the contractors and DOD units. To this end, handbooks, guidances, and formal memoranda were revised or newly issued to reduce the frequency of reliability deficiencies for defense systems in operational testing and the effects of those deficiencies. "Reliability Growth" evaluates these recent changes and, more generally, assesses how current DOD principles and practices could be modified to increase the likelihood that defense systems will satisfy their reliability requirements. This report examines changes to the reliability requirements for proposed systems; defines modern design and testing for reliability; discusses the contractor's role in reliability testing; and summarizes the current state of formal reliability growth modeling. The recommendations of "Reliability Growth" will improve the reliability of defense systems and protect the health of the valuable personnel who operate them.
Publisher: National Academy Press
ISBN: 9780309314749
Category : Technology & Engineering
Languages : en
Pages : 235
Book Description
A high percentage of defense systems fail to meet their reliability requirements. This is a serious problem for the U.S. Department of Defense (DOD), as well as the nation. Those systems are not only less likely to successfully carry out their intended missions, but they also could endanger the lives of the operators. Furthermore, reliability failures discovered after deployment can result in costly and strategic delays and the need for expensive redesign, which often limits the tactical situations in which the system can be used. Finally, systems that fail to meet their reliability requirements are much more likely to need additional scheduled and unscheduled maintenance and to need more spare parts and possibly replacement systems, all of which can substantially increase the life-cycle costs of a system. Beginning in 2008, DOD undertook a concerted effort to raise the priority of reliability through greater use of design for reliability techniques, reliability growth testing, and formal reliability growth modeling, by both the contractors and DOD units. To this end, handbooks, guidances, and formal memoranda were revised or newly issued to reduce the frequency of reliability deficiencies for defense systems in operational testing and the effects of those deficiencies. "Reliability Growth" evaluates these recent changes and, more generally, assesses how current DOD principles and practices could be modified to increase the likelihood that defense systems will satisfy their reliability requirements. This report examines changes to the reliability requirements for proposed systems; defines modern design and testing for reliability; discusses the contractor's role in reliability testing; and summarizes the current state of formal reliability growth modeling. The recommendations of "Reliability Growth" will improve the reliability of defense systems and protect the health of the valuable personnel who operate them.
Software Reliability
Author: John D. Musa
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 328
Book Description
Revised and updated for professional software engineers, systems analysts and project managers, this highly acclaimed book provides key concepts of software reliability and practical solutions for measuring reliability.
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 328
Book Description
Revised and updated for professional software engineers, systems analysts and project managers, this highly acclaimed book provides key concepts of software reliability and practical solutions for measuring reliability.
Software Reliability Methods
Author: Doron A. Peled
Publisher: Springer Science & Business Media
ISBN: 1475735405
Category : Computers
Languages : en
Pages : 344
Book Description
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.
Publisher: Springer Science & Business Media
ISBN: 1475735405
Category : Computers
Languages : en
Pages : 344
Book Description
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.
Frontiers in Reliability
Author: Asit P. Basu
Publisher: World Scientific
ISBN: 9789810233600
Category : Technology & Engineering
Languages : en
Pages : 512
Book Description
This volume presents recent results in reliability theory by leading experts in the world. It will prove valuable for researchers, and users of reliability theory. It consists of refereed invited papers on a broad spectrum of topics in reliability. The subjects covered include Bayesian reliability, Bayesian reliability modeling, confounding in a series system, DF tests, Edgeworth approximation to reliability, estimation under random censoring, fault tree reduction for reliability, inference about changes in hazard rates, information theory and reliability, mixture experiment, mixture of Weibull distributions, queuing network approach in reliability theory, reliability estimation, reliability modeling, repairable systems, residual life function, software spare allocation systems, stochastic comparisons, stress-strength models, system-based component test plans, and TTT-transform.
Publisher: World Scientific
ISBN: 9789810233600
Category : Technology & Engineering
Languages : en
Pages : 512
Book Description
This volume presents recent results in reliability theory by leading experts in the world. It will prove valuable for researchers, and users of reliability theory. It consists of refereed invited papers on a broad spectrum of topics in reliability. The subjects covered include Bayesian reliability, Bayesian reliability modeling, confounding in a series system, DF tests, Edgeworth approximation to reliability, estimation under random censoring, fault tree reduction for reliability, inference about changes in hazard rates, information theory and reliability, mixture experiment, mixture of Weibull distributions, queuing network approach in reliability theory, reliability estimation, reliability modeling, repairable systems, residual life function, software spare allocation systems, stochastic comparisons, stress-strength models, system-based component test plans, and TTT-transform.
Software Reliability
Author: Glenford J. Myers
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 390
Book Description
Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 390
Book Description
Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.