1991 - 107 p<br/>This report presents the results of the first phase of the ongoing EG&G Idaho, Inc. ,<br/>Software Reliability Research Program. The program is studying the existing software<br/>reliability mc:lels and proposes a state-of-the-art software reliability model that is relevant to<br/>t
A Recursive Method for Reliability Computation of Moranda’s Geometric Software Reliability Model
✍ Scribed by Parvinder S.S.
- Tongue
- English
- Leaves
- 6
- Category
- Library
No coin nor oath required. For personal study only.
✦ Synopsis
Paper, PWASET Volume 26, 2007, ISSN 1307-6884, 720-725 c.
The Moranda’s Geometric de-Eutrophication model alleviates some of the objections to the Jelinski Moranda model for software failures. In Moranda Geometric de-Eutrophication model,N(t) is defined as the number of faults detected in the time interval (0, t]. In this paper, N(t) is studied as a pure birth stochastic process, where failure rates decrease geometrically with a detection and fixing of a fault. This paper demonstrates the use of a recursive scheme to
study the probability of detecting ' n' number of bugs in time (0, t].
The method uses a constructed table which makes this method more easier compared to all the other existing methods to compute the Probability of removal of n number of faults in time (0,t] i.e. Pn (t), intensity function λ(t), and Probability that the software does not fail in the interval (t, t +t ] i.e. (t). In the proposed procedure Pn (t) involves (n +1) terms and each term is multiplied by a constant, obtained from the constructed table. The developed system performs with 90% accuracy as compared to earlier system and approximately 10% reduction in time for projects with
size (delivered object code instructions) in the range of 5000-21000 and the tabular and the recursive technique has made the system simple to understand.
✦ Subjects
Информатика и вычислительная техника;Надежность информационных систем
📜 SIMILAR VOLUMES
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
<p>Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of
Paper 11 p, Journal Of Software, VOL. 7, NO. 6, June 2012
<p><p>The main goal of this book is to introduce readers to functional analysis methods, in particular, time dependent analysis, for reliability models. Understanding the concept of reliability is of key importance – schedule delays, inconvenience, customer dissatisfaction, and loss of prestige and