Automatic Non-functional Testing of Code Generators Families

Mohamed Boussaa 1 Olivier Barais 1 Benoit Baudry 1 Gerson Sunyé 2, 3
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 AtlanModels - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : The intensive use of generative programming techniques provides an elegant engineering solution to deal with the heterogeneity of platforms and technological stacks. The use of domain-specific languages for example, leads to the creation of numerous code generators that automatically translate highlevel system specifications into multi-target executable code. Producing correct and efficient code generator is complex and error-prone. Although software designers provide generally high-level test suites to verify the functional outcome of generated code, it remains challenging and tedious to verify the behavior of produced code in terms of non-functional properties. This paper describes a practical approach based on a runtime monitoring infrastructure to automatically check the potential inefficient code generators. This infrastructure, based on system containers as execution platforms, allows code-generator developers to evaluate the generated code performance. We evaluate our approach by analyzing the performance of Haxe, a popular high-level programming language that involves a set of cross-platform code generators. Experimental results show that our approach is able to detect some performance inconsistencies that reveal real issues in Haxe code generators.
Document type :
Conference papers
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01356849
Contributor : Mohamed Boussaa <>
Submitted on : Saturday, September 17, 2016 - 12:21:34 AM
Last modification on : Thursday, February 7, 2019 - 2:24:38 PM
Long-term archiving on : Sunday, December 18, 2016 - 4:03:57 PM

File

GPCE_2016_Testing_Generators.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01356849, version 1

Citation

Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé. Automatic Non-functional Testing of Code Generators Families. 15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Oct 2016, Amsterdam, Netherlands. pp.11. ⟨hal-01356849⟩

Share

Metrics

Record views

1719

Files downloads

967