Spectrum-Based Fault Localization for Logic-Based Reasoning

Ingo Pill, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Keywords

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

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'Spectrum-Based Fault Localization for Logic-Based Reasoning'. Together they form a unique fingerprint.

  • Activities

    • 1 Talk at workshop, seminar or course

    Spectrum-based fault localization for logic-based reasoning

    Ingo Pill (Speaker)
    15 Oct 2018

    Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

    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