Banca de DEFESA: VIVIANE DE MENEZES RAMALHO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: VIVIANE DE MENEZES RAMALHO
DATA: 13/12/2013
HORA: 09:30
LOCAL: Auditório do CCET
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: 90
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 LGen, uma ferramenta que consiste na geração automática de testes para compiladores. No presente trabalho identificamos tipos de problemas recorrentes em diferentes áreas, onde gramáticas são usadas para descrevê-los, como por exemplo, para especificar configurações de software, e que são situações potenciais para o uso de LGen. Além disso, realizamos estudos de caso com gramáticas de domínios diferentes e a partir destes estudos foi possível avaliar o comportamento e o desempenho de LGen durante o processo de geração das sentenças, avaliando aspectos como tempo de execução, quantidade de sentenças geradas e satisfação de critérios de cobertura disponíveis em LGen.


MEMBROS DA BANCA:
Presidente - 1258224 - ANAMARIA MARTINS MOREIRA
Interno - 1802737 - GIBEON SOARES DE AQUINO JUNIOR
Externo à Instituição - PATRICIA DUARTE DE LIMA MACHADO - UFCG
Notícia cadastrada em: 17/11/2013 23:41
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa01-producao.info.ufrn.br.sigaa01-producao