Classifying test suite effectiveness via model inference and ROBBDs

Hermann Felbinger*, Ingo Pill, Franz Wotawa

*Korrespondierende/r Autor/in für diese Arbeit

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

Abstract

Deciding whether a given test suite is effective enough is certainly a challenging task. Focusing on a software program’s functionality, we propose in this paper a new method that leverages Boolean functions as abstract reasoning format. That is, we use machine learning in order to infer a special binary decision diagram from the considered test suite and extract a total variable order, if possible. Intuitively, if an ROBDD derived from the Boolean functions representing the program under test’s specification actually coincides with that of the test suite (using the same variable order), we conclude that the test suite is effective enough. That is, any program that passes such a test suite should clearly show the desired input-output behavior. In our paper, we provide the corresponding algorithms of our approach and their respective proofs. Our first experimental results illustrate our approach’s practicality and viability.

Originalspracheenglisch
TitelTests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings
Herausgeber (Verlag)Springer-Verlag Italia
Seiten76-93
Seitenumfang18
Band9762
ISBN (Print)9783319411347
DOIs
PublikationsstatusVeröffentlicht - 2016
Veranstaltung10th International Conference on Tests and Proofs, TAP 2016 and Held as Part of Software Technologies: Applications and Foundations, STAF 2016 - Vienna, Österreich
Dauer: 5 Jul 20167 Jul 2016

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band9762
ISSN (Print)03029743
ISSN (elektronisch)16113349

Konferenz

Konferenz10th International Conference on Tests and Proofs, TAP 2016 and Held as Part of Software Technologies: Applications and Foundations, STAF 2016
LandÖsterreich
OrtVienna
Zeitraum5/07/167/07/16

Schlagwörter

  • Testing

ASJC Scopus subject areas

  • !!Computer Science(all)
  • !!Theoretical Computer Science

Fingerprint Untersuchen Sie die Forschungsthemen von „Classifying test suite effectiveness via model inference and ROBBDs“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren