Using a Rule-based Method for Detecting Anomalies in Software Product Line
Abdelrahman Osman Elfaki, Sim Liew Fong, P. Vijayaprasad, Md Gapar Md Johar, Johar Murad · Research Journal of Applied Sciences Engineering and Technology · 2014
This study proposes a rule based method for detecting anomalies in SPL. By anomalies we mean false-optional features and wrong cardinality. Software Product Line (SPL) is an emerging methodology for software products development. Successful software product is highly dependent on the validity of a SPL. Therefore, validation is a significant process within SPL. Anomalies are well known problems in SPL. Anomiles in SPL means dead feature, redundancy, wrong-cardinality and false-option features. In the literature, the problem of false-option features and wrong cardinality did not take the signs of attentions as a dead feature and redundancy problems. The maturity of the SPL can be enhanced by detecting and removing the false-option features. Wrong cardinality can cause problems in developing software application by preventing configuration of variants from their variation points. The contributions of this study are First Order Logic (FOL) rules for deducing false-option features and wrong-cardinality. Moreover, we provide a new classification of the wrong cardinality. As a result, all cases of false-option features and wrong variability in the domain-engineering process are defined. Finally, experiments are conducted to prove the scalability of the proposed method.