Navegando por Autor "Ramalho, Viviane de Menezes"
Agora exibindo 1 - 1 de 1
- Resultados por página
- Opções de Ordenação
Dissertação Geração de testes a partir de gramáticas: áreas de aplicação(Universidade Federal do Rio Grande do Norte, 2013-12-13) Ramalho, Viviane de Menezes; Moreira, Anamaria Martins; ; http://lattes.cnpq.br/5861361541278876; ; http://lattes.cnpq.br/3208954190963847; Aquino Júnior, Gibeon Soares de; ; Machado, Patrícia Duarte de Lima; ; http://lattes.cnpq.br/2495918356675019O 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