Lightweight Testing for Configurable Systems
TAROT Summer School
Porto, Portugal
July 3, 2014
Abstract: Configurable systems are systems that can be
adjusted according to input options. These systems became
popular in industry for their ability to accomodate changes during
development. Consider, for example, the case of
GNU GCC, a large software system
that accumulates 27+ years of development: new features are often
introduced in the system to reflect evolving requirements. Testing these systems is
challenging. This talk will present main approaches for testing these
systems and ongoing related research in my group.