An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation

authored by

Julio Sincero, Reinhard Tartler, Daniel Lohmann

Abstract

The C Preprocessor (CPP) provides powerful means to implement variability. Therefore the tool CPP is an important standard asset in the development toolchain for classical system software written in C. Yet, nobody has seriously quantified the effects of implementing variability with conditional compilation. In this report we describe conditional compilation in a semi-formal way. On this basis, we present an algorithm that is able to calculate the resulting variability. With this, we believe that further analysis on variability caused by preprocessor based configuration can be supported. This is useful to detect bugs caused by inconsistencies between variability models in the actual implementation and to support exploration of actually implemented variability in source artifacts.

External Organisation(s)

Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU Erlangen-Nürnberg)

Type

Technical report

Publication date

01.2010

Publication status

Published

Electronic version(s)

https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiU9Pzq18nqAhWJyKQKHXwUBFMQFjABegQIBRAB&url=https%3A%2F%2Fwww4.cs.fau.de%2FPublications%2F2010%2Fsincero_tartler_variability.pdf&usg=AOvVaw0I2HuV4z2qgCHK-t_hyUVe (Access: Unknown)