An input-domain based method to estimate software reliability

IEEE Transactions on Reliability

Volumn 45, Issue 1, 1996, Pages 95-105

  Alberto Pasquini, A ^a,b   De Agostino, Elio ^a,b   Marco, Giuseppe Di ^a,b  

^a ENEA   (Italy)

^b ANPA

Author keywords

Fault domain; Input domain; Reliability measurement; Reliability model; Software correctness; Software fault; Software reliability; Software testing

Indexed keywords

FAILURE ANALYSIS; MATHEMATICAL MODELS; RELIABILITY;

INPUT DOMAIN BASED METHOD; RELIABILITY MEASUREMENT; SOFTWARE RELIABILITY;

COMPUTER SOFTWARE;

EID: 0030106634     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/24.488923     Document Type: Article

References (38)

1. A.A.O. Abdel-Ghaly, P.Y. Chan, B. Littlewood, "Evaluation of competing software reliability predictions' ', IEEE Trans. Software Engineering, vol SE-12, 1986 Sep, pp 950-967.
2. F.B. Bastard, "On the uncertainty in the correctness of computer programs", IEEE Trans, Software Engineering, vol SE-11, 1985 Sep, pp 857-864.
3. F.B. Bastani, "The experimental evaluation of a fuzzy set based approach to estimating the correctness of control programs". Tech. Rep. UH-UP-CS-87, 1987; Dept. of Computer Science, Univ. of Houston.
4. F.B. Bastani, G. Di Marco, A. Pasquini, "Experimental evaluation of a fuzzy-set based measure of program correctness using program mutation", Proc. 15th Conf. Software Engineering (ICSE 15), 1993 May, pp 45-54; IEEE Press.
5. F.B. Bastani, A. Pasquini, "Assessment of a sampling method for measuring safety critical software reliability", Proc, 5lh Int'l Symp. Software Reliability (ISSRE '94), 1994 Nov, pp 93-102; IEEE Press.
6. F.B. Bastani, C.V. Ramamoorthy, "Input-domain based models for estimating the correctness of process control programs", Reliability Theory (Serra & Barlow, Eds), 1986, pp 321-378; North Holland.
7. P. Bishop, F.D. Pullen, "Probabilistic modeling of software failure characteristics", Proc. 1FAC Workshop SAFECOMP '88, 1988, pp 87-93; Pergamon Press.
8. S. Brocklehurst B. Littlewood, "New ways to get accurate reliability measures", IEEE Software, vol 9, 1992 Jul, pp 34-42.
9. th Ann. Software Reliability Symp, 1992 Jun, pp 24-33; Denver.
10. R.W. Butler, G.B. Finelli, "The infeasibility of quantifying the reliability of life-critical real-time software", IEEE Trans. Software Engineering, vol 19, 1993 Jan, pp 3-12.
11. L.A. Clarke, J. Hasseil, D.J. Richardson, "A close look at domain testing", IEEE Trans. Software Engineering, vol SE-8, 1982 Jul. pp 380-390.
12. T. Downs, P. Garrone, "Some new models of software testing with performance comparisons' ', JEEE Trans. Reliability, vol 40, 1991 Äug, pp 322-328.
13. J.R. Dunham, "Experiments in software reliability: life-critical applications", IEEE Trans. Software Engineering, vol SE-12, 1986 Jan, pp 110-123.
14. J.E. Gaffney, "Estimating the number of faults in code", IEEE Trans. Software Engineering, vol SE-10, 1984 March, pp 459-464.
15. A.L. Goel, "Software reliability models: Assumptions, limitations, and applicability", IEEE Trans. Software Engineering, vol SE-11, 1985 Dec, pp 1411-1423.
16. R.G. Hamlet, "Probable correctness theory", Information Processing Letters, 1987 Apr, pp 17-25.
17. W.E. Howden, "Reliability of the path analysis testing strategy", IEEE Trans. Software Engineering, vol SE-2, 1976 Sep, pp 208-215.
18. A. lannino, J.D. Musa, K. Okumoto, B. Littlewood, '.'Criteria for software reliability model comparisons' ', IEEE Trans. Software Engineering, vol SE-10, 1984 Nov, pp 687-691.
19. P.A. Keiller, D.R. Miller, "On the use and the performance of software reliability growth models". Reliability Engineering and System Safely, vol 13, num 1, 1991, pp 95-117.
20. N.G. Leveson, "Software safety: Why, what, and how", Computing Surveys, vol 18, 1986 Jun, pp 125-163.
21. M. Lipow, "Comments on estimating the number of faults in code and two corrections to published data", IEEE Trans. Sofnvare Engineering, vol SE-12, 1986 Apr, pp 584-585.
22. B. Littlewood, "Software reliability modeling: Achievements and limitations", Proc. COMPEURO '91, 1991; Bologna.
23. B. Littlewood, L. Strigini, "Validation of ultra-high dependability for software-based systems", Communications of ACM, vol 36, 1993 Nov, pp 69-88.
24. Y.K. Malaiya, P.K. Srimani. Software Reliability Models: Theoretical Developments, Evaluation, and Application, 1991; IEEE CS Press.
25. K.W. Miller, L.J. Morell, R.E. Noonan, et at, "Estimating the probability of failure when testing reveals no failures", IEEE Trans. Software Engineering, vol 18, 1992 Jan, pp 33-42.
26. J.D. Musa, A. lannino, K. Okumoto, Software Reliability - Measurement, Prediction, Application, 1987; McGraw-Hill.
27. E. Nelson, "Estimating software reliability from test data", Microelectronics and Reliability, vol 17, pp 67-74.
28. M. Xic, "Software reliability models % A selected annotated bibliography", Software Testing, Verification and Reliability, vol 3, 1993, pp 3-28.
29. A. Pasquini, "Measuring software reliability in a space application", Proc. European Safety and Reliability Conference ESRC '92, 1992 Jun, pp 751-761; Elsevier Applied Science.
30. [301 C.V. Ramamoorthy, F.B. Bastani, "Software reliability - Status and perspective", IEEE Trans. Software Engineering, vol SE-8, 1982 Jul, pp 354-370.
31. [31J C.V. Ramamoorthy, F.B. Bastani, "Software reliability", Handbook of Statistics, vol 7, 1988; Elsevier Science Publishers.
32. N.F. Schneidewind, H.M. Hoffmann, "An experiment in software er-ror data collection and analysis", IEEE Trans. Software Engineering, vol SE-5, 1979 May, pp 276-286.
33. F.T. Sheldon, et al, ' 'Software reliability measurement theory, practice and, controversy", Proc. Symp. Applied Computing, 1990; IEEE CS Press.
34. R.C. Tausworme, "A general software reliability process simulation technique", Pub 91-7, 1981 Apr; Jet Propulsion Lab.
35. S.N. Weiss, E.J. Weyuker, "An extended domain-based model of soft-ware reliability", IEEE Trans. Software Engineering, vol 14, 1988 Oct, pp 1512-1524.
36. L.J. White, E.I. Cohen, "A domain strategy for computer program testing", IEEE Trans. Software Engineering, vol SE-6, 1980 May, pp 247-257.
37. L.J. White, I.A. Perera, "An alternative measure for error analysis of the domain testing strategy", Proc. Workshop on Software Testing, 1986, pp 122-131; IEEE CS Press.
38. Dott. Alberto Pasquini; ENEA (s.p. 088); Via Anguillarese 301; 00060; Roma; ITALY. Internet (e-mail): pasquini_a@casaccia.enea.it Don. Elio De Agostino; ENEA (s.p. 032); Via Anguillarese 301; 00060; Roma; ITALY. Doit. Giuseppe Di Marco; ANPA; Via V. Brancati 48; 00144; Roma; ITALY. Internet (e-mail): dimarco_g@edispl.enea.it Publisher Item Identifier S 0018-9529(96)02865-5