As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
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.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.