Locating features in dynamically configured avionics software

Authors:
Maxime Ouellet;Ettore Merlo;Neset Sozen;Martin Gagnon
Affiliations:
École Polytechnique de Montréal, Canada;École Polytechnique de Montréal, Canada;CMC Electronics, Canada;CMC Electronics, Canada
Venue:
Proceedings of the 34th International Conference on Software Engineering
Year:
2012

Citing 6
Cited 0

Software reconnaissance: mapping program features to code

Journal of Software Maintenance: Research and Practice
Locating Features in Source Code

IEEE Transactions on Software Engineering
Case Study of Feature Location Using Dependence Graph

IWPC '00 Proceedings of the 8th International Workshop on Program Comprehension
An Information Retrieval Approach to Concept Location in Source Code

WCRE '04 Proceedings of the 11th Working Conference on Reverse Engineering
SNIAFL: Towards a static noninteractive approach to feature location

ACM Transactions on Software Engineering and Methodology (TOSEM)
CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis

ICPC '08 Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension

Quantified Score

Hi-index	0.00

Visualization

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.