Spectrum-Based Fault Localization for Logic-Based Reasoning

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract

When obtaining a full-fledged model for diagnostic and debugging purposes is out of reach, abstract logic models might allow us to fall back to abductive reasoning for isolating faults. Such models often only aggregate knowledge about which inputs and faults would have this or that effect on the system. Like in property-based system design or formal verification, we have that the quality of the resulting reasoning process depends heavily on this logic model. Since logic descriptions are not entirely intuitive to formulate and automated processes to derive them are prone to be incomplete, we'd certainly be interested in assessing a model's quality and isolate issues. In this paper, we're proposing to use test cases and spectrum-based fault localization for this task, drawing on the flexibility and ease-of-use of such a spectrum-based concept. Focusing on logic models formulated in propositional Horn-clauses, we provide examples that show the attractiveness of our concept.

Original languageEnglish
Title of host publicationProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
PublisherInstitute of Electrical and Electronics Engineers
Pages192-199
Number of pages8
ISBN (Electronic)9781538694435
DOIs
Publication statusPublished - 16 Nov 2018
Event29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 - Memphis, United States
Duration: 15 Oct 201818 Oct 2018

Conference

Conference29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
CountryUnited States
CityMemphis
Period15/10/1818/10/18

Fingerprint

Systems analysis
Formal verification

Keywords

  • automated debugging
  • debugging of logic programs
  • spectrum-based fault localization

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Pill, I., & Wotawa, F. (2018). Spectrum-Based Fault Localization for Logic-Based Reasoning. In Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 (pp. 192-199). [8539195] Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISSREW.2018.00006

Spectrum-Based Fault Localization for Logic-Based Reasoning. / Pill, Ingo; Wotawa, Franz.

Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Institute of Electrical and Electronics Engineers, 2018. p. 192-199 8539195.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pill, I & Wotawa, F 2018, Spectrum-Based Fault Localization for Logic-Based Reasoning. in Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018., 8539195, Institute of Electrical and Electronics Engineers, pp. 192-199, 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018, Memphis, United States, 15/10/18. https://doi.org/10.1109/ISSREW.2018.00006
Pill I, Wotawa F. Spectrum-Based Fault Localization for Logic-Based Reasoning. In Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Institute of Electrical and Electronics Engineers. 2018. p. 192-199. 8539195 https://doi.org/10.1109/ISSREW.2018.00006
Pill, Ingo ; Wotawa, Franz. / Spectrum-Based Fault Localization for Logic-Based Reasoning. Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Institute of Electrical and Electronics Engineers, 2018. pp. 192-199
@inproceedings{b212b6a19cc84c709f7768e1537018e7,
title = "Spectrum-Based Fault Localization for Logic-Based Reasoning",
abstract = "When obtaining a full-fledged model for diagnostic and debugging purposes is out of reach, abstract logic models might allow us to fall back to abductive reasoning for isolating faults. Such models often only aggregate knowledge about which inputs and faults would have this or that effect on the system. Like in property-based system design or formal verification, we have that the quality of the resulting reasoning process depends heavily on this logic model. Since logic descriptions are not entirely intuitive to formulate and automated processes to derive them are prone to be incomplete, we'd certainly be interested in assessing a model's quality and isolate issues. In this paper, we're proposing to use test cases and spectrum-based fault localization for this task, drawing on the flexibility and ease-of-use of such a spectrum-based concept. Focusing on logic models formulated in propositional Horn-clauses, we provide examples that show the attractiveness of our concept.",
keywords = "automated debugging, debugging of logic programs, spectrum-based fault localization",
author = "Ingo Pill and Franz Wotawa",
year = "2018",
month = "11",
day = "16",
doi = "10.1109/ISSREW.2018.00006",
language = "English",
pages = "192--199",
booktitle = "Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - Spectrum-Based Fault Localization for Logic-Based Reasoning

AU - Pill, Ingo

AU - Wotawa, Franz

PY - 2018/11/16

Y1 - 2018/11/16

N2 - When obtaining a full-fledged model for diagnostic and debugging purposes is out of reach, abstract logic models might allow us to fall back to abductive reasoning for isolating faults. Such models often only aggregate knowledge about which inputs and faults would have this or that effect on the system. Like in property-based system design or formal verification, we have that the quality of the resulting reasoning process depends heavily on this logic model. Since logic descriptions are not entirely intuitive to formulate and automated processes to derive them are prone to be incomplete, we'd certainly be interested in assessing a model's quality and isolate issues. In this paper, we're proposing to use test cases and spectrum-based fault localization for this task, drawing on the flexibility and ease-of-use of such a spectrum-based concept. Focusing on logic models formulated in propositional Horn-clauses, we provide examples that show the attractiveness of our concept.

AB - When obtaining a full-fledged model for diagnostic and debugging purposes is out of reach, abstract logic models might allow us to fall back to abductive reasoning for isolating faults. Such models often only aggregate knowledge about which inputs and faults would have this or that effect on the system. Like in property-based system design or formal verification, we have that the quality of the resulting reasoning process depends heavily on this logic model. Since logic descriptions are not entirely intuitive to formulate and automated processes to derive them are prone to be incomplete, we'd certainly be interested in assessing a model's quality and isolate issues. In this paper, we're proposing to use test cases and spectrum-based fault localization for this task, drawing on the flexibility and ease-of-use of such a spectrum-based concept. Focusing on logic models formulated in propositional Horn-clauses, we provide examples that show the attractiveness of our concept.

KW - automated debugging

KW - debugging of logic programs

KW - spectrum-based fault localization

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

U2 - 10.1109/ISSREW.2018.00006

DO - 10.1109/ISSREW.2018.00006

M3 - Conference contribution

SP - 192

EP - 199

BT - Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018

PB - Institute of Electrical and Electronics Engineers

ER -