Locating features in dynamically configured avionics software

Maxime Ouellet, Ettore Merlo, Neset Sozen, Martin Gagnon

DOI 10.1109/icse.2012.6227068 dblp

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.

BibTeX

@inproceedings{Ouellet-al:ICSE12,
  author    = {Maxime Ouellet and
               Ettore Merlo and
               Neset Sozen and
               Martin Gagnon},
  title     = {Locating features in dynamically configured avionics software},
  booktitle = {ICSE},
  pages     = {1453--1454},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
}

Locating features in dynamically configured avionics software

Abstract

Related papers