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

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (1MB)
Cite this document: 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).
Show abstract Hide abstract

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.

Open Access document in PolyPublie
Subjects: 2100 Génie mécanique > 2108 Génie aérospatial, aéronautique et automobile
2700 Technologie de l'information > 2706 Génie logiciel
Department: Département de génie informatique et génie logiciel
Research Center: Non applicable
Grant number: CRSNG/NSERC, CRIAQ
Date Deposited: 06 Oct 2017 15:16
Last Modified: 24 Oct 2018 16:12
PolyPublie URL: https://publications.polymtl.ca/2796/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only