Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento

Detalhes bibliográficos
Autor(a) principal: Souza Neto, João Batista De
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFRN
Texto Completo: https://repositorio.ufrn.br/jspui/handle/123456789/26067
Resumo: A demanda de sistemas seguros e robustos fez com que crescesse a preocupação em desenvolver software de qualidade. Teste de Software e Métodos Formais são duas abordagens que possuem essa finalidade. Neste contexto, vários esforços vem sendo feitos para unir essas duas abordagens, que podem se complementar e trazer mais qualidade para o software. Em um desses esforços, foi desenvolvida a abordagem e ferramenta BETA (B Based Testing Approach). BETA gera testes de unidade a partir de especificações formais escritas na notação do Método B. O presente trabalho tem o objetivo de contribuir com a evolução e o aperfeiçoamento da abordagem e ferramenta BETA. Em uma primeira linha de ação, este trabalho propôs estratégias de oráculos de teste para a abordagem e desenvolveu um gerador de scripts de teste para a ferramenta. Com isso, este trabalho trouxe mais flexibilidade e automação para as últimas etapas de BETA. Em uma segunda linha de ação, este trabalho realizou um estudo empírico para avaliar a abordagem e ferramenta. Dessa forma, BETA foi aplicada em dois estudos de caso que possuíam diferentes objetivos e complexidades. Em ambos os estudos de caso, os resultados de BETA foram avaliados quantitativamente e qualitativamente. Com esse estudo, este trabalho conseguiu identificar qualidades e limitações de BETA e, com isso, estabelecer uma base para propor melhorias para a abordagem e ferramenta.
id UFRN_97eee0a12dfe71b810c6dcaad6ec137f
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/26067
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Souza Neto, João Batista Dehttp://lattes.cnpq.br/2363575151206774Deharbe, David Boris Paulhttp://lattes.cnpq.br/2985658685449858Gheyi, Rohithttp://lattes.cnpq.br/2931270888717344Moreira, Anamaria Martins2018-10-30T11:44:47Z2018-10-30T11:44:47Z2015-08-07SOUZA NETO, João Batista de. Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento. 2015. 146f. Dissertação (Mestrado Em Sistemas E Computação) - Centro De Ciências Exatas E Da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2015.https://repositorio.ufrn.br/jspui/handle/123456789/26067A demanda de sistemas seguros e robustos fez com que crescesse a preocupação em desenvolver software de qualidade. Teste de Software e Métodos Formais são duas abordagens que possuem essa finalidade. Neste contexto, vários esforços vem sendo feitos para unir essas duas abordagens, que podem se complementar e trazer mais qualidade para o software. Em um desses esforços, foi desenvolvida a abordagem e ferramenta BETA (B Based Testing Approach). BETA gera testes de unidade a partir de especificações formais escritas na notação do Método B. O presente trabalho tem o objetivo de contribuir com a evolução e o aperfeiçoamento da abordagem e ferramenta BETA. Em uma primeira linha de ação, este trabalho propôs estratégias de oráculos de teste para a abordagem e desenvolveu um gerador de scripts de teste para a ferramenta. Com isso, este trabalho trouxe mais flexibilidade e automação para as últimas etapas de BETA. Em uma segunda linha de ação, este trabalho realizou um estudo empírico para avaliar a abordagem e ferramenta. Dessa forma, BETA foi aplicada em dois estudos de caso que possuíam diferentes objetivos e complexidades. Em ambos os estudos de caso, os resultados de BETA foram avaliados quantitativamente e qualitativamente. Com esse estudo, este trabalho conseguiu identificar qualidades e limitações de BETA e, com isso, estabelecer uma base para propor melhorias para a abordagem e ferramenta.The demand for secure and robust systems has made to grow the concern for developing quality software. Software Testing and Formal Methods are two approaches that have this purpose. In this context, several efforts are being made to unite these two approaches, which can complement each other and bring more quality to the software. In one of these efforts, the approach and tool BETA (B Based Testing Approach) was developed. BETA generates unit tests from formal specifications written in B Method notation. The present work aims to contribute with the evolution and improvement of the approach and tool BETA. For this purpose, two lines of action were taken. In the first line of action, this work brought contributions for the last two stages of the BETA approach. For the penultimate stage, the test oracles definition, this work proposed test oracles strategies that brought more flexibility and a better definition for the stage. For the last stage, the concrete tests implementation, this work developed a test scripts generator that automates part of the implementation and, thus, contribute to reduce the effort spent in the stage. In the second line of action, this work performed an empirical study to evaluate the approach and tool. Thus, BETA was applied in two case studies that had different objectives and complexities. In the first case study, BETA was used to generate tests for the API of the Lua programming language. In the second case study, BETA was used to contribute to the validation of two code generators for the B Method, the b2llvm and C4B. In both case studies, the results of BETA were evaluated quantitatively and qualitatively. With this study, this work was able to identify qualities and limitations of BETA and, with that, establish a basis for proposing improvements to the approach and tool.porQualidadeTeste de UnidadeMétodo BTeste de SoftwareMétodos FormaisUm estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamentoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisPrograma de pós-graduação em sistemas e computaçãoUFRNBrasilinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNTEXTGeracaoTestesBETA_SouzaNeto_2015.pdf.txtGeracaoTestesBETA_SouzaNeto_2015.pdf.txtExtracted texttext/plain346496https://repositorio.ufrn.br/bitstream/123456789/26067/2/GeracaoTestesBETA_SouzaNeto_2015.pdf.txt65bebc8f2a813a91253af8d125f43150MD52THUMBNAILGeracaoTestesBETA_SouzaNeto_2015.pdf.jpgGeracaoTestesBETA_SouzaNeto_2015.pdf.jpgIM Thumbnailimage/jpeg1469https://repositorio.ufrn.br/bitstream/123456789/26067/3/GeracaoTestesBETA_SouzaNeto_2015.pdf.jpg83f6b8b965f9889f67838086ed8e0212MD53TEXTGeracaoTestesBETA_SouzaNeto_2015.pdf.txtGeracaoTestesBETA_SouzaNeto_2015.pdf.txtExtracted texttext/plain346496https://repositorio.ufrn.br/bitstream/123456789/26067/2/GeracaoTestesBETA_SouzaNeto_2015.pdf.txt65bebc8f2a813a91253af8d125f43150MD52THUMBNAILGeracaoTestesBETA_SouzaNeto_2015.pdf.jpgGeracaoTestesBETA_SouzaNeto_2015.pdf.jpgIM Thumbnailimage/jpeg1469https://repositorio.ufrn.br/bitstream/123456789/26067/3/GeracaoTestesBETA_SouzaNeto_2015.pdf.jpg83f6b8b965f9889f67838086ed8e0212MD53ORIGINALGeracaoTestesBETA_SouzaNeto_2015.pdfapplication/pdf1480384https://repositorio.ufrn.br/bitstream/123456789/26067/1/GeracaoTestesBETA_SouzaNeto_2015.pdfca08073ad1f3e25e2b2c467be2bbb77fMD51123456789/260672019-01-30 09:47:01.055oai:https://repositorio.ufrn.br:123456789/26067Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2019-01-30T12:47:01Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.pt_BR.fl_str_mv Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
title Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
spellingShingle Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
Souza Neto, João Batista De
Qualidade
Teste de Unidade
Método B
Teste de Software
Métodos Formais
title_short Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
title_full Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
title_fullStr Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
title_full_unstemmed Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
title_sort Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
author Souza Neto, João Batista De
author_facet Souza Neto, João Batista De
author_role author
dc.contributor.authorID.pt_BR.fl_str_mv
dc.contributor.advisorID.pt_BR.fl_str_mv
dc.contributor.advisorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/2363575151206774
dc.contributor.referees1.none.fl_str_mv Deharbe, David Boris Paul
dc.contributor.referees1ID.pt_BR.fl_str_mv
dc.contributor.referees1Lattes.pt_BR.fl_str_mv http://lattes.cnpq.br/2985658685449858
dc.contributor.referees2.none.fl_str_mv Gheyi, Rohit
dc.contributor.referees2ID.pt_BR.fl_str_mv
dc.contributor.referees2Lattes.pt_BR.fl_str_mv http://lattes.cnpq.br/2931270888717344
dc.contributor.author.fl_str_mv Souza Neto, João Batista De
dc.contributor.advisor1.fl_str_mv Moreira, Anamaria Martins
contributor_str_mv Moreira, Anamaria Martins
dc.subject.por.fl_str_mv Qualidade
Teste de Unidade
Método B
Teste de Software
Métodos Formais
topic Qualidade
Teste de Unidade
Método B
Teste de Software
Métodos Formais
description A demanda de sistemas seguros e robustos fez com que crescesse a preocupação em desenvolver software de qualidade. Teste de Software e Métodos Formais são duas abordagens que possuem essa finalidade. Neste contexto, vários esforços vem sendo feitos para unir essas duas abordagens, que podem se complementar e trazer mais qualidade para o software. Em um desses esforços, foi desenvolvida a abordagem e ferramenta BETA (B Based Testing Approach). BETA gera testes de unidade a partir de especificações formais escritas na notação do Método B. O presente trabalho tem o objetivo de contribuir com a evolução e o aperfeiçoamento da abordagem e ferramenta BETA. Em uma primeira linha de ação, este trabalho propôs estratégias de oráculos de teste para a abordagem e desenvolveu um gerador de scripts de teste para a ferramenta. Com isso, este trabalho trouxe mais flexibilidade e automação para as últimas etapas de BETA. Em uma segunda linha de ação, este trabalho realizou um estudo empírico para avaliar a abordagem e ferramenta. Dessa forma, BETA foi aplicada em dois estudos de caso que possuíam diferentes objetivos e complexidades. Em ambos os estudos de caso, os resultados de BETA foram avaliados quantitativamente e qualitativamente. Com esse estudo, este trabalho conseguiu identificar qualidades e limitações de BETA e, com isso, estabelecer uma base para propor melhorias para a abordagem e ferramenta.
publishDate 2015
dc.date.issued.fl_str_mv 2015-08-07
dc.date.accessioned.fl_str_mv 2018-10-30T11:44:47Z
dc.date.available.fl_str_mv 2018-10-30T11:44:47Z
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.citation.fl_str_mv SOUZA NETO, João Batista de. Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento. 2015. 146f. Dissertação (Mestrado Em Sistemas E Computação) - Centro De Ciências Exatas E Da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2015.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/26067
identifier_str_mv SOUZA NETO, João Batista de. Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento. 2015. 146f. Dissertação (Mestrado Em Sistemas E Computação) - Centro De Ciências Exatas E Da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2015.
url https://repositorio.ufrn.br/jspui/handle/123456789/26067
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.program.fl_str_mv Programa de pós-graduação em sistemas e computação
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/26067/2/GeracaoTestesBETA_SouzaNeto_2015.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/26067/3/GeracaoTestesBETA_SouzaNeto_2015.pdf.jpg
https://repositorio.ufrn.br/bitstream/123456789/26067/2/GeracaoTestesBETA_SouzaNeto_2015.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/26067/3/GeracaoTestesBETA_SouzaNeto_2015.pdf.jpg
https://repositorio.ufrn.br/bitstream/123456789/26067/1/GeracaoTestesBETA_SouzaNeto_2015.pdf
bitstream.checksum.fl_str_mv 65bebc8f2a813a91253af8d125f43150
83f6b8b965f9889f67838086ed8e0212
65bebc8f2a813a91253af8d125f43150
83f6b8b965f9889f67838086ed8e0212
ca08073ad1f3e25e2b2c467be2bbb77f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1802117861324357632

Registros relacionados