SoRel: A tool for reliability growth analysis and prediction from statistical failure data

The authors present a tool for software (and hardware) reliability analysis and evaluation: SoRel. The tool implements a global method for reliability follow up and evaluation in the presence of reliability growth due to design fault removal. SoRel is composed of two parts allowing respectively application of trend tests and reliability growth models. The authors present the method, the trend tests, and the reliability growth models implemented by SoRel, show how these features can help during the validation process, and describe some functionalities of the tool.

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

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

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

[4]  Singiresu S. Rao,et al.  Optimization Theory and Applications , 1980, IEEE Transactions on Systems, Man, and Cybernetics.

[5]  Robert B. Grady,et al.  Software Metrics: Establishing a Company-Wide Program , 1987 .

[6]  A. P. Dawid,et al.  Present position and potential developments: some personal views , 1984 .

[7]  George E. Stark A survey of software reliability measurement tools , 1991, Proceedings. 1991 International Symposium on Software Reliability Engineering.

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

[9]  K. Kanoun,et al.  The Role of Trend Analysis in Software Development and Validation , 1991 .

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

[11]  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..

[12]  Karama Kanoun,et al.  Analyse des défaillances et suivi de la validation du logiciel d’un équipement de télécommunication* , 1990 .

[13]  M Joseph,et al.  Software metrics: Establishing a company-wide program: by R B Grady and D L Caswell. Published by Prentice-Hall. 288pp. £37.80 , 1988 .

[14]  David R. Cox,et al.  The statistical analysis of series of events , 1966 .

[15]  Karama Kanoun,et al.  A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System , 1991, IEEE Trans. Software Eng..

[16]  Sylvain Metge,et al.  Failure analysis and validation monitoring of a telecommunication equipment software system , 1990 .