๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Software Fault Detection and Correction: Modeling and Applications

โœ Scribed by Rui Peng, Yan-Fu Li, Yu Liu


Publisher
Springer Singapore
Year
2018
Tongue
English
Leaves
117
Series
SpringerBriefs in Computer Science
Edition
1st ed.
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time.

The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work incorporates fault dependency, while the third adopts a Markov approach for studying fault detection and correction processes. The fourth work considers the multi-release property of various software, and models fault detection and correction processes. The last work classifies faults into four types and models the fault-detection and correction processes.

Enabling readers to familiarize themselves with how software reliability can be modeled when different factors need to be considered, and how the approaches can be used to analyze other systems, the book is important reference guide for researchers in the field of software reliability engineering and practitioners working on software projects. To gain the most from the book, readers should have a firm grasp of the fundamentals of the stochastic process.

โœฆ Table of Contents


Front Matter ....Pages i-xiii
Introduction (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 1-4
Classification of Models (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 5-13
TEF Dependent Software FDP and FCP Models (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 15-32
Software Reliability Models Considering Fault Dependency (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 33-51
General Order Statistics-Based Model (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 53-73
Reliability of Multi-release Open-Source Software (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 75-94
FDP and FCP with Four Types of Faults (Rui Peng, Yan-Fu Li, Yu Liu)....Pages 95-108

โœฆ Subjects


Computer Science; Software Engineering; Performance and Reliability; Quality Control, Reliability, Safety and Risk; Mathematical Modeling and Industrial Mathematics


๐Ÿ“œ SIMILAR VOLUMES


Understanding Faults: Detecting, Dating,
โœ David Tanner (editor), Christian Brandes (editor) ๐Ÿ“‚ Library ๐Ÿ“… 2019 ๐Ÿ› Elsevier ๐ŸŒ English

<p><i>Understanding Faults: Detecting, Dating, and Modeling</i> offers a single resource for analyzing faults for a variety of applications, from hazard detection and earthquake processes, to geophysical exploration. The book presents the latest research, including fault dating using new mineral gro

Fault Detection and Fault-Tolerant Contr
โœ Halim Alwi, Christopher Edwards, Chee Pin Tan (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer-Verlag London ๐ŸŒ English

<p><p><i>Fault Detection and Fault-tolerant Control Using Sliding Modes</i> is the first text dedicated to showing the latest developments in the use of sliding mode concepts for fault detection and isolation (FDI) and fault-tolerant control in dynamical engineering systems. It begins with an introd

Multi-model Jumping Systems: Robust Filt
โœ Shuping He, Xiaoli Luan ๐Ÿ“‚ Library ๐Ÿ“… 2021 ๐Ÿ› Springer ๐ŸŒ English

<p><span>This book focuses on multi-model systems, describing how to apply intelligent technologies to model complex multi-model systems by combining stochastic jumping system, neural network and fuzzy models. It focuses on robust filtering, including finite-time robust filtering, finite-frequency r

Data-Driven and Model-Based Methods for
โœ Majdi Mansouri, Mohamed-Faouzi Harkat, Hazem N. Nounou, Mohamed N. Nounou ๐Ÿ“‚ Library ๐Ÿ“… 2020 ๐Ÿ› Elsevier ๐ŸŒ English

<p><i>Data-Driven and Model-Based Methods for Fault Detection and Diagnosis</i> covers techniques that improve the quality of fault detection and enhance monitoring through chemical and environmental processes. The book provides both the theoretical framework and technical solutions. It starts with

Data-Driven and Model-Based Methods for
โœ Majdi Mansouri, Mohamed-Faouzi Harkat, Hazem N. Nounou, Mohamed N. Nounou ๐Ÿ“‚ Library ๐Ÿ“… 2020 ๐Ÿ› Elsevier ๐ŸŒ English

<p><i>Data-Driven and Model-Based Methods for Fault Detection and Diagnosis</i> covers techniques that improve the quality of fault detection and enhance monitoring through chemical and environmental processes. The book provides both the theoretical framework and technical solutions. It starts with

Software Defect and Operational Profile
โœ Kai-Yuan Cai (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 1998 ๐Ÿ› Springer US ๐ŸŒ English

<p>also in: <em>THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER</em><em>AND INFORMATION SCIENCE</em>, Volume 1</p>