<  Back to the Polytechnique Montréal portal

Mapping features to source code in dynamically configured avionics software

Maxime Ouellet, François Gauthier, Ettore Merlo, Neset Sozen and Martin Gagnon

Technical Report (2012)

Open Acess document in PolyPublie and at official publisher
Open Access to the full text of this document
Published Version
Terms of Use: All rights reserved
Download (1MB)
Show abstract
Hide abstract


Mapping software features to the code that implements them is an important activity for program comprehension and software reengineering. In this paper, we present a novel automated approach to locate features in source code based on static analysis and model checking. This approach focuses on dynamically configured software in which the activation of specific features is controlled by configuration variables. The main advantages of a static approach to feature location are its affordability and applicability to large systems containing hundreds of features. Our methodology is applied to an industrial Flight Management System from the avionics industry. Results show that a static approach to feature mapping is feasible and can locate complex features whose implementation is spread across multiple files and functions.

Subjects: 2100 Mechanical engineering > 2108 Aerospace, aeronautical and automotive engineering
2700 Information technology > 2706 Software engineering
Department: Department of Computer Engineering and Software Engineering
Grant number: CRSNG/NSERC, CRIAQ
PolyPublie URL: https://publications.polymtl.ca/2796/
Report number: EPM-RT-2012-02
Date Deposited: 06 Oct 2017 15:16
Last Modified: 19 Apr 2023 16:38
Cite in APA 7: Ouellet, M., Gauthier, F., Merlo, E., Sozen, N., & Gagnon, M. (2012). Mapping features to source code in dynamically configured avionics software. (Technical Report n° EPM-RT-2012-02). https://publications.polymtl.ca/2796/


Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only

View Item View Item