By Topic

Reliability prediction and estimation of PROLOG programs

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Azem, A. ; Dept. of Electr. & Electron. Eng., Paderborn Univ., Germany ; Belli, F. ; Jedrzejowicz, P.

This paper presents an approach to reliability prediction and estimation of PROLOG programs, and introduces 2 complexity measures for PROLOG programs. The structural complexity measure refers to the program's static characteristics: size and number of clauses; clause arguments (number and types); and clause types (facts or rules). The operational complexity measure refers to the program's dynamic characteristics: execution frequency of program components; user behavior; and backtracking and recursion. Values of the two measures are used to: (1) predict PROLOG program reliability before testing and in the early testing stages; and (2) estimate the reliability as a function of time, in order to determine whether the reliability objective is achieved. The feature-oriented reliability determination approach leads to improvements in the accuracy of software reliability predictions and estimations

Published in:

Reliability, IEEE Transactions on  (Volume:43 ,  Issue: 4 )