A counting model for software reliability analysis

International Journal of Modelling and Simulation

Volumn 17, Issue 4, 1997, Pages 289-297

  Ledoux, J ^a,c   Rubino, G ^b,c,d  

^a INSA DE RENNES   (France)

^b ECOLE DES MINES DE NANTES   (France)

^c UNIVERSITÉ DE RENNES 1   (France)

^d CAMPUS DE BEAULIEU   (France)

Author keywords

Counting processes; Markov processes; Software reliability; Uniformization technique

Indexed keywords

EID: 0004611787     PISSN: 02286203     EISSN: None     Source Type: Journal    
DOI: 10.1080/02286203.1997.11760343     Document Type: Article

References (24)

1. A. Iannino et al. Software reliability: Measurement, prediction, application (Singapore: McGraw-Hill, 1987).
2. J.C. Laprie, Dependability: Basic concepts and terminology (Vienna: Springer-Verlag, 1992).
3. M. Xie, Software reliability modelling (London: World Scientific Publishing, 1991).
4. B. Littlewood, A reliability model for systems with Markov struture. Appl. Statist., 24(2), 1975, 172-177.
5. B. Littlewood, Software reliability model for modular program structure. IEEE Trans. Reliability, R-28(3), 1979, 241-246.
6. R.C. Cheung, A user-oriented software reliability model. IEEE Trans. Software Eng., 6(1), 1980, 118-125.
7. J.C. Laprie, Dependability evaluation of software systems in operation. IEEE Trans. Software Eng., SE-16(6), 1984, 701-714.
8. J.C. Laprie, K. Kanoun, C. Béounes, & M. Kaâniche, The KAT (knowledge-action-transformation) approach to the modeling and evaluation of reliability and availability growth. IEEE Trans. Software Eng., 17(4), 1991, 370-382.
9. Y. Masuda, N. Miyawaki, & S. Yokoyama, A statistical approach for determining release time of software system with modular structure. IEEE Trans. Reliability, 38(3), 1988, 365-372.
10. P. Kubat, Assessing reliability of modular software. Opns Res. Letters, 8, 1989, 35-41.
11. N. Ashrafi & F. Zabedi, Software reliability allocation based on structure, utility, price, and cost. IEEE Trans. Software Eng., 17(4), 1991, 345-356.
12. J.C. Laprie & K. Kanoun, X-ware reliability and availability modeling. IEEE Trans. Software Eng., 18(2), 1992, 130-147.
13. N.E. Fenton, Software metrics : a rigorous approach (London: Chapman and Hall, 1991).
14. B. Beizer, Software testing techniques (Van Nostrand, Reinhold, 1990).
15. M.F. Neuts., A versatile Markovian point process. J. Appl. Prob., 16, 1979, 764-779.
16. D.M. Lucantoni, K.S. Meier-Hellstern, & N.F. Neurs, A single-server queue with server vacations and a class of non-renewal arrival processes. Adv. Appl. Prob., 22, 1990, 676-705.
17. M.F. Neuts, Structured stochastic matrices of M/G/1 type and their applications (New York: Marcel Dekker, 1989).
18. D.L. Snyder, Random point practises (New York:Wiley, 1975).
19. K. Siegrist, Reliability of systems with Markov transfer of control. IEEE Trans. Software Eng., 14(7), 1988, 1049-1053.
20. K. Siegrist, Reliability of systems with Markov transfer of control, II. IEEE Trans. Software Eng., 14(10), 1988, 1478-1480.
21. S.M. Ross, Stochastic processes (New York: Wiley, 1983).
22. G. Rubino & B. Sericola, Interval availability analysis using operational periods. Performance Evaluation, 14, 1992, 257-272.
23. E.P.C. Kao, Computing the phase-type renewal and related functions. Technometrics, 30(1), 1988, 87-93.
24. M. Kaâniche, Modèle hyperexponentiel en temps continu et en temps discret pour l'evaluation de la croissance de la sûreté de fonctionnement, doctoral diss., LAAS, Toulouse, France, 1992.