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

Transient solutions of a software model with imperfect debugging and generation of errors by two servers

โœ Scribed by V. Sridharan; P.R. Jayashree


Book ID
104351629
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
395 KB
Volume
27
Category
Article
ISSN
0895-7177

No coin nor oath required. For personal study only.

โœฆ Synopsis


In this paper, we obtain the transient. solution of probabilities of error in the software, mean number of faults and the expected number of failures remaining at time t, under the assumption that the number of faults is finite, the failure rate is proportional to the number of faults present in the software at any time, debugging is imperfect and error generation will never lead the software to have infinite errors. Moreover, the software is tested by two servers with the first M errors being debugged by first server and the remaining errors (M + 1 5 n 5 N) by the second server. Also, when a failure occurs, instantaneously repair starts with the following probabilities. (a) The fault content is reduced by one by the first (second) server with probability /.~l (/.Q), ~2 2 /~1. (b) The fault content remains unchanged with probability Q. (c) The fault content is increased by one by the first, (second) server with probability Xl (X2), Xl 2 X2, where PI + w + Xl = 1, P2 + a + x2 = 1, Pl>>Q'>>Xl, P2 >> -Jf ZP x2. Finally, a numerical example is presented for the transient probabilities for the number of errors in the software, mean number of faults and the expected number of failures remaining in the software.


๐Ÿ“œ SIMILAR VOLUMES


Imperfect debugging models with two kind
โœ Shigeru Yamada; Kouichi Sera ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 190 KB ๐Ÿ‘ 1 views

Ensuring the reliability of systems and their backbone, the software system has become increasingly important with the development of advanced information technology. Most of the models previously proposed as software evaluation techniques described the phenomena generating software failures or the

An imperfect debugging model with two ty
โœ K. Tokuno; S. Yamada ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 660 KB

we propose a software reliability model which assumes that there are two types of software failures. The first type is caused by the faults latent in the system before the testing; the second type is caused by the faults regenerated randomly during the testing phase. The former and latter software f