A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System

An evaluation method which allows existing reliability growth models to provide better predictions of software behavior is presented. The method is primarily based on the analysis of the trend exhibited by the data collected on the program (which is determined by reliability growth tests). Reliability data are then partitioned according to the trend, and two types of reliability growth models can be applied: when the data exhibit reliability decrease followed by reliability growth, an S-shaped model can be applied, and in case of reliability growth, most of the other existing reliability growth models can be applied. The hyperexponential model is shown to allow prediction of the software residual failure rate in operation, and this failure rate is used as a qualification index for the software product. The method is illustrated through its application to the Brazilian electronic switching system TROPICO-R. >

[1]  Harlan D. Mills,et al.  Certifying the reliability of software , 1986, IEEE Transactions on Software Engineering.

[2]  D. Cox,et al.  The statistical analysis of series of events , 1966 .

[3]  Karama Kanoun,et al.  Software dependability of a telephone switching system. , 1987 .

[4]  Jean-Claude Laprie,et al.  Dependability Evaluation of Software Systems in Operation , 1984, IEEE Transactions on Software Engineering.

[5]  Shigeru Yamada,et al.  S-Shaped Reliability Growth Modeling for Software Error Detection , 1983, IEEE Transactions on Reliability.

[6]  John D. Musa,et al.  Software reliability: measurement, prediction, application (professional ed.) , 1989 .

[7]  K Okumoto,et al.  TIME-DEPENDENT ERROR-DETECTION RATE MODEL FOR SOFTWARE AND OTHER PERFORMANCE MEASURES , 1979 .

[8]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[9]  Amrit L. Goel,et al.  Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures , 1979, IEEE Transactions on Reliability.

[10]  B. S. Vianna R&D at Telebras-CPqD: the TROPICO system , 1988, IEEE International Conference on Communications, - Spanning the Universe..

[11]  Harlan D. Mills,et al.  Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) , 1989 .

[12]  Robert L. Glass,et al.  Persistent Software Errors , 1981, IEEE Transactions on Software Engineering.

[13]  Z. Jelinski,et al.  Software reliability Research , 1972, Statistical Computer Performance Evaluation.

[14]  Robert Troy,et al.  A statistical methodology for the study of the software failure process and its application to the ARGOS center , 1986, IEEE Transactions on Software Engineering.

[15]  B. Littlewood Software Reliability Model for Modular Program Structure , 1979, IEEE Transactions on Reliability.

[16]  Bev Littlewood,et al.  Evaluation of competing software reliability predictions , 1986, IEEE Transactions on Software Engineering.

[17]  YOSHIHIRO TOHMA,et al.  Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution , 1989, IEEE Trans. Software Eng..

[18]  Jean-Claude Laprie,et al.  The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth , 1991, IEEE Trans. Software Eng..

[19]  Ravishankar K. Iyer,et al.  A Statistical Failure/Load Relationship: Results of a Multicomputer Study , 1982, IEEE Transactions on Computers.

[20]  Karama Kanoun,et al.  Software-reliability evaluation of the TROPICO-R switching system , 1990 .

[21]  B. S. Vianna,et al.  Hardware quality control in the TROPICO system , 1988, IEEE International Conference on Communications, - Spanning the Universe..

[22]  John D. Musa,et al.  Software reliability measurement , 1984, J. Syst. Softw..

[23]  P. M. Nagel,et al.  Software reliability: Repetitive run experimentation and modeling , 1982 .

[24]  Bev Littlewood,et al.  A Bayesian Reliability Growth Model for Computer Software , 1973 .

[25]  Shigeru Yamada,et al.  s-Shaped Software Reliability Growth Models and Their Applications , 1984, IEEE Transactions on Reliability.

[26]  Victor R. Basili,et al.  A Methodology for Collecting Valid Software Engineering Data , 1984, IEEE Transactions on Software Engineering.