FeatureEffectAnalysis

An analysis plugin for KernelHaven.

Analysis components for calculating presence condtions and feature effects as proposed by Nadi, Berger, Kästner, and Czarnecki and extended by El-Sharkawy, Dhar, Krafczyk, Duszynski, Beichter, and Schmid.

Usage

Place FeatureEffectAnalysis.jar in the plugins folder of KernelHaven.

The following analysis components can be used as part of a ConfiguredPipelineAnalysis:

• net.ssehub.kernel_haven.fe_analysis.pcs.PcFinder to calculate presence conditions for variables
• net.ssehub.kernel_haven.fe_analysis.fes.FeatureEffectFinder to calculate feature effects based on presence conditions for variables
• net.ssehub.kernel_haven.fe_analysis.fes.FeAggregator to aggregate feature effects for variables created in NonBooleanPreparation
• net.ssehub.kernel_haven.fe_analysis.fes.FeatureEffectReader to read feature effects from a file
• net.ssehub.kernel_haven.fe_analysis.config_relevancy.ConfigRelevancyChecker to check a given product configuration against feature effects

Alternatively analysis.class can be set to one of

• net.ssehub.kernel_haven.fe_analysis.fes.FeatureEffectAnalysis to detect feature effect constraints

Dependencies

In addition to KernelHaven, this plugin has the following dependencies:

• CnfUtils

License

This plugin is licensed under the Apache License 2.0.