Plets : a product line of model-based testing tools
Ano de defesa: | 2013 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
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 |