Abstract

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.

Keywords:

Domain engineering, software product line, variability,

References

1. Batory, D., 2005. Feature models, grammars and propositional Formulas. Proceeding of the the 9th International Software Product Lines Conference (SPLC05). Rennes, France.
   CrossRef    
2. Batory, D., D. Benavides and A. Ruiz-Cortes, 2006. Automated analysis of feature models: Challenges ahead. Commun. ACM, 49(12): 45-47.
   CrossRef    
3. Benavides, D., A. Metzger and U. Eisenecker, 2009. Main introduction of the proceeding of Third International Workshop on Variability Modeling of Software-intensive systems. Spain.
   
4. Benavides, D., S. Segura and A. Ruiz-Cortés, 2010. Automated analysis of feature models 20 years later: A literature review. Inform. Syst., 35(6): 615-636.
   CrossRef    
5. Benavides, D., A. Ruiz-Cort´es, D. Batory and P. Heymans, 2008. Main introduction of the proceeding of First International Workshop on Analyses of Software Product Lines (ASPL'08). Limerick, Ireland.
   
6. Beuche, D., H. Papajewski and W. Schröder-Preikschat, 2004. Variability management with feature models. Sci. Comput. Program., 53(3): 333-352.
   CrossRef    
7. Bosch, J., 2002. Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization. In: Chastek, G. (Ed.), Software Product Lines. Springer, Berlin, Heidelberg, pp: 257-271.
   CrossRef    
8. Czarnecki, K. and M. Antkiewicz, 2005. Mapping features to models: A template approach based on superimposed variants. Proceeding of the the 4th International Conference on Generative Programming and Component Engineering (GPCE'05). Tallinn, Estonia.
   CrossRef    PMCid:PMC4852815    
9. Czarnecki, K. and K. Pietroszek, 2006. Verifying feature-based model templates against well-formedness OCL constraints. Proceeding of the 5th International Conference on Generative Programming and Component Engineering (GPCE'06).
   CrossRef    
10. Eisenecke, U., S. Apel and S. Gnesi, 2012. Main introduction of the proceeding of Sixth International Workshop on Variability Modelling of Software-intensive Systems. Germany.
    
11. Elfaki, A., S. Phon-Amnuaisuk and C.K. Ho, 2008. Knowledge based method to validate feature models. Proceeding of the 1st International Workshop on Analyses of Software Product Lines (ASPL'08), Collocated with SPLC08. Limerick, Ireland.
    
12. Elfaki, A., S. Phon-Amnuaisuk and C. Ho, 2009a. Investigating Inconsistency Detection as a Validation Operation in Software Product Line. In: Lee, R. and N. Ishii (Eds.), Software Engineering Research, Management and Applications. Springer, Berlin, Heidelberg, pp: 159-168.
    CrossRef    
13. Elfaki, A., S. Phon-Amnuaisuk and C. Kuan Ho, 2009b. Using first order logic to validate feature model. Proceeding of the the 3rd International Workshop on Variability Modeling of Software-Intensive Systems. Sevilla, Spain.
    
14. Elfaki, A.O., S. Phon-Amnuaisuk and C.K. Ho, 2009c. Modeling variability in software product line using first order logic. Proceeding of the 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA'09). Haikou, Hainan Island, China, pp: 227-233.
    CrossRef    
15. Fan, S. and N. Zhang, 2006. Feature Model Based on Description Logics. In: Gabrys, B., R. Howlett and L. Jain (Eds.), Knowledge-Based Intelligent Information and Engineering Systems. Springer, Berlin, Heidelberg, pp: 1144-1151.
    CrossRef    PMid:16528007    
16. Heymans, P., K. Czarnecki and U. Eisenecker, 2011. Main introduction of the proceeding of Fifth International Workshop on Variability Modelling of Software-intensive Systems. Namur, Belgium.
    
17. Hotez, L. and T. Krebs, 2003. A knowledge based product derivation process and some idea how to integrate product development. Proceeding of the the Software Variability Management Workshop. Groningen, the Netherlands.
    PMCid:PMC1497529    
18. Hotz, L., A. Gunter and T. Krebs, 2003. A knowledge-based product derivation process and some ideas how to integrate product development. Proceeding of Software Variability Management Workshop, pp: 136-140.
    
19. Kang, K.C., J. Lee and P. Donohoe, 2002. Feature-oriented product line engineering. IEEE Software, 19(4): 58-65.
    CrossRef    
20. Kang, K.C., S.G. Cohen, J.A. Hess, W.E. Novak and A.S. Peterson, 1990. Feature-oriented Domain Analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, ESD-90-TR-222, Software Engineering Institute, Carnegie Mellon University.
    
21. Maßen, T. and H. Lichter, 2005. Determining the Variation Degree of Feature Models. In: Obbink, H. and K. Pohl (Eds.), Software Product Lines. Springer, Berlin, Heidelberg, pp: 82-88.
    CrossRef    
22. Mannion, M., 2002. Using first-order logic for product line model validation. Proceeding of the 2nd International Conference on Software Product Lines.
    CrossRef    
23. Pohl, K., G. Bockle and F. Van Der Linden, 2005. Software Product Line Engineering Foundations Principles and Techniques. Springer, Verlag Heidelberg, Germany.
    CrossRef    
24. Robak, S. and A. Pieczynski, 2003. Employing fuzzy logic in feature diagrams to model variability in software product-lines. Proceeding of the 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS03), pp: 305-311.
    CrossRef    
25. Segura, S., 2008. Automated analysis of feature models using atomic sets. Proceeding of the 1st International Workshop on Analyses of Software Product Lines (ASPL'08), Collocated with (SPLC08). Limerick, Ireland.
    
26. Sun, J., H. Zhang, Y. Fang and L.H. Wang, 2005. Formal semantics and verification for feature modeling. Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp: 303-312.
    
27. Svahnberg, M., J. Van Gurp and J. Bosch, 2005. A taxonomy of variability realization techniques. Software Pract. Exp., 35(8): 705-754.
    CrossRef    
28. Trinidad, P., B. David and A. Ruiz-Cort’es, 2006. Isolated features detection in feature models. Proceeding of the the Advanced Information Systems Engineering (CAiSE'06), Luxembour.
    
29. Trinidad, P., D. Benavides, A. Dura’n, A. Ruiz-Cortes and M. Toro, 2008a. Automated error analysis for the agilization of feature modeling 2008. J. Syst. Software, 81(6): 883-896.
    CrossRef    
30. Trinidad, P., D. Benavides, A. Ruiz-Cort´es, S. Segura and A. Jimenez, 2008b. FAMA framework. Proceeding of the 12th Software Product Lines Conference (SPLC08).
    CrossRef    
31. Wang, H.H., Y.F. Li, J. Sun, H. Zhang and J. Pan, 2007. Verifying feature models using OWL. Web Semantics: Sci. Serv. Agents World Wide Web, 5(2): 117-129.
    CrossRef    
32. White, J., D. Schmidt, D. Benvides, P. Trinidad and A. Ruiz-Cortes, 2008. Automated diagnosis of product line configuration errors on feature models. Proceeding of the 12th International Conference of Software Product Line. Limerick, Irland.
    CrossRef    
33. Yan, H., W. Zhang, H. Zhao and H. Mei, 2009. An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. In: Edwards, S. and G. Kulczycki (Eds.), Formal Foundations of Reuse and Domain Engineering. Springer, Berlin, Heidelberg, pp: 65-75.
    CrossRef    
34. Zhang, W., H. Zhao and H. Mei, 2004. A propositional logic-based method for verification of feature models. Proceeding of the the 6th International Conference on Formal Engineering Methods (ICFEM 04).
    CrossRef    

Competing interests

The authors have no competing interests.

Open Access Policy

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Copyright

The authors have no competing interests.