Characterizing Black-box Composition Operators via Generated Tailored Benchmarks
By: Benjamin Benni, Sébastien Mosser, Mathieu Acherc, Mathieu Paillart
Abstract
The integration of a model composition operator into a system is a challenging task: the properties associated with such operators can drastically change how the developers will be able to use it. In this paper, we describe a modelling framework that allows a software developer, who is not an expert in model composition, to describe the interface of the operators she wants to use, and describe the properties she expects from them to fit her needs (e.g., idempotence, commutativity, associativity). This abstract description is used to pilot a property-based testing approach on generated code. We applied the approach to two case studies: feature model composition and Git merging.
Keywords
Software Composition, Testing, Composition Operator
Cite as:
Benjamin Benni, Sébastien Mosser, Mathieu Acherc, Mathieu Paillart, “Characterizing Black-box Composition Operators via Generated Tailored Benchmarks”, Journal of Object Technology, Volume 19, no. 2 (July 2020), pp. 7:1-20, doi:10.5381/jot.2020.19.2.a7.
PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn
This article is accompanied by a video realized by the author(s).