Combinatorial interaction testing tools for software product lines engineering: a comparative analysis
Ano de defesa: | 2018 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | , |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | eng |
Instituição de defesa: |
Universidade Federal da Bahia
Instituto de Matemática e Estatística Departamento de Ciência da Computação |
Programa de Pós-Graduação: |
em Ciência da Computação
|
Departamento: |
Não Informado pela instituição
|
País: |
brasil
|
Palavras-chave em Português: | |
Área do conhecimento CNPq: | |
Link de acesso: | http://repositorio.ufba.br/ri/handle/ri/33544 |
Resumo: | Testing a system is a routine activity and plays an important role in the software quality assurance process. However, testing highly-configurable systems, such as Software Product Lines (SPL), is a complex activity due to the presence of variability in its engineering process, which increases the number of product configurations to test. In case a defect affects one (or a subset) of these functionalities, a range of products (and not just one, such as in traditional Software Engineering, in which each product is built from scratch) may be affected. Such complexity also implies a significant increase in the cost of testing. The use of tool-supported sampling testing techniques could bring significant contributions to achieve reductions in such a cost. Among the most effective techniques, Combinatorial Interaction Testing (CIT) has been used extensively to sample inputs to software, and to test highly-configurable software systems. CIT is based on the premise that many errors in software can only arise from the interaction of two or more parameters. CIT take as input a configuration model that defines the valid configuration space for the software under test. This model typically includes a set of configuration options, each of which takes a value from a small number of discrete settings, and a set of system-wide constraints among configuration options. Given the model, these methods compute a t-way covering array - a set of configurations, in which each valid combination of option settings for every combination of t options appears at least once. The system is then tested by running its test suite in all the configurations selected. In this investigation, we aimed to analyze the effectiveness of existing tool support for CIT. To accomplish ou goal, we introduced the MERCI - a Method to Evaluate Combinatory Interaction Testing techniques, aimed to establish a systematic means to evaluate the adequacy of existing CIT tools for highly-configurable systems testing. In this work, we performed an empirical evaluation to compare four CIT tools: ACTS, CATS, PICTMaster and VPTag. The analysis considered the metrics defect detection, test coverage and test execution length. The yielded results show that the method could be employed as a good mechanism to evaluate how CIT tools could behave in a practical SPL testing scenario. |
id |
UFBA-2_41b0b5f60ef10d3302bc4384ed9ebdb6 |
---|---|
oai_identifier_str |
oai:repositorio.ufba.br:ri/33544 |
network_acronym_str |
UFBA-2 |
network_name_str |
Repositório Institucional da UFBA |
repository_id_str |
|
spelling |
Silva, Denivan do Carmo Campos daSilva, Denivan do Carmo Campos daMachado, Ivan do CarmoAssunção, Wesley Klewerton GuêzSouza, Rodrigo Rocha Gomes e2021-06-10T22:39:48Z2021-06-10T22:39:48Z2021-06-102018-11-28http://repositorio.ufba.br/ri/handle/ri/33544Testing a system is a routine activity and plays an important role in the software quality assurance process. However, testing highly-configurable systems, such as Software Product Lines (SPL), is a complex activity due to the presence of variability in its engineering process, which increases the number of product configurations to test. In case a defect affects one (or a subset) of these functionalities, a range of products (and not just one, such as in traditional Software Engineering, in which each product is built from scratch) may be affected. Such complexity also implies a significant increase in the cost of testing. The use of tool-supported sampling testing techniques could bring significant contributions to achieve reductions in such a cost. Among the most effective techniques, Combinatorial Interaction Testing (CIT) has been used extensively to sample inputs to software, and to test highly-configurable software systems. CIT is based on the premise that many errors in software can only arise from the interaction of two or more parameters. CIT take as input a configuration model that defines the valid configuration space for the software under test. This model typically includes a set of configuration options, each of which takes a value from a small number of discrete settings, and a set of system-wide constraints among configuration options. Given the model, these methods compute a t-way covering array - a set of configurations, in which each valid combination of option settings for every combination of t options appears at least once. The system is then tested by running its test suite in all the configurations selected. In this investigation, we aimed to analyze the effectiveness of existing tool support for CIT. To accomplish ou goal, we introduced the MERCI - a Method to Evaluate Combinatory Interaction Testing techniques, aimed to establish a systematic means to evaluate the adequacy of existing CIT tools for highly-configurable systems testing. In this work, we performed an empirical evaluation to compare four CIT tools: ACTS, CATS, PICTMaster and VPTag. The analysis considered the metrics defect detection, test coverage and test execution length. The yielded results show that the method could be employed as a good mechanism to evaluate how CIT tools could behave in a practical SPL testing scenario.Testar um sistema é uma atividade rotineira e desempenha um papel importante no pro cesso de garantia de qualidade do software. Entretanto, o teste de sistemas altamente configuráveis, como as Linhas de Produto de Software (LPS), é uma atividade complexa, devido á presença de variabilidade em seu processo de engenharia, que aumenta o número de configurações de produto a se testar. Caso um defeito afete um (ou um subconjunto) destas funcionalidades, uma gama de produtos (e não apenas um, como é o caso da Engenharia de Software tradicional) será afetada. Tal complexidade implica ainda no aumento significativo do custo da atividade de testes. O uso de técnicas de teste de amostragem apoiadas por suporte ferramental podem trazer contribuições significativas para alcançar reduções de custo. Dentre as técnicas mais eficazes, destaca-se o teste de interação combinatória (CIT), que tem sido usado extensivamente para prover amostras de entradas no teste de sistemas de software altamente configuráveis. O CIT baseia-se na premissa de que muitos erros no software só podem surgir da interação de dois ou mais parâmetros. O CIT toma como entrada um modelo de configuração que define o espaço de configuração válido para o software em teste. Esse modelo geralmente inclui um conjunto de opções de configuração, cada uma delas obtendo um valor de um pequeno número de configurações discretas e um conjunto de restrições de todo o sistema entre as opções de configuração. Dado o modelo, esses métodos calculam uma matriz de abrangência t - um conjunto de configurações, no qual cada combinação válida de configurações de opção para cada combinação de opções aparece pelo menos uma vez. O sistema é então testado executando seu conjunto de testes em todas as configurações selecionadas. Esta dissertação apresenta o MERCI, um método para avaliar técnicas de teste de interação combinatória. O objetivo do MERCI é avaliar a adequação das ferra mentas de CIT existentes, amplamente empregadas no teste de software tradicional, para a engenharia de LPS. Neste trabalho, realizamos uma avaliação empírica para comparar quatro ferramentas de CIT: ACTS, CATS, PICTMaster e VPTag. A análise considerou as métricas de detecção de defeitos, cobertura de testes e tempo de execução dos testes. Os resultados mostraram que o método pode servir como um bom indicador para avaliar como as ferramentas CIT poderiam se comportar em um cenário prático de testes de projetos LPS.Submitted by Denivan Campos (dhennya@gmail.com) on 2021-04-12T17:44:17Z No. of bitstreams: 1 Denivan_Campos_Dissertação.pdf: 1251423 bytes, checksum: a26761be2a3c902155f6fb9144dd5d26 (MD5)Approved for entry into archive by Solange Rocha (soluny@gmail.com) on 2021-06-10T22:39:48Z (GMT) No. of bitstreams: 1 Denivan_Campos_Dissertação.pdf: 1251423 bytes, checksum: a26761be2a3c902155f6fb9144dd5d26 (MD5)Made available in DSpace on 2021-06-10T22:39:48Z (GMT). No. of bitstreams: 1 Denivan_Campos_Dissertação.pdf: 1251423 bytes, checksum: a26761be2a3c902155f6fb9144dd5d26 (MD5)Fundação de Amparo a Pesquisa do Estado da Bahia (FAPESB)Ciência exatas e da TerraCiência da ComputaçãoMetodologia e Técnicas da ComputaçãoEngenharia de SoftwareSoftware Product Lines (SPL)Combinatorial Interaction Testing (CTI)Empirical Software EngineeringSoftwareEngenharia de softwareCombinatorial interaction testing tools for software product lines engineering: a comparative analysisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal da BahiaInstituto de Matemática e EstatísticaDepartamento de Ciência da Computaçãoem Ciência da ComputaçãoUFBAbrasilinfo:eu-repo/semantics/openAccessengreponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBAORIGINALDenivan_Campos_Dissertação.pdfDenivan_Campos_Dissertação.pdfapplication/pdf1251423https://repositorio.ufba.br/bitstream/ri/33544/1/Denivan_Campos_Disserta%c3%a7%c3%a3o.pdfa26761be2a3c902155f6fb9144dd5d26MD51LICENSElicense.txtlicense.txttext/plain1442https://repositorio.ufba.br/bitstream/ri/33544/2/license.txt817035eff4c4c7dda1d546e170ee2a1aMD52TEXTDenivan_Campos_Dissertação.pdf.txtDenivan_Campos_Dissertação.pdf.txtExtracted texttext/plain175210https://repositorio.ufba.br/bitstream/ri/33544/3/Denivan_Campos_Disserta%c3%a7%c3%a3o.pdf.txt57e77ea7fd721455af8ff48ed7a39eddMD53ri/335442022-07-05 14:04:11.592oai:repositorio.ufba.br:ri/33544VGVybW8gZGUgTGljZW7vv71hLCBu77+9byBleGNsdXNpdm8sIHBhcmEgbyBkZXDvv71zaXRvIG5vIFJlcG9zaXTvv71yaW8gSW5zdGl0dWNpb25hbCBkYSBVRkJBLgoKIFBlbG8gcHJvY2Vzc28gZGUgc3VibWlzc8ODwqNvIGRlIGRvY3VtZW50b3MsIG8gYXV0b3Igb3Ugc2V1IHJlcHJlc2VudGFudGUgbGVnYWwsIGFvIGFjZWl0YXIgZXNzZSB0ZXJtbyBkZSBsaWNlbsODwqdhLCBjb25jZWRlIGFvIFJlcG9zaXTDg8KzcmlvIEluc3RpdHVjaW9uYWwgZGEgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGEgQmFoaWEgbyBkaXJlaXRvIGRlIG1hbnRlciB1bWEgY8ODwrNwaWEgZW0gc2V1IHJlcG9zaXTDg8KzcmlvIGNvbSBhIGZpbmFsaWRhZGUsIHByaW1laXJhLCBkZSBwcmVzZXJ2YcODwqfDg8Kjby4gCgpFc3NlcyB0ZXJtb3MsIG7Dg8KjbyBleGNsdXNpdm9zLCBtYW50w4PCqW0gb3MgZGlyZWl0b3MgZGUgYXV0b3IvY29weXJpZ2h0LCBtYXMgZW50ZW5kZSBvIGRvY3VtZW50byBjb21vIHBhcnRlIGRvIGFjZXJ2byBpbnRlbGVjdHVhbCBkZXNzYSBVbml2ZXJzaWRhZGUuCgogUGFyYSBvcyBkb2N1bWVudG9zIHB1YmxpY2Fkb3MgY29tIHJlcGFzc2UgZGUgZGlyZWl0b3MgZGUgZGlzdHJpYnVpw4PCp8ODwqNvLCBlc3NlIHRlcm1vIGRlIGxpY2Vuw4PCp2EgZW50ZW5kZSBxdWU6CgogTWFudGVuZG8gb3MgZGlyZWl0b3MgYXV0b3JhaXMsIHJlcGFzc2Fkb3MgYSB0ZXJjZWlyb3MsIGVtIGNhc28gZGUgcHVibGljYcODwqfDg8K1ZXMsIG8gcmVwb3NpdMODwrNyaW8gcG9kZSByZXN0cmluZ2lyIG8gYWNlc3NvIGFvIHRleHRvIGludGVncmFsLCBtYXMgbGliZXJhIGFzIGluZm9ybWHDg8Knw4PCtWVzIHNvYnJlIG8gZG9jdW1lbnRvIChNZXRhZGFkb3MgZGVzY3JpdGl2b3MpLgoKIERlc3RhIGZvcm1hLCBhdGVuZGVuZG8gYW9zIGFuc2Vpb3MgZGVzc2EgdW5pdmVyc2lkYWRlIGVtIG1hbnRlciBzdWEgcHJvZHXDg8Knw4PCo28gY2llbnTDg8KtZmljYSBjb20gYXMgcmVzdHJpw4PCp8ODwrVlcyBpbXBvc3RhcyBwZWxvcyBlZGl0b3JlcyBkZSBwZXJpw4PCs2RpY29zLgoKIFBhcmEgYXMgcHVibGljYcODwqfDg8K1ZXMgc2VtIGluaWNpYXRpdmFzIHF1ZSBzZWd1ZW0gYSBwb2zDg8KtdGljYSBkZSBBY2Vzc28gQWJlcnRvLCBvcyBkZXDDg8Kzc2l0b3MgY29tcHVsc8ODwrNyaW9zIG5lc3NlIHJlcG9zaXTDg8KzcmlvIG1hbnTDg8KpbSBvcyBkaXJlaXRvcyBhdXRvcmFpcywgbWFzIG1hbnTDg8KpbSBhY2Vzc28gaXJyZXN0cml0byBhb3MgbWV0YWRhZG9zIGUgdGV4dG8gY29tcGxldG8uIEFzc2ltLCBhIGFjZWl0YcODwqfDg8KjbyBkZXNzZSB0ZXJtbyBuw4PCo28gbmVjZXNzaXRhIGRlIGNvbnNlbnRpbWVudG8gcG9yIHBhcnRlIGRlIGF1dG9yZXMvZGV0ZW50b3JlcyBkb3MgZGlyZWl0b3MsIHBvciBlc3RhcmVtIGVtIGluaWNpYXRpdmFzIGRlIGFjZXNzbyBhYmVydG8uCg==Repositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322022-07-05T17:04:11Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false |
dc.title.pt_BR.fl_str_mv |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
title |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
spellingShingle |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis Silva, Denivan do Carmo Campos da Ciência exatas e da Terra Ciência da Computação Metodologia e Técnicas da Computação Engenharia de Software Software Product Lines (SPL) Combinatorial Interaction Testing (CTI) Empirical Software Engineering Software Engenharia de software |
title_short |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
title_full |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
title_fullStr |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
title_full_unstemmed |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
title_sort |
Combinatorial interaction testing tools for software product lines engineering: a comparative analysis |
author |
Silva, Denivan do Carmo Campos da |
author_facet |
Silva, Denivan do Carmo Campos da |
author_role |
author |
dc.contributor.author.fl_str_mv |
Silva, Denivan do Carmo Campos da Silva, Denivan do Carmo Campos da |
dc.contributor.advisor1.fl_str_mv |
Machado, Ivan do Carmo |
dc.contributor.referee1.fl_str_mv |
Assunção, Wesley Klewerton Guêz Souza, Rodrigo Rocha Gomes e |
contributor_str_mv |
Machado, Ivan do Carmo Assunção, Wesley Klewerton Guêz Souza, Rodrigo Rocha Gomes e |
dc.subject.cnpq.fl_str_mv |
Ciência exatas e da Terra Ciência da Computação Metodologia e Técnicas da Computação Engenharia de Software |
topic |
Ciência exatas e da Terra Ciência da Computação Metodologia e Técnicas da Computação Engenharia de Software Software Product Lines (SPL) Combinatorial Interaction Testing (CTI) Empirical Software Engineering Software Engenharia de software |
dc.subject.por.fl_str_mv |
Software Product Lines (SPL) Combinatorial Interaction Testing (CTI) Empirical Software Engineering Software Engenharia de software |
description |
Testing a system is a routine activity and plays an important role in the software quality assurance process. However, testing highly-configurable systems, such as Software Product Lines (SPL), is a complex activity due to the presence of variability in its engineering process, which increases the number of product configurations to test. In case a defect affects one (or a subset) of these functionalities, a range of products (and not just one, such as in traditional Software Engineering, in which each product is built from scratch) may be affected. Such complexity also implies a significant increase in the cost of testing. The use of tool-supported sampling testing techniques could bring significant contributions to achieve reductions in such a cost. Among the most effective techniques, Combinatorial Interaction Testing (CIT) has been used extensively to sample inputs to software, and to test highly-configurable software systems. CIT is based on the premise that many errors in software can only arise from the interaction of two or more parameters. CIT take as input a configuration model that defines the valid configuration space for the software under test. This model typically includes a set of configuration options, each of which takes a value from a small number of discrete settings, and a set of system-wide constraints among configuration options. Given the model, these methods compute a t-way covering array - a set of configurations, in which each valid combination of option settings for every combination of t options appears at least once. The system is then tested by running its test suite in all the configurations selected. In this investigation, we aimed to analyze the effectiveness of existing tool support for CIT. To accomplish ou goal, we introduced the MERCI - a Method to Evaluate Combinatory Interaction Testing techniques, aimed to establish a systematic means to evaluate the adequacy of existing CIT tools for highly-configurable systems testing. In this work, we performed an empirical evaluation to compare four CIT tools: ACTS, CATS, PICTMaster and VPTag. The analysis considered the metrics defect detection, test coverage and test execution length. The yielded results show that the method could be employed as a good mechanism to evaluate how CIT tools could behave in a practical SPL testing scenario. |
publishDate |
2018 |
dc.date.submitted.none.fl_str_mv |
2018-11-28 |
dc.date.accessioned.fl_str_mv |
2021-06-10T22:39:48Z |
dc.date.available.fl_str_mv |
2021-06-10T22:39:48Z |
dc.date.issued.fl_str_mv |
2021-06-10 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://repositorio.ufba.br/ri/handle/ri/33544 |
url |
http://repositorio.ufba.br/ri/handle/ri/33544 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal da Bahia Instituto de Matemática e Estatística Departamento de Ciência da Computação |
dc.publisher.program.fl_str_mv |
em Ciência da Computação |
dc.publisher.initials.fl_str_mv |
UFBA |
dc.publisher.country.fl_str_mv |
brasil |
publisher.none.fl_str_mv |
Universidade Federal da Bahia Instituto de Matemática e Estatística Departamento de Ciência da Computação |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFBA instname:Universidade Federal da Bahia (UFBA) instacron:UFBA |
instname_str |
Universidade Federal da Bahia (UFBA) |
instacron_str |
UFBA |
institution |
UFBA |
reponame_str |
Repositório Institucional da UFBA |
collection |
Repositório Institucional da UFBA |
bitstream.url.fl_str_mv |
https://repositorio.ufba.br/bitstream/ri/33544/1/Denivan_Campos_Disserta%c3%a7%c3%a3o.pdf https://repositorio.ufba.br/bitstream/ri/33544/2/license.txt https://repositorio.ufba.br/bitstream/ri/33544/3/Denivan_Campos_Disserta%c3%a7%c3%a3o.pdf.txt |
bitstream.checksum.fl_str_mv |
a26761be2a3c902155f6fb9144dd5d26 817035eff4c4c7dda1d546e170ee2a1a 57e77ea7fd721455af8ff48ed7a39edd |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA) |
repository.mail.fl_str_mv |
|
_version_ |
1793970651635122176 |