FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis.

The increasing size and complexity of feature models (FMs) can trigger anomalies or faults, challenging stakeholders in keeping FMs consistent with the domain requirements. Existing quality assurance tools do not provide advanced techniques to point out possibilities to adapt an FM for consistency recovery. In this paper, we present FMTESTING, which is a plug-in for FEATUREIDE, an ECLIPSE-based IDE supporting different phases of feature-oriented software development. FMTESTING is capable of automatically generating property-based test cases based on six different types of FM analysis operations. Furthermore, for violated test cases, diagnoses are provided to precisely indicate faulty FM elements (constraints) that should be adapted to restore consistency. Our tool provides user interfaces inside FEATUREIDE to ensure convenient use, even for users who are not domain experts.