Banca de QUALIFICAÇÃO: VIVIANE DE MENEZES RAMALHO

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: VIVIANE DE MENEZES RAMALHO
DATA: 11/06/2013
HORA: 09:30
LOCAL: Sala de reuniões do DIMAp
TÍTULO:

Geração de Testes a partir de Gramáticas: Áreas de Aplicação


PALAVRAS-CHAVES:

teste de software, geração de testes, gramáticas


PÁGINAS: 59
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:

O trabalho proposto por Cleverton Hentz (2010) apresentou uma abordagem para definição de testes a partir da descrição formal das entradas do programa. Considerando que alguns programas podem ter suas entradas formalizadas através de gramáticas, como é o caso dos compiladores, é comum o uso de gramáticas livres de contexto para especificar o conjunto de entradas válidas. No trabalho original foi desenvolvida uma ferramenta que consiste na geração automática de testes para compiladores. No presente trabalho identificamos outras áreas de pesquisa que também utilizam gramáticas para descrever a entrada de um software e que podem beneficiar-se de trabalhos e ferramentas na área de geração de testes baseados em sintaxe. Ao longo do trabalho, também identificamos outras situações que utilizam gramáticas, não para descrever entradas, mas por exemplo, para especificar configurações de software e que também são situações potenciais para o uso do gerador. Além disso, faremos uma avaliação do gerador de sentenças quanto à sua utilidade em diferentes áreas de aplicação


MEMBROS DA BANCA:
Presidente - 1258224 - ANAMARIA MARTINS MOREIRA
Interno - 1802737 - GIBEON SOARES DE AQUINO JUNIOR
Interno - 1709820 - ROBERTA DE SOUZA COELHO
Notícia cadastrada em: 03/06/2013 14:35
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa11-producao.info.ufrn.br.sigaa11-producao