Banca de QUALIFICAÇÃO: CLEVERTON HENTZ ANTUNES

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE: CLEVERTON HENTZ ANTUNES
DATA: 04/03/2016
HORA: 15:00
LOCAL: Sala 77 - CCET
TÍTULO:

Família de Critérios de Cobertura Baseados em Padrões para o Teste de Metaprogramas


PALAVRAS-CHAVES:

Teste de Software, Critérios de Cobertura de Teste, Casamento de Padrões, Metaprogramas, Linguagens Formais


PÁGINAS: 77
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software
RESUMO:

 

Apesar da existência de várias técnicas para a geração automática de dados de teste baseados em gramáticas, poucos trabalhos foram propostos no sentido de melhorar os dados de teste gerados aplicando restrições semânticas. Nesse sentido, pretendemos, neste trabalho, contribuir nesta direção para o caso particular do teste de metaprogramas, um programa que tem como dado de entrada um outro programa. Atualmente, a alternativa natural para o teste deste tipo de programa é a técnica de teste baseado em gramática. Essa técnica de teste pode ser aplicada de maneira relativamente simples, porém com o custo, geração e execução do conjunto de testes, elevado e a efetividade baixa. Diversas pesquisas e ferramentas de grupos
interessados no desenvolvimento de metaprogramas fazem uso intenso do recurso de casamento de padrões durante a sua implementação e especificação. Neste caso os padrões oferecem uma fonte de informação
interessante para a criação de testes que são sintaticamente válidos e também satisfazem restrições semânticas. Dada a limitação dos testes baseados em gramáticas e da informação de padrões existentes nos metaprogramas temos a oportunidade de contribuir para a melhoria do processo de teste para esses programas. Logo, o objetivo deste trabalho é avaliar o uso da informação de padrões para o teste de metaprogramas e com
isso contribuir no seu processo de teste. No intuito de sistematizar o processo de teste de software é proposta uma família de critérios de cobertura baseados em padrões para o teste de metaprogramas de maneira
eficiente e sistematizada. São propostos quatro critérios de cobertura baseados em padrões, sendo três deles baseados nos critérios de
particionamento do espaço de entrada. Também é apresentada uma relação hierárquica entre os critérios propostos. Com isso diferentes níveis de rigor podem ser requeridos no processo de teste através da escolha
do critério adequado. Além disso, um método de validação para os critérios é proposto. Esse método é baseado na técnica de mutação para a avaliação de um conjunto de testes. Os resultados iniciais da execução desse
método são apresentados e uma comparação com outros critérios é apresentada. Consequentemente, alguns indícios da efetividade da aplicação dos critérios foram obtidos.  No contexto da proposta deste trabalho, são propostos três pontos de melhoria para sua finalização. O primeiro é a definição do processo de geração dos casos de teste e uma implementação de referência. Entendemos que um estudo de caso apresentando a aplicação do processo de teste proposto também deve ser realizado. O último ponto é relacionado ao método de validação apresentado. Para esse é necessária a
aplicação do método em um número maior de exemplos é necessária para podermos tirar uma conclusão sobre a efetividade dos critérios.

 


MEMBROS DA BANCA:
Presidente - 1258224 - ANAMARIA MARTINS MOREIRA
Externo à Instituição - JURGEN JORDANUS VINJU - CWI
Interno - 1221251 - MARTIN ALEJANDRO MUSICANTE
Externo à Instituição - ROHIT GHEYI - UFCG
Notícia cadastrada em: 04/03/2016 14:06
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa09-producao.info.ufrn.br.sigaa09-producao