Logo Logo
Hilfe
Hilfe
Switch Language to English

Sharma, Arnab; Melnikov, Vitalik; Hüllermeier, Eyke ORCID logoORCID: https://orcid.org/0000-0002-9944-4108 und Wehrheim, Heike (Februar 2023): Property-Driven Black-Box Testing of Numeric Functions. Software Engineering 2023, Paderborn, Germany, 20-24 February 2023. Engels, Gregor; Hebig, Regina und Tichy, Matthias (Hrsg.): 111-112 Bonn: Gesellschaft für Informatik e.V.. S. 111-112 [PDF, 213kB]

[thumbnail of paper42.pdf_sequence=1&isAllowed=y]
Veröffentlichte Version
Download (213kB)

Abstract

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.

Dokument bearbeiten Dokument bearbeiten