Title :
Locating features in dynamically configured avionics software
Author :
Ouellet, Maxime ; Merlo, Ettore ; Sozen, Neset ; Gagnon, Martin
Author_Institution :
Comput. & Software Eng. Dept., Ecole Polytech. de Montreal, Montréal, QC, Canada
Abstract :
Locating features in software is an important activity for program comprehension and to support software reengineering. We present a novel automated approach to locate features in source code based on static analysis and model checking. The technique is aimed at dynamically configured software, which is software in which the activation of specific features is controlled by configuration variables. The approach is evaluated on an industrial avionics system.
Keywords :
avionics; formal verification; program diagnostics; systems re-engineering; configuration variables; feature location; industrial avionics system; model checking; program comprehension; software reengineering; source code; static analysis; Aerospace electronics; Aircraft; Analytical models; Feature extraction; Information retrieval; Security; Software; Feature; Feature Location; Feature Mapping; Program Comprehension; Reengineering;
Conference_Titel :
Software Engineering (ICSE), 2012 34th International Conference on
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1066-6
Electronic_ISBN :
0270-5257
DOI :
10.1109/ICSE.2012.6227068
