Determining the reliability of prolog programs

In this paper an approach to reliability prediction and estimation of Prolog programs is proposed. Two complexity measures describing Prolog programs are introduced. Values of the two measures are used, subsequently, to predict the reliability of Prolog programs before testing and in the early testing stages, and further, to estimate the reliability as a function of time, in order to determine whether the reliability objective is achieved. The proposed reliability determination approach is based on previous work (Azem et al., 1993), extending the prediction approach used therein through modification of the complexity measures and providing an estimation approach. It leads to improvements in the quality of predictions and estimations with respect to software reliability characteristics. The proposed approach is implemented in a reliability assessment environment, which also includes several well‐known software reliability models for comparison purposes.

[1]  Chris Mellish,et al.  Programming in Prolog (2nd ed.) , 1984 .

[2]  George J. Schick,et al.  An Analysis of Competing Software Reliability Models , 1978, IEEE Transactions on Software Engineering.

[3]  Victor R. Basili,et al.  Software errors and complexity: an empirical investigation , 1993 .

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

[5]  D. C. Adams,et al.  Software reliability practices at Cray Research Inc , 1991, Proceedings. 1991 International Symposium on Software Reliability Engineering.

[6]  John D. Musa,et al.  A theory of software reliability and its application , 1975, IEEE Transactions on Software Engineering.

[7]  Bev Littlewood,et al.  A Bayesian Reliability Model with a Stochastically Monotone Failure Rate , 1974 .

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

[9]  Fevzi Belli,et al.  Implementation-Oriented Testing and Reliability Determination of Prolog Programs , 1993, SEKE.

[10]  Wilhelm Schäfer,et al.  A Knowledge-Based Software Development Environment Supporting Cooperative Work , 1992, Int. J. Softw. Eng. Knowl. Eng..

[11]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[12]  Barry W. Boehm,et al.  Quantitative evaluation of software quality , 1976, ICSE '76.

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

[14]  Martin L. Shooman,et al.  Software Engineering: Design, Reliability, and Management , 1983 .

[15]  Donald E. Knuth,et al.  An empirical study of FORTRAN programs , 1971, Softw. Pract. Exp..

[16]  Norman E. Fenton,et al.  Software Metrics: A Rigorous Approach , 1991 .

[17]  Martin L. Shooman,et al.  Structural models for software reliability prediction , 1976, ICSE '76.

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

[19]  Paul B. Moranda,et al.  Predictions of software reliability during debugging , 1975 .

[20]  Victor R. Basili,et al.  Software errors and complexity: an empirical investigation0 , 1984, CACM.

[21]  Farokh B. Bastani,et al.  Effect of artificial-intelligence planning-procedures on system reliability , 1991 .

[22]  Martin L. Shooman,et al.  Probabilistic Models for Software reliability Prediction , 1972, Statistical Computer Performance Evaluation.