Plets : a product line of model-based testing tools

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Rodrigues, Elder de Macedo lattes
Orientador(a): Zorzo, Avelino Francisco lattes
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Pontif?cia Universidade Cat?lica do Rio Grande do Sul
Programa de Pós-Graduação: Programa de P?s-Gradua??o em Ci?ncia da Computa??o
Departamento: Faculdade de Inform?ca
País: BR
Palavras-chave em Português:
Área do conhecimento CNPq:
Link de acesso: http://tede2.pucrs.br/tede2/handle/tede/5239
Resumo: Software testing is recognized as a fundamental activity for assuring software quality. Furthermore, testing is also recognized as one of the most time consuming and expensive activities of software development process. A diversity of testing tools has been developed to support this activity, including tools for Model-based Testing (MBT). MBT is a testing technique to automate the generation of testing artifacts from the system model. This technique presents several advantages, such as, lower cost and less effort to generate test cases. Therefore, in the last years a diversity of commercial, academic, and open source tools to support MBT has been developed to better explore these advantages. In spite of the diversity of tools to support MBT, most of them have been individually and independently developed from scratch based on a single architecture. Thus, they face difficulties of integration, evolution, maintenance, and reuse. In another perspective, Software Product Lines (SPL) offers possibility of systematically generating software products at lower costs, in shorter time, and with higher quality. The main contribution of this Ph.D thesis is to present a SPL for testing tools that support MBT (PLeTs) and an automated environment to support the generation of these tools (PlugSPL). Furthermore, our strategy was initially applied to generate some MBT testing tools which were applied in two examples of use performed in collaboration of an IT company. Based on the feedback from the examples of use we can infer that SPL can be considered a relevant approach to improve productivity and reuse during generation of MBT testing tools. Moreover, we also performed an experimental study carried out to evaluate the effort to use an MBT tool derived from our SPL to generate test scripts and scenarios. Thus, the results point out that the effort to generate test scripts, when compared with a Capture and Replay based tool, was reduced considerably.
id P_RS_1a0c6cc019d71f4eaf3b573d99ecf1d4
oai_identifier_str oai:tede2.pucrs.br:tede/5239
network_acronym_str P_RS
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_RS
repository_id_str
spelling Zorzo, Avelino FranciscoCPF:56345208949http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782949D9CPF:81226772072http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4742849J6Rodrigues, Elder de Macedo2015-04-14T14:50:08Z2013-12-102013-08-21RODRIGUES, Elder de Macedo. Plets : a product line of model-based testing tools. 2013. 130 f. Tese (Doutorado em Ci?ncia da Computa??o) - Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Porto Alegre, 2013.http://tede2.pucrs.br/tede2/handle/tede/5239Software testing is recognized as a fundamental activity for assuring software quality. Furthermore, testing is also recognized as one of the most time consuming and expensive activities of software development process. A diversity of testing tools has been developed to support this activity, including tools for Model-based Testing (MBT). MBT is a testing technique to automate the generation of testing artifacts from the system model. This technique presents several advantages, such as, lower cost and less effort to generate test cases. Therefore, in the last years a diversity of commercial, academic, and open source tools to support MBT has been developed to better explore these advantages. In spite of the diversity of tools to support MBT, most of them have been individually and independently developed from scratch based on a single architecture. Thus, they face difficulties of integration, evolution, maintenance, and reuse. In another perspective, Software Product Lines (SPL) offers possibility of systematically generating software products at lower costs, in shorter time, and with higher quality. The main contribution of this Ph.D thesis is to present a SPL for testing tools that support MBT (PLeTs) and an automated environment to support the generation of these tools (PlugSPL). Furthermore, our strategy was initially applied to generate some MBT testing tools which were applied in two examples of use performed in collaboration of an IT company. Based on the feedback from the examples of use we can infer that SPL can be considered a relevant approach to improve productivity and reuse during generation of MBT testing tools. Moreover, we also performed an experimental study carried out to evaluate the effort to use an MBT tool derived from our SPL to generate test scripts and scenarios. Thus, the results point out that the effort to generate test scripts, when compared with a Capture and Replay based tool, was reduced considerably.O teste de software ? uma atividade fundamental para garantir a qualidade de software. Al?m disso, teste de software ? uma das atividades mais caras e demoradas no processo de desenvolvimento de software. Por esta raz?o, diversas ferramentas de teste foram desenvolvidas para apoiar esta atividade, incluindo ferramentas para Teste Baseado em Modelos (TBM). TBM ? uma t?cnica de teste para automatizar a gera??o de artefatos de teste a partir de modelos do sistema. Esta t?cnica apresenta diversas vantagens, tais como, menor custo e esfor?o para gerar casos de teste. Por este motivo, nos ?ltimos anos, diversas ferramentas para TBM foram desenvolvidas para melhor explorar essas vantagens. Embora existam diversas ferramentas TBM, a maioria delas tem o seu desenvolvimento baseado em um esfor?o individual, sem a ado??o de t?cnicas de reuso sistem?tico e com base em uma ?nica arquitetura, dificultando a integra??o, evolu??o, manuten??o e reutiliza??o dessas ferramentas. Uma alternativa para mitigar estes problemas ? adotar os conceitos de Linhas de Produto de Software (LPS) para desenvolver ferramentas de TBM. LPS possibilitam gerar sistematicamente produtos a custos mais baixos, em menor tempo e com maior qualidade. A principal contribui??o desta tese de doutorado ? apresentar uma LPS de ferramentas de teste que suportam TBM (PLeTs) e um ambiente automatizado para apoiar a gera??o dessas ferramentas (PlugSPL). Al?m disso, esta tese apresenta uma abordagem para gerar ferramentas para TBM, que foram aplicadas em dois exemplos de uso. Com base nos resultados obtidos nos exemplos de uso, podemos inferir que LPS pode ser considerada uma abordagem relevante para melhorar a produtividade e o reuso durante a gera??o de ferramentas de TBM. Al?m disso, tamb?m foi realizado um estudo experimental com o objetivo de avaliar o esfor?o para se utilizar uma ferramenta derivada da PLeTs para gera??o de scripts de teste. Os resultados apontaram que o esfor?o para gerar scripts de teste foi reduzido consideravelmente, quando comparado com a uma ferramenta de Capture and Replay.Made available in DSpace on 2015-04-14T14:50:08Z (GMT). No. of bitstreams: 1 452835.pdf: 8269470 bytes, checksum: ab1e0cb4a21fcf269f8e7ac4dc9418f2 (MD5) Previous issue date: 2013-08-21application/pdfhttp://tede2.pucrs.br:80/tede2/retrieve/15439/452835.pdf.jpgporPontif?cia Universidade Cat?lica do Rio Grande do SulPrograma de P?s-Gradua??o em Ci?ncia da Computa??oPUCRSBRFaculdade de Inform?caINFORM?TICAENGENHARIA DE SOFTWARESOFTWARE - AN?LISE DE DESEMPENHODADOS DE TESTE (INFORM?TICA)CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOPlets : a product line of model-based testing toolsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesis19749965330812744705006001946639708616176246info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_RSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSTHUMBNAIL452835.pdf.jpg452835.pdf.jpgimage/jpeg3673http://tede2.pucrs.br/tede2/bitstream/tede/5239/3/452835.pdf.jpgea85b666f841ae78b77a2c89e16b58e9MD53TEXT452835.pdf.txt452835.pdf.txttext/plain308854http://tede2.pucrs.br/tede2/bitstream/tede/5239/2/452835.pdf.txt48ee37cab18437abac7674022b91d8d8MD52ORIGINAL452835.pdfapplication/pdf8269470http://tede2.pucrs.br/tede2/bitstream/tede/5239/1/452835.pdfab1e0cb4a21fcf269f8e7ac4dc9418f2MD51tede/52392015-04-17 11:57:32.142oai:tede2.pucrs.br:tede/5239Biblioteca Digital de Teses e Dissertaçõeshttp://tede2.pucrs.br/tede2/PRIhttps://tede2.pucrs.br/oai/requestbiblioteca.central@pucrs.br||opendoar:2015-04-17T14:57:32Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false
dc.title.por.fl_str_mv Plets : a product line of model-based testing tools
title Plets : a product line of model-based testing tools
spellingShingle Plets : a product line of model-based testing tools
Rodrigues, Elder de Macedo
INFORM?TICA
ENGENHARIA DE SOFTWARE
SOFTWARE - AN?LISE DE DESEMPENHO
DADOS DE TESTE (INFORM?TICA)
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Plets : a product line of model-based testing tools
title_full Plets : a product line of model-based testing tools
title_fullStr Plets : a product line of model-based testing tools
title_full_unstemmed Plets : a product line of model-based testing tools
title_sort Plets : a product line of model-based testing tools
author Rodrigues, Elder de Macedo
author_facet Rodrigues, Elder de Macedo
author_role author
dc.contributor.advisor1.fl_str_mv Zorzo, Avelino Francisco
dc.contributor.advisor1ID.fl_str_mv CPF:56345208949
dc.contributor.advisor1Lattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782949D9
dc.contributor.authorID.fl_str_mv CPF:81226772072
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4742849J6
dc.contributor.author.fl_str_mv Rodrigues, Elder de Macedo
contributor_str_mv Zorzo, Avelino Francisco
dc.subject.por.fl_str_mv INFORM?TICA
ENGENHARIA DE SOFTWARE
SOFTWARE - AN?LISE DE DESEMPENHO
DADOS DE TESTE (INFORM?TICA)
topic INFORM?TICA
ENGENHARIA DE SOFTWARE
SOFTWARE - AN?LISE DE DESEMPENHO
DADOS DE TESTE (INFORM?TICA)
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description Software testing is recognized as a fundamental activity for assuring software quality. Furthermore, testing is also recognized as one of the most time consuming and expensive activities of software development process. A diversity of testing tools has been developed to support this activity, including tools for Model-based Testing (MBT). MBT is a testing technique to automate the generation of testing artifacts from the system model. This technique presents several advantages, such as, lower cost and less effort to generate test cases. Therefore, in the last years a diversity of commercial, academic, and open source tools to support MBT has been developed to better explore these advantages. In spite of the diversity of tools to support MBT, most of them have been individually and independently developed from scratch based on a single architecture. Thus, they face difficulties of integration, evolution, maintenance, and reuse. In another perspective, Software Product Lines (SPL) offers possibility of systematically generating software products at lower costs, in shorter time, and with higher quality. The main contribution of this Ph.D thesis is to present a SPL for testing tools that support MBT (PLeTs) and an automated environment to support the generation of these tools (PlugSPL). Furthermore, our strategy was initially applied to generate some MBT testing tools which were applied in two examples of use performed in collaboration of an IT company. Based on the feedback from the examples of use we can infer that SPL can be considered a relevant approach to improve productivity and reuse during generation of MBT testing tools. Moreover, we also performed an experimental study carried out to evaluate the effort to use an MBT tool derived from our SPL to generate test scripts and scenarios. Thus, the results point out that the effort to generate test scripts, when compared with a Capture and Replay based tool, was reduced considerably.
publishDate 2013
dc.date.available.fl_str_mv 2013-12-10
dc.date.issued.fl_str_mv 2013-08-21
dc.date.accessioned.fl_str_mv 2015-04-14T14:50:08Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv RODRIGUES, Elder de Macedo. Plets : a product line of model-based testing tools. 2013. 130 f. Tese (Doutorado em Ci?ncia da Computa??o) - Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Porto Alegre, 2013.
dc.identifier.uri.fl_str_mv http://tede2.pucrs.br/tede2/handle/tede/5239
identifier_str_mv RODRIGUES, Elder de Macedo. Plets : a product line of model-based testing tools. 2013. 130 f. Tese (Doutorado em Ci?ncia da Computa??o) - Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Porto Alegre, 2013.
url http://tede2.pucrs.br/tede2/handle/tede/5239
dc.language.iso.fl_str_mv por
language por
dc.relation.program.fl_str_mv 1974996533081274470
dc.relation.confidence.fl_str_mv 500
600
dc.relation.department.fl_str_mv 1946639708616176246
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontif?cia Universidade Cat?lica do Rio Grande do Sul
dc.publisher.program.fl_str_mv Programa de P?s-Gradua??o em Ci?ncia da Computa??o
dc.publisher.initials.fl_str_mv PUCRS
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Faculdade de Inform?ca
publisher.none.fl_str_mv Pontif?cia Universidade Cat?lica do Rio Grande do Sul
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS
instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron:PUC_RS
instname_str Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron_str PUC_RS
institution PUC_RS
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_RS
collection Biblioteca Digital de Teses e Dissertações da PUC_RS
bitstream.url.fl_str_mv http://tede2.pucrs.br/tede2/bitstream/tede/5239/3/452835.pdf.jpg
http://tede2.pucrs.br/tede2/bitstream/tede/5239/2/452835.pdf.txt
http://tede2.pucrs.br/tede2/bitstream/tede/5239/1/452835.pdf
bitstream.checksum.fl_str_mv ea85b666f841ae78b77a2c89e16b58e9
48ee37cab18437abac7674022b91d8d8
ab1e0cb4a21fcf269f8e7ac4dc9418f2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
repository.mail.fl_str_mv biblioteca.central@pucrs.br||
_version_ 1796793208438521856