dc.creator | Segura Rueda, Sergio | es |
dc.creator | Hierons, Robert M. | es |
dc.creator | Benavides Cuevas, David Felipe | es |
dc.creator | Ruiz Cortés, Antonio | |
dc.date.accessioned | 2015-04-17T11:02:38Z | |
dc.date.available | 2015-04-17T11:02:38Z | |
dc.date.issued | 2011 | es |
dc.identifier.citation | Segura Rueda, S., Hierons, R.M., Benavides Cuevas, D.F. y Ruiz Cortés, A. (2011). Automated Metamorphic Testing on the Analyses of Feature Models. Information and Software Technology, 53 (3), 245-258. | |
dc.identifier.issn | 0950-5849 | es |
dc.identifier.uri | http://hdl.handle.net/11441/24586 | |
dc.description.abstract | Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated
extraction of information from FMs is a complex task that involves numerous analysis operations,
techniques and tools. Current testing methods in this context are manual and rely on the ability of the
tester to decide whether the output of an analysis is correct. However, this is acknowledged to be timeconsuming,
error-prone and in most cases infeasible due to the combinatorial complexity of the analyses,
this is known as the oracle problem.
Objective. In this paper, we propose using metamorphic testing to automate the generation of test
data for feature model analysis tools overcoming the oracle problem. An automated test data generator
is presented and evaluated to show the feasibility of our approach.
Method. We present a set of relations (so-called metamorphic relations) between input FMs and the
set of products they represent. Based on these relations and given a FM and its known set of products,
a set of neighbouring FMs together with their corresponding set of products are automatically generated
and used for testing multiple analyses. Complex FMs representing millions of products can be efficiently
created by applying this process iteratively.
Results. Our evaluation results using mutation testing and real faults reveal that most faults can be
automatically detected within a few seconds. Two defects were found in FaMa and another two in
SPLOT, two real tools for the automated analysis of feature models. Also, we show how our generator
outperforms a related manual suite for the automated analysis of feature models and how this suite can
be used to guide the automated generation of test cases obtaining important gains in efficiency.
Conclusion. Our results show that the application of metamorphic testing in the domain of automated
analysis of feature models is efficient and effective in detecting most faults in a few seconds without the need for the human oracle. | |
dc.description.sponsorship | CICYT SETI TIN2009-07366 | |
dc.description.sponsorship | Junta de Andalucía ISABEL TIC-2533 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Information and Software Technology, 53 (3), 245-258. | |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | es |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | es |
dc.subject | Metamorphic testing | eng |
dc.subject | Test data generation | eng |
dc.subject | Mutation testing | eng |
dc.subject | Feature models | eng |
dc.subject | Automated analysis | eng |
dc.subject | Product lines | eng |
dc.title | Automated Metamorphic Testing on the Analyses of Feature Models | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | SETI TIN2009-07366 | |
dc.relation.projectID | ISABEL TIC-2533 | |
dc.relation.publisherversion | http://dx.doi.org/10.1016/j.infsof.2010.11.002 | |
dc.identifier.doi | 10.1016/j.infsof.2010.11.002 | |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | |
dc.journaltitle | Information and Software Technology | es |
dc.publication.volumen | 53 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 245 | es |
dc.publication.endPage | 258 | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/24586 | |
dc.contributor.funder | Comisión Interministerial de Ciencia y Tecnología (CICYT). España | |
dc.contributor.funder | Junta de Andalucía | |