dc.creator | Segura Rueda, Sergio | es |
dc.creator | Durán Toro, Amador | es |
dc.creator | Sánchez Jerez, Ana Belén | es |
dc.creator | Le Berre, Daniel | es |
dc.creator | Lonca, Emmanuel | es |
dc.creator | Ruiz Cortés, Antonio | es |
dc.date.accessioned | 2017-05-29T08:41:29Z | |
dc.date.available | 2017-05-29T08:41:29Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Segura Rueda, S., Durán Toro, A., Sánchez Jerez, A.B., Le Berre, D., Lonca, E. y Ruiz Cortés, A. (2015). Automated metamorphic testing of variability analysis tools. Software Testing, Verification and Reliability, 25 (2), 138-163. | |
dc.identifier.issn | 0960-0833 | es |
dc.identifier.uri | http://hdl.handle.net/11441/60609 | |
dc.description.abstract | Variability determines the capability of software applications to be configured and customized. A common
need during the development of variability–intensive systems is the automated analysis of their underlying
variability models, e.g. detecting contradictory configuration options. The analysis operations that are
performed on variability models are often very complex, which hinders the testing of the corresponding
analysis tools and makes difficult, often infeasible, to determine the correctness of their outputs, i.e.
the well–known oracle problem in software testing. In this article, we present a generic approach for
the automated detection of faults in variability analysis tools overcoming the oracle problem. Our work
enables the generation of random variability models together with the exact set of valid configurations
represented by these models. These test data are generated from scratch using step–wise transformations
and assuring that certain constraints (a.k.a. metamorphic relations) hold at each step. To show the feasibility
and generalizability of our approach, it has been used to automatically test several analysis tools in three
variability domains: feature models, CUDF documents and Boolean formulas. Among other results, we
detected 19 real bugs in 7 out of the 15 tools under test. | es |
dc.description.sponsorship | CICYT TIN2012-32273 | es |
dc.description.sponsorship | CICYT IPT-2012- 0890-390000 | es |
dc.description.sponsorship | Junta de Andalucía TIC-5906 | es |
dc.description.sponsorship | Junta de Andalucía P12-TIC- 1867 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Wiley | es |
dc.relation.ispartof | Software Testing, Verification and Reliability, 25 (2), 138-163. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Metamorphic testing | es |
dc.subject | automated testing | es |
dc.subject | software testing | es |
dc.subject | software variability | es |
dc.title | Automated metamorphic testing of variability analysis tools | 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 | TIN2012-32273 | es |
dc.relation.projectID | IPT-2012- 0890-390000 | es |
dc.relation.projectID | TIC-5906 | es |
dc.relation.projectID | P12-TIC- 1867 | es |
dc.relation.publisherversion | http://onlinelibrary.wiley.com/doi/10.1002/stvr.1566/abstract | es |
dc.identifier.doi | 10.1002/stvr.1566 | es |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | es |
idus.format.extent | 26 p. | es |
dc.journaltitle | Software Testing, Verification and Reliability | es |
dc.publication.volumen | 25 | es |
dc.publication.issue | 2 | es |
dc.publication.initialPage | 138 | es |
dc.publication.endPage | 163 | es |