Skip to Main content Skip to Navigation
Conference papers

NOTICE: A Framework for Non-functional Testing of Compilers

Mohamed Boussaa 1 Olivier Barais 1 Benoit Baudry 1 Gerson Sunyé 2
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
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : —Generally, compiler users apply different optimizations to generate efficient code with respect to non-functional properties such as energy consumption, execution time, etc. However, due to the huge number of optimizations provided by modern compilers, finding the best optimization sequence for a specific objective and a given program is more and more challenging. This paper proposes NOTICE, a component-based framework for non-functional testing of compilers through the monitoring of generated code in a controlled sand-boxing environment. We evaluate the effectiveness of our approach by verifying the optimizations performed by the GCC compiler. Our experimental results show that our approach is able to auto-tune compilers according to user requirements and construct optimizations that yield to better performance results than standard optimization levels. We also demonstrate that NOTICE can be used to automatically construct optimization levels that represent optimal trade-offs between multiple non-functional properties such as execution time and resource usage requirements.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01344835
Contributor : Mohamed Boussaa <>
Submitted on : Tuesday, July 12, 2016 - 4:29:37 PM
Last modification on : Thursday, January 16, 2020 - 1:13:49 AM

File

QRS2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01344835, version 1

Citation

Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé. NOTICE: A Framework for Non-functional Testing of Compilers. 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria. ⟨hal-01344835⟩

Share

Metrics

Record views

1512

Files downloads

547