Extending Automated FLTL Test Oracles With Diagnostic Support

Ingo Pill, Franz Wotawa

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

Abstract

Testing is a versatile and in practice also dominant technique when it comes to verifying whether a system meets our expectations. After executing a test case, we use test oracles to judge whether the execution should be considered to have failed or passed. Fully automated oracles considering properties in temporal logics like FLTL allow us to derive such a verdict in a fully automated process. In this manuscript, we will show how to extend such an oracle with diagnostic support. In particular, drawing on model-based diagnosis (MBD), we will isolate exactly which parts of the property were violated for a failed test case. Such data are orthogonal to MBD focusing on the system itself and where we isolate faulty system components. With our diagnoses, we thus provide valuable information for the subsequent debugging and repair process in respect of how the test execution violated the property. We show that a corresponding polynomially sized SAT model for deriving our diagnoses can be derived easily.
Originalspracheenglisch
TitelProceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019
Redakteure/-innenKatinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ivaki, Nuno Laranjeiro
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten354-361
Seitenumfang8
ISBN (elektronisch)978-1-7281-5138-0
DOIs
PublikationsstatusVeröffentlicht - Okt 2019
Veranstaltung2019 IEEE International Symposium on Software Reliability Engineering Workshops - Berlin, Deutschland
Dauer: 27 Okt 201930 Okt 2019

Publikationsreihe

NameProceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019

Konferenz

Konferenz2019 IEEE International Symposium on Software Reliability Engineering Workshops
KurztitelISSREW 2019
LandDeutschland
OrtBerlin
Zeitraum27/10/1930/10/19

ASJC Scopus subject areas

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

Fingerprint Untersuchen Sie die Forschungsthemen von „Extending Automated FLTL Test Oracles With Diagnostic Support“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren