2014 |
Lopez-Herrejon, Roberto E; Ferrer, Javier; Chicano, Francisco; Linsbauer, Lukas; Egyed, Alexander; Alba, Enrique A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines Journal Article ArXiv, 2014. Abstract | Links | BibTeX | Tags: Testing Funcional @article{Lopez-Herrejon2014c, title = {A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines}, author = {Roberto E Lopez-Herrejon and Javier Ferrer and Francisco Chicano and Lukas Linsbauer and Alexander Egyed and Enrique Alba}, url = {http://arxiv.org/abs/1406.2823}, year = {2014}, date = {2014-06-01}, journal = {ArXiv}, abstract = {Search Based Software Engineering (SBSE) is an emerging discipline that focuses on the application of search-based optimization techniques to software engineering problems. The capacity of SBSE techniques to tackle problems involving large search spaces make their application attractive for Software Product Lines (SPLs). In recent years, several publications have appeared that apply SBSE techniques to SPL problems. In this paper, we present the results of a systematic mapping study of such publications. We identified the stages of the SPL life cycle where SBSE techniques have been used, what case studies have been employed and how they have been analysed. This mapping study revealed potential venues for further research as well as common misunderstanding and pitfalls when applying SBSE techniques that we address by providing a guideline for researchers and practitioners interested in exploiting these techniques.}, keywords = {Testing Funcional}, pubstate = {published}, tppubtype = {article} } Search Based Software Engineering (SBSE) is an emerging discipline that focuses on the application of search-based optimization techniques to software engineering problems. The capacity of SBSE techniques to tackle problems involving large search spaces make their application attractive for Software Product Lines (SPLs). In recent years, several publications have appeared that apply SBSE techniques to SPL problems. In this paper, we present the results of a systematic mapping study of such publications. We identified the stages of the SPL life cycle where SBSE techniques have been used, what case studies have been employed and how they have been analysed. This mapping study revealed potential venues for further research as well as common misunderstanding and pitfalls when applying SBSE techniques that we address by providing a guideline for researchers and practitioners interested in exploiting these techniques. |
Lopez-Herrejon, Roberto E; Ferrer, Javier; Chicano, Francisco; Haslinger, Evelyn Nicole; Egyed, Alexander; Alba, Enrique Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines Journal Article ArXiv, 2014. Abstract | Links | BibTeX | Tags: Testing Funcional @article{Lopez-Herrejon2014, title = {Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines}, author = {Roberto E Lopez-Herrejon and Javier Ferrer and Francisco Chicano and Evelyn Nicole Haslinger and Alexander Egyed and Enrique Alba}, url = {http://arxiv.org/abs/1401.5367}, year = {2014}, date = {2014-01-01}, journal = {ArXiv}, abstract = {As Software Product Lines (SPLs) are becoming a more pervasive development practice, their effective testing is becoming a more important concern. In the past few years many SPL testing approaches have been proposed, among them, are those that support Combinatorial Interaction Testing (CIT) whose premise is to select a group of products where faults, due to feature interactions, are more likely to occur. Many CIT techniques for SPL testing have been put forward; however, no systematic and comprehensive comparison among them has been performed. To achieve such goal two items are important: a common benchmark of feature models, and an adequate comparison framework. In this research-in-progress paper, we propose 19 feature models as the base of a benchmark, which we apply to three different techniques in order to analyze the comparison framework proposed by Perrouin et al. We identify the shortcomings of this framework and elaborate alternatives for further study.}, keywords = {Testing Funcional}, pubstate = {published}, tppubtype = {article} } As Software Product Lines (SPLs) are becoming a more pervasive development practice, their effective testing is becoming a more important concern. In the past few years many SPL testing approaches have been proposed, among them, are those that support Combinatorial Interaction Testing (CIT) whose premise is to select a group of products where faults, due to feature interactions, are more likely to occur. Many CIT techniques for SPL testing have been put forward; however, no systematic and comprehensive comparison among them has been performed. To achieve such goal two items are important: a common benchmark of feature models, and an adequate comparison framework. In this research-in-progress paper, we propose 19 feature models as the base of a benchmark, which we apply to three different techniques in order to analyze the comparison framework proposed by Perrouin et al. We identify the shortcomings of this framework and elaborate alternatives for further study. |
2013 |
Ferrer, Javier; Garcia-Nieto, Jose; Alba, Enrique; Chicano, Francisco Validación Inteligente para la Sincronización de Semáforos Basada en Feature Models Inproceedings IX Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'13), 2013. Abstract | Links | BibTeX | Tags: Metaheurísticas, Modelos de Características, Pairwise Testing, Priorización, Semáforos, Testing Funcional, Tráfico - Regulación - Automatización @inproceedings{Ferrer2013, title = {Validación Inteligente para la Sincronización de Semáforos Basada en Feature Models}, author = {Javier Ferrer and Jose Garcia-Nieto and Enrique Alba and Francisco Chicano}, url = {http://riuma.uma.es/xmlui/handle/10630/5634}, year = {2013}, date = {2013-01-01}, booktitle = {IX Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'13)}, abstract = {Ministerio de Economía y Competitividad y FEDER: TIN2011-28194, BES-2012-055967 y BES-2009-018767}, keywords = {Metaheurísticas, Modelos de Características, Pairwise Testing, Priorización, Semáforos, Testing Funcional, Tráfico - Regulación - Automatización}, pubstate = {published}, tppubtype = {inproceedings} } Ministerio de Economía y Competitividad y FEDER: TIN2011-28194, BES-2012-055967 y BES-2009-018767 |
2012 |
Ferrer, Javier; Kruse, Peter M; Chicano, Francisco; Alba, Enrique Evolutionary algorithm for prioritized pairwise test data generation Inproceedings Soule, Terence; Moore, Jason H (Ed.): łdots on Genetic and evolutionary łdots, pp. 1213–1220, ACM, New York, New York, USA, 2012, ISBN: 978-1-4503-1177-9. Abstract | Links | BibTeX | Tags: combinatorial testing, evolutionary algorithm, pair-, pairwise coverage, prioritization, search based soft-, search based software engineering, software testing, Testing Funcional, ware engineering @inproceedings{DBLP:conf/gecco/FerrerKCA12, title = {Evolutionary algorithm for prioritized pairwise test data generation}, author = {Javier Ferrer and Peter M Kruse and Francisco Chicano and Enrique Alba}, editor = {Terence Soule and Jason H Moore}, url = {http://dl.acm.org/citation.cfm?id=2330163.2330331 http://dl.acm.org/citation.cfm?doid=2330163.2330331 http://dl.acm.org/citation.cfm?id=2330331}, doi = {10.1145/2330163.2330331}, isbn = {978-1-4503-1177-9}, year = {2012}, date = {2012-07-01}, booktitle = {łdots on Genetic and evolutionary łdots}, pages = {1213--1220}, publisher = {ACM}, address = {New York, New York, USA}, abstract = {Combinatorial Interaction Testing (CIT) is a technique used to discover faults caused by parameter interactions in highly configurable systems. These systems tend to be large and exhaustive testing is generally impractical. Indeed, when the resources are limited, prioritization of test cases is a must. Important test cases are assigned a high priority and should be executed earlier. On the one hand, the prioritization of test cases may reveal faults in early stages of the testing phase. But, on the other hand the generation of minimal test suites that fulfill the demanded coverage criteria is an NP-hard problem. Therefore, search based approaches are required to find the (near) optimal test suites. In this work we present a novel evolutionary algorithm to deal with this problem. The experimental analysis compares five techniques on a set of benchmarks. It reveals that the evolutionary approach is clearly the best in our comparison. The presented algorithm can be integrated into CTE XL professional tool.}, keywords = {combinatorial testing, evolutionary algorithm, pair-, pairwise coverage, prioritization, search based soft-, search based software engineering, software testing, Testing Funcional, ware engineering}, pubstate = {published}, tppubtype = {inproceedings} } Combinatorial Interaction Testing (CIT) is a technique used to discover faults caused by parameter interactions in highly configurable systems. These systems tend to be large and exhaustive testing is generally impractical. Indeed, when the resources are limited, prioritization of test cases is a must. Important test cases are assigned a high priority and should be executed earlier. On the one hand, the prioritization of test cases may reveal faults in early stages of the testing phase. But, on the other hand the generation of minimal test suites that fulfill the demanded coverage criteria is an NP-hard problem. Therefore, search based approaches are required to find the (near) optimal test suites. In this work we present a novel evolutionary algorithm to deal with this problem. The experimental analysis compares five techniques on a set of benchmarks. It reveals that the evolutionary approach is clearly the best in our comparison. The presented algorithm can be integrated into CTE XL professional tool. |
2014 |
A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines Journal Article ArXiv, 2014. |
Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines Journal Article ArXiv, 2014. |
2013 |
Validación Inteligente para la Sincronización de Semáforos Basada en Feature Models Inproceedings IX Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'13), 2013. |
2012 |
Evolutionary algorithm for prioritized pairwise test data generation Inproceedings Soule, Terence; Moore, Jason H (Ed.): łdots on Genetic and evolutionary łdots, pp. 1213–1220, ACM, New York, New York, USA, 2012, ISBN: 978-1-4503-1177-9. |