Use este identificador para citar ou linkar para este item: https://repositorio.ufrn.br/jspui/handle/123456789/26067
Título: Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
Autor(es): Souza Neto, João Batista De
Palavras-chave: Qualidade;Teste de Unidade;Método B;Teste de Software;Métodos Formais
Data do documento: 7-Ago-2015
Referência: 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.
Abstract: 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.
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.
URI: https://repositorio.ufrn.br/jspui/handle/123456789/26067
Aparece nas coleções:PPGSC - Mestrado em Sistemas e Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
GeracaoTestesBETA_SouzaNeto_2015.pdf1,45 MBAdobe PDFThumbnail
Visualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.