Logo des Repositoriums
 
Konferenzbeitrag

Property-Driven Black-Box Testing of Numeric Functions

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2023

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

In this work, we propose a property-driven testing mechanism to perform unit testing of functions performing numerical computations. Our approach, similar to the property-based testing technique, allows the tester to specify the requirements to check. Unlike property-based testing, the specification is then used to generate test cases in a targeted manner. Moreover, our approach works as a black-box testing tool, i.e. it does not require knowledge about the internals of the function under test. Therefore, besides on programmed numeric functions, we also apply our technique to machine-learned regression models. The experimental evaluation on a number of case studies shows the effectiveness of our testing approach.

Beschreibung

Sharma, Arnab; Melnikov, Vitalik; Hüllermeier, Eyke; Wehrheim, Heike (2023): Property-Driven Black-Box Testing of Numeric Functions. Software Engineering 2023. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-726-5. pp. 111-112. Wissenschaftliches Hauptprogramm. Paderborn. 20.–24. Februar 2023

Zitierform

DOI

Tags