We report on work in progress aiming to add blame features to property-based-testing in logic programming, in particular w.r.t. the mechanized meta-theory model checker αCheck. Once the latter reports a counterexample to a property stated in αProlog, a combination of abduction and proof explanation tries to help the user to locate the part of the program that is responsible for the unintended behavior. To evaluate whether these explanations are in fact useful, we need an unbiased collection of faulty programs, where the bugs location is unknown to us. We have thus implemented a mutation testing tool for αProlog that generates such a set. Preliminary experiments point to the usefulness of our blame allocator. The mutator is of independent interest, allowing us to gauge the effectiveness of the various strategies of αCheck in finding bugs in αProlog specifications.
The Blame Game for Property-based Testing / A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: Italian Conference on Computational Logic / [a cura di] A. Casagrande, E.G. Omodeo. - [s.l] : CEUR-WS.org, 2019 Jul. - pp. 4-13 (( Intervento presentato al 34. convegno Italian Conference on Computational Logic tenutosi a Trieste nel 2019.
The Blame Game for Property-based Testing
A. Momigliano
Co-primo
2019
Abstract
We report on work in progress aiming to add blame features to property-based-testing in logic programming, in particular w.r.t. the mechanized meta-theory model checker αCheck. Once the latter reports a counterexample to a property stated in αProlog, a combination of abduction and proof explanation tries to help the user to locate the part of the program that is responsible for the unintended behavior. To evaluate whether these explanations are in fact useful, we need an unbiased collection of faulty programs, where the bugs location is unknown to us. We have thus implemented a mutation testing tool for αProlog that generates such a set. Preliminary experiments point to the usefulness of our blame allocator. The mutator is of independent interest, allowing us to gauge the effectiveness of the various strategies of αCheck in finding bugs in αProlog specifications.File | Dimensione | Formato | |
---|---|---|---|
paper21.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
432.27 kB
Formato
Adobe PDF
|
432.27 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.