DocumentCode
2440614
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
fYear
2012
fDate
2-9 June 2012
Firstpage
1453
Lastpage
1454
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2012 34th International Conference on
Conference_Location
Zurich
ISSN
0270-5257
Print_ISBN
978-1-4673-1066-6
Electronic_ISBN
0270-5257
Type
conf
DOI
10.1109/ICSE.2012.6227068
Filename
6227068
Link To Document