Functional testing of feature model analysis tools: A test suite

IET Software

Volumn 5, Issue 1, 2011, Pages 70-82

  Segura, S ^a   Benavides, D ^a   Ruiz Cortes A ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS SOLUTION; AUTOMATED ANALYSIS; COMPACT REPRESENTATION; COMPLEX TASK; FEATURE MODELS; FUNCTIONAL TESTING; MUTATION TESTING; SOFTWARE PRODUCT LINE; TEST CASE; TESTING MECHANISM;

SOFTWARE DESIGN;

EQUIPMENT;

EID: 79952014115     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen.2009.0096     Document Type: Article

References (44)

1. Clements, P., and Northrop, L.: ' Software product lines: practices and patterns ', SEI series in software engineering, (Addison-Wesley, 2001)
2. Batory, D., Benavides, D., and Ruiz-Cortés, A.: ' Automated analysis of feature models: challenges ahead ', Commun. ACM, 2006, 49, (12), p. 45-47 10.1145/1183236.1183264 0001-0782 (Pubitemid 44841898)
3. Czarnecki, K., and Eisenecker, U.W.: ' Generative programming: methods, techniques and applications ', (Addison-Wesley, 2000)
4. Kang, K., Cohen, S., Hess, J., Novak, W., and Peterson, S.: ' Feature-oriented domain analysis (FODA) feasibility study ', SEI, 1990, CMU/SEI-90-TR-21
5. Benavides, D., Segura, S., and Ruiz-Cortés, A.: ' Automated analysis of feature models 20 years later: a literature review ', Inf. Syst., 2010, 35, (6), p. 615-636 10.1016/j.is.2010.01.001
6. Schobbens, P., Heymans, P., Trigaux, J., and Bontemps, Y.: ' Generic semantics of feature diagrams ', Comput. Netw., 2007, 51, (2), p. 456-479 10.1016/j.comnet.2006.08.008 (Pubitemid 44708818)
7. Batory, D.: ' Feature models, grammars, and propositional formulas ', Software Product Lines Conf., 2005, p. 7-20, (LNCS, 3714)
8. Czarnecki, K., and Kim, P.: ' Cardinality-based feature modeling and constraints: a progress report ', Proc. Int. Workshop on Software Factories at OOPSLA 2005, 2005
9. Gheyi, R., Massoni, T., and Borba, P.: ' A theory for feature models in alloy ', Proc. ACM SIGSOFY first alloy workshop, Portland, USA, 2006, p. 71-80, available at: http://alloy.mit.edu/workshop/programme.html
10. Mannion, M., and Camara, J.: ' Theorem proving for product line model verification ', Software Product-family Engineering (PFE), Springer Berlin, Heidelberg, 2003, (LNCS, 263), pp. 211-224, available at: http://www. springerlink.com/content/m0k40djlmmxx8vtp/
11. Mendonça, M., Wasowski, A., and Czarnecki, K.: ' SAT-based analysis of feature models is easy ', Proc. Software Product Line Conf., 2009
12. van der Storm, T.: ' Generic feature-based software composition ', Software Composition, 2007), (LNCS, 4829), p. 66-80
13. Zhang, W., Mei, H., and Zhao, H.: ' Feature-driven requirement dependency analysis and high-level software design ', Requir. Eng., 2006, 11, (3), p. 205-220, available at: http://www.springerlink.com/content/v1648q73m788q71x/ 10.1007/s00766-006-0033-x 0947-3602 (Pubitemid 43881237)
14. Benavides, D., Ruiz-Cortés, A., and Trinidad, P.: ' Automated reasoning on feature models ', 17th, Int. Conf. Advanced Information Systems Engineering, CAiSE 2005, 2005, p. 491-503, (LNCS, 3520) (Pubitemid 41336123)
15. Trinidad, P., Benavides, D., Durán, A., Ruiz-Cortés, A., and Toro, M.: ' Automated error analysis for the agilization of feature modeling ', J. Syst. Softw., 2008, 81, (6), p. 883-896 10.1016/j.jss.2007.10.030 0164-1212 (Pubitemid 351522340)
16. White, J., Schmidt, D., Trinidad, D.B.P., and Ruiz-Cortés: ' Automated diagnosis of product-line configuration errors in feature models ', Proc. 12th Software Product Line Conf. (SPLC'08), Limerick, Ireland, 2008
17. Fan, S., and Zhang, N.: ' Feature model based on description logics ', Knowledge-Based Intelligent Information and Engineering Systems, 2006, available at: http://dx.doi.org/10.1007/11893004-145
18. Wang, H., Li, Y.F., un, J., Zhang, H., and Pan, J.: ' Verifying feature models using OWL ', J. Web Semant., 2007, 5, p. 117-129, available at: http://dx.doi.org/10.1016/j.websem.2006.11.006 (Pubitemid 46856276)
19. van Deursen, A., and Klint, P.: ' Domain-specific language design requires feature descriptions ', J. Comput. Inf. Technol., 2002, 10, (1), p. 1-17 10.2498/cit.2002.01.01
20. van den Broek, P., and Galvao, I.: ' Analysis of feature models using generalised feature trees ', Third Int. Workshop on Variability Modelling of Software-intensive Systems, No. 29 in ICBResearch Report, Universität Duisburg-Essen, Essen, Germany, 2009, p. 29-35, available at: http://www.vamos-workshop.net/proceedings/VaMoS-2009-Proceedings.pdf
21. Fernandez-Amoros, D., Heradio, R., and Cerrada, J.: ' Inferring information from feature diagrams to product line economic models ', Proc. Software Product Line Conf., 2009
22. AHEAD Tool Suite: http://www.cs.utexas.edu/users/schwartz/ATS.html, accessed November 2009
23. Benavides, D., Trinidad, P., Segura, S., and Ruiz-Cortés, A.: ' FaMa framework ', http://www.isa.us.es/fama/
24. Feature Modeling Plug-in: http://gp.uwaterloo.ca/fmp/, accessed November 2009
25. pure::variants: http://www.pure-systems.com/, accessed November 2009
26. Beizer, B.: ' Software testing techniques ', 2nd (Van Nostrand Reinhold Co., New York, NY, USA, 1990)
27. Myers, G.J., and Sandler, C.: ' The art of software testing ', (John Wiley & Sons, 2004)
28. Pressman, R.S.: ' Software engineering: a practitioner's approach ', 5th (McGrap-Hill, 2001)
29. Copeland, L.: ' A practitioner's guide to software test design ', (Artech House, Inc., Norwood, MA, USA, 2003)
30. Segura, S., Hierons, R.M., Benavides, D., and Ruiz-Cortés, A.: ' Automated test data generation on the analyses of feature models: a metamorphic testing approach ', Int. Conf. on Software Testing, Verification and Validation, 2010, p. 35-44
31. Segura, S., Benavides, D., and Ruiz-Cortés, A.: ' Functional testing of feature model analysis tools. A first step ', Fifth Software Product Lines Testing Workshop (SPLiT 2008). SPLC'08, Limerick, Ireland, 2008
32. Benavides, D.: ' On the automated analyisis of software product lines using feature models ', A Framework for Developing Automated Tool Support, (University of Seville, 2007)
33. Trinidad, P., and Ruiz-Cortés, A.: ' Abductive reasoning and automated analysis of feature models: how are they connected? ', Proc. Third Int. Workshop on Variability Modelling of Software-Intensive Systems, 2009, p. 145-153, available at: http://www.vamos-workshop.net/proceedings/VaMoS-2009- Proceedings.pdf
34. Grindal, M., Offutt, J., and Andler, S.F.: ' Combination testing strategies: a survey ', Softw. Test. Verif. Reliab., 2005, 15, (3), p. 167-199, available at: http://dx.doi.org/10.1002/stvr.319 10.1002/stvr.319 0960-0833 (Pubitemid 41320808)
35. Draft IEEE Standard for software and system test documentation (Revision of IEEE 829-1998), 2007, available at: http://ieeexplore.ieee.org/xpls/abs/-all. jsp?arnumber=4432350
36. Segura, S., Benavides, D., and Ruiz-Cortés, A.: ' FaMa test suite v1.2 ', ISA Research Group, 2010, ISA-10-TR-01, available at: http://www.isa.us.es/
37. DeMillo, R.A., Lipton, R.J., and Sayward, F.G.: ' Hints on test data selection: help for the practicing programmer ', IEEE Comput., 1978, 11, (4), p. 34-41
38. Cetina, C., Fons, J., and Pelechano, V.: ' Moskitt feature modeler ', http://www.pros.upv.es/mfm, accessed November 2009
39. Sat4j: http://www.sat4j.org/, accessed November 2009
40. JavaBDD: http://javabdd.sourceforge.net/, accessed November 2009
41. JaCoP: http://jacop.osolpro.com/, accessed November 2009
42. Smith, B.H., and Williams, L.: ' On guiding the augmentation of an automated test suite via mutation analysis ', Empir. Softw. Eng., 2009, 14, (3), p. 341-369 10.1007/s10664-008-9083-7 1382-3256
43. Ma, Y.S., and Offutt, J.: ' Description of method-level mutation operators for Java ', http://cs.gmu.edu/~offutt/mujava/mutopsMethod.pdf, 2005, accessed 2/10/2009
44. JUnit: http://www.junit.org/, accessed November 2009