dc.creator | Galindo Duarte, José Ángel | es |
dc.creator | Turner, Hamilton | es |
dc.creator | Benavides Cuevas, David Felipe | es |
dc.creator | White, Jules | es |
dc.date.accessioned | 2017-07-21T10:49:40Z | |
dc.date.available | 2017-07-21T10:49:40Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Galindo Duarte, J.Á., Turner, H., Benavides Cuevas, D.F. y White, J. (2016). Testing variability-intensive systems using automated analysis: an application to Android. Software Quality Journal, 24 (2), 365-405. | |
dc.identifier.issn | 0963-9314 | es |
dc.identifier.uri | http://hdl.handle.net/11441/62860 | |
dc.description.abstract | Software product lines are used to develop a set of software products that, while being different, share a common set of features. Feature models are used as a compact representation of all the products (e.g., possible configurations) of the product line. The number of products that a feature model encodes may grow exponentially with the number of features. This increases the cost of testing the products within a product line. Some proposals deal with this problem by reducing the testing space using different techniques. However, a daunting challenge is to explore how the cost and value of test cases can be modeled and optimized in order to have lower-cost testing processes. In this paper, we present TESting vAriAbiLity Intensive Systems (TESALIA), an approach that uses automated analysis of feature models to optimize the testing of variability-intensive systems. We model test value and cost as feature attributes, and then we use a constraint satisfaction solver to prune, prioritize and package product line tests complementing prior work in the software product line testing literature. A prototype implementation of TESALIA is used for validation in an Android example showing the benefits of maximizing the mobile market share (the value function) while meeting a budgetary constraint. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2012-32273 | es |
dc.description.sponsorship | Junta de Andalucía TIC-5906 | es |
dc.description.sponsorship | Junta de Andalucía TIC-1867 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Software Quality Journal, 24 (2), 365-405. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Testing | es |
dc.subject | Software Product Lines | es |
dc.subject | automated analysis | es |
dc.subject | Feature models | es |
dc.subject | Android | es |
dc.title | Testing variability-intensive systems using automated analysis: an application to Android | 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 | info:eu-repo/grantAgreement/MINECO/TIN2012-32273 | es |
dc.relation.projectID | TIC-5906 | es |
dc.relation.projectID | TIC-1867 | es |
dc.relation.publisherversion | https://link.springer.com/article/10.1007%2Fs11219-014-9258-y | es |
dc.identifier.doi | 10.1007/s11219-014-9258-y | es |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | es |
idus.format.extent | 32 p. | es |
dc.journaltitle | Software Quality Journal | es |
dc.publication.volumen | 24 | es |
dc.publication.issue | 2 | es |
dc.publication.initialPage | 365 | es |
dc.publication.endPage | 405 | es |