Premium
Determining the reliability of prolog programs
Author(s) -
Azem Alireza,
Belli Fevzi
Publication year - 1994
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.4370040403
Subject(s) - reliability (semiconductor) , prolog , reliability engineering , computer science , software quality , quality (philosophy) , software , programming language , software development , engineering , power (physics) , philosophy , physics , epistemology , quantum mechanics
Abstract 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.