Spectrum-Based Fault Localization for Logic-Based Reasoning

Ingo Pill, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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.

Originalspracheenglisch
TitelProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten192-199
Seitenumfang8
ISBN (elektronisch)9781538694435
DOIs
PublikationsstatusVeröffentlicht - 16 Nov 2018
Veranstaltung29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 - Memphis, USA / Vereinigte Staaten
Dauer: 15 Okt 201818 Okt 2018

Konferenz

Konferenz29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
LandUSA / Vereinigte Staaten
OrtMemphis
Zeitraum15/10/1818/10/18

ASJC Scopus subject areas

  • Software
  • !!Safety, Risk, Reliability and Quality

Fingerprint Untersuchen Sie die Forschungsthemen von „Spectrum-Based Fault Localization for Logic-Based Reasoning“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren