Abstract
Variability management includes a set of techniques and methods for defining, modeling, implementing and testing variabilities within the development of a Software Product Line (SPL). Within the testing activity, several approaches have proposed novel techniques for automatic analysis of variability models. However, in spite of the research community has reached some consensus about the base scenarios that should be evaluated, the large number of modeling approaches makes that the way of evaluating those scenarios is still extensively researched.
In this work we propose the SeVaTax process which takes variability models based on orthogonal variability model (OVM) primitives as inputs, and generates a formal model representation. Then, it uses a SAT-based solver for analyzing a wide set of validation scenarios and provides a different level of responses, even proposing some specific actions for correcting the models. Finally, we compare our proposal to others in the literature, based on the supported validations.
This work is partially supported by the UNComa project 04/F009 “Reuso de Software orientado a Dominios - Parte II” part of the program “Desarrollo de Software Basado en Reuso - Parte II”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
- 4.
Common services are services that will be part of every product derived from the SPL.
References
Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005). https://doi.org/10.1007/11554844_3
Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615–636 (2010). https://doi.org/10.1016/j.is.2010.01.001
Braun, G., Pol’la, M., Buccella, A., Cecchi, L., Fillottrani, P., Cechich, A.: A DL semantics for reasoning over ovm-based variability models. In: Proceedings of the 30th International Workshop on Description Logics, vol. 1879, July 2017
Brisaboa, N.R., Cortiñas, A., Luaces, M.R., Pol’la, M.: A reusable software architecture for geographic information systems based on software product line engineering. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 320–331. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23781-7_26
Buccella, A., Cechich, A., Pol’la, M., Arias, M., Doldan, S., Morsan, E.: Marine ecology service reuse through taxonomy-oriented SPL development. Comput. Geosci. 73, 108–121 (2014)
Buccella, A., Cechich, A., Arias, M., Pol’la, M., del Socorro Doldan, M., Morsan, E.: Towards systematic software reuse of gis: insights from a case study. Comput. Geosci. 54, 9–20 (2013). http://www.sciencedirect.com/science/article/pii/S0098300412003913
Frantz, F.R., Benavides Cuevas, D.F., Ruiz Cortés, A.: Automated analysis of orthogonal variability models using constraint programming. In: Xv Jornadas De Ingeniería Del Software Y Bases De Datos 2010, Valencia, España (2010)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)
Kowal, M., Ananieva, S., Thüm, T.: Explaining anomalies in feature models. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, New York, NY, USA, pp. 132–143. ACM (2016). http://doi.acm.org/10.1145/2993236.2993248
Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 269–280, November 2009
von der Massen, T., Lichter, H.: Deficiencies in feature models. In: Mannisto, T., Bosch, J. (eds.) Workshop on Software Variability Management for Product Derivation - Towards Tool Support (2004)
Mazo, R., Munoz-Fernandez, J.C., Rincon, L., Salinesi, C., Tamura, G.: VariaMos: an extensible tool for engineering (dynamic) product lines. In: Proceedings of the 19th International Software Product Line Conference, pp. 374–379. ACM (2015)
Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T.: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009, New York, NY, USA, pp. 761–762. ACM (2009). http://doi.acm.org/10.1145/1639950.1640002
Metzger, A., Pohl, K., Heymans, P., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 243–253, October 2007
da Mota Silveira Neto, P.A., do Carmo Machado, I., McGregor, J.D., de Almeida, E.S., de Lemos Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol. 53(5), 407–423 (2011). https://doi.org/10.1016/j.infsof.2010.12.003
Nakajima, S.: Semi-automated diagnosis of foda feature diagram. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010, New York, NY, USA, pp. 2191–2197. ACM (2010). http://doi.acm.org/10.1145/1774088.1774550
Pol’la, M., Buccella, A., Arias, M., Cechich, A.: Sevatax: service taxonomy selection validation process for spl development. In: 2015 34th International Conference of the Chilean Computer Science Society (SCCC), pp. 1–6, November 2015
Rincon, L., Giraldo, G., Mazo, R., Salinesi, C., Diaz, D.: Method to identify corrections of defects on product line models. Electron. Notes Theor. Comput. Sci. 314, 61–81 (2015). http://www.sciencedirect.com/science/article/pii/S1571066115000286
Roos-Frantz, F., Galindo, J.A., Benavides, D., Cortés, A.R., Garcıa-Galán, J.: Automated analysis of diverse variability models with tool support. In: Jornadas de Ingenierıa del Software y de Bases de Datos (JISBD 2014), Cádiz, Spain, p. 160 (2014)
Roos-Frantz, F., Galindo, J.A., Benavides, D., Ruiz-Cortés, A.: FaMa-OVM: a tool for the automated analysis of OVMs. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, pp. 250–254. ACM (2012)
Segura, S., Benavides, D., Ruiz-Cortés, A.: Fama test suite v1. ISA Research Group, p. 41 (2010)
Sree-Kumar, A., Planas, E., Clariso, R.: Analysis of feature models using alloy: a survey. In: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 46–60 (2016). http://dx.doi.org/10.4204/EPTCS.206.5
Thüm, T., Apel, S., Kästner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 61–645 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Pol’la, M., Buccella, A., Cechich, A. (2018). Automated Analysis of Variability Models: The SeVaTax Process. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2018. ICCSA 2018. Lecture Notes in Computer Science(), vol 10963. Springer, Cham. https://doi.org/10.1007/978-3-319-95171-3_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-95171-3_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-95170-6
Online ISBN: 978-3-319-95171-3
eBook Packages: Computer ScienceComputer Science (R0)