Fault detection algorithm for logic programs

Abdul Razak Hamdan, C. J. Hinde

Research output: Contribution to journalArticle

Abstract

A fault detection algorithm for logic programs is presented which is able to find several faults in one pass, in comparison with other techniques such as that of Shapiro1. In the context of software reliability, Angus et al.2 show a non-monotonic reliability profile where reliability curves are given by the number of faults encountered versus time. One explanation of this is the later discovery of faults which were originally masked by other faults. The system is able to derive sets of faults at different levels or branches of the proof tree, and so exploits this explanation of non-monotonic reliability in the debbugging process.

Original languageEnglish
Pages (from-to)185-190
Number of pages6
JournalKnowledge-Based Systems
Volume2
Issue number3
DOIs
Publication statusPublished - 1989

Fingerprint

Fault detection
Software reliability
Fault
Logic

Keywords

  • debugging
  • faults detection algorithm
  • non-monotonic reliability

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Fault detection algorithm for logic programs. / Hamdan, Abdul Razak; Hinde, C. J.

In: Knowledge-Based Systems, Vol. 2, No. 3, 1989, p. 185-190.

Research output: Contribution to journalArticle

Hamdan, Abdul Razak ; Hinde, C. J. / Fault detection algorithm for logic programs. In: Knowledge-Based Systems. 1989 ; Vol. 2, No. 3. pp. 185-190.
@article{610404c840f346acb717c8ee9913667d,
title = "Fault detection algorithm for logic programs",
abstract = "A fault detection algorithm for logic programs is presented which is able to find several faults in one pass, in comparison with other techniques such as that of Shapiro1. In the context of software reliability, Angus et al.2 show a non-monotonic reliability profile where reliability curves are given by the number of faults encountered versus time. One explanation of this is the later discovery of faults which were originally masked by other faults. The system is able to derive sets of faults at different levels or branches of the proof tree, and so exploits this explanation of non-monotonic reliability in the debbugging process.",
keywords = "debugging, faults detection algorithm, non-monotonic reliability",
author = "Hamdan, {Abdul Razak} and Hinde, {C. J.}",
year = "1989",
doi = "10.1016/0950-7051(89)90023-3",
language = "English",
volume = "2",
pages = "185--190",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - Fault detection algorithm for logic programs

AU - Hamdan, Abdul Razak

AU - Hinde, C. J.

PY - 1989

Y1 - 1989

N2 - A fault detection algorithm for logic programs is presented which is able to find several faults in one pass, in comparison with other techniques such as that of Shapiro1. In the context of software reliability, Angus et al.2 show a non-monotonic reliability profile where reliability curves are given by the number of faults encountered versus time. One explanation of this is the later discovery of faults which were originally masked by other faults. The system is able to derive sets of faults at different levels or branches of the proof tree, and so exploits this explanation of non-monotonic reliability in the debbugging process.

AB - A fault detection algorithm for logic programs is presented which is able to find several faults in one pass, in comparison with other techniques such as that of Shapiro1. In the context of software reliability, Angus et al.2 show a non-monotonic reliability profile where reliability curves are given by the number of faults encountered versus time. One explanation of this is the later discovery of faults which were originally masked by other faults. The system is able to derive sets of faults at different levels or branches of the proof tree, and so exploits this explanation of non-monotonic reliability in the debbugging process.

KW - debugging

KW - faults detection algorithm

KW - non-monotonic reliability

UR - http://www.scopus.com/inward/record.url?scp=45349112852&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=45349112852&partnerID=8YFLogxK

U2 - 10.1016/0950-7051(89)90023-3

DO - 10.1016/0950-7051(89)90023-3

M3 - Article

AN - SCOPUS:45349112852

VL - 2

SP - 185

EP - 190

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 3

ER -