Reliability prediction and estimation of PROLOG programs

Author

Azem, Alireza ; Belli, Fevzi ; Jedrzejowicz, Piotr

Author_Institution

Dept. of Electr. & Electron. Eng., Paderborn Univ., Germany

Volume

43

Issue

4

fYear

1994

fDate

12/1/1994 12:00:00 AM

Firstpage

542

Lastpage

549

Abstract

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

Keywords

PROLOG; backtracking; computational complexity; program testing; software reliability; PROLOG programs; accuracy; backtracking; clause arguments; clauses; dynamic characteristics; execution frequency; feature-oriented reliability determination; operational complexity measure; recursion; reliability objective; software reliability estimation; software reliability predictions; static characteristics; structural complexity measure; testing; user behavior; Frequency measurement; Logic programming; Particle measurements; Programming profession; Reliability engineering; Reliability theory; Size measurement; Software measurement; Software reliability; Testing;

fLanguage

English

Journal_Title

Reliability, IEEE Transactions on

Publisher

ieee

ISSN

0018-9529

Type

jour

DOI

10.1109/24.370228

Filename

370228