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).

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact