Made available in DSpace on 2014-12-17T15:48:09Z (GMT). No. of bitstreams: 1
VivianeMR_DISSERT.pdf: 1295596 bytes, checksum: 1bb5688145cd1ce7005121d9de48c246 (MD5)
Previous issue date: 2013-12-13 / The work proposed by Cleverton Hentz (2010) presented an approach to define tests
from the formal description of a program s input. Since some programs, such as compilers,
may have their inputs formalized through grammars, it is common to use context-free
grammars to specify the set of its valid entries. In the original work the author developed
a tool that automatically generates tests for compilers. In the present work we identify
types of problems in various areas where grammars are used to describe them , for example,
to specify software configurations, which are potential situations to use LGen. In addition,
we conducted case studies with grammars of different domains and from these studies it
was possible to evaluate the behavior and performance of LGen during the generation of
sentences, evaluating aspects such as execution time, number of generated sentences and
satisfaction of coverage criteria available in LGen / 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
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/18096 |
| Date | 13 December 2013 |
| Creators | Ramalho, Viviane de Menezes |
| Contributors | CPF:82573611787, http://lattes.cnpq.br/5861361541278876, Aquino J?nior, Gibeon Soares de, CPF:02685578455, Machado, Patr?cia Duarte de Lima, CPF:67455069472, http://lattes.cnpq.br/2495918356675019, Moreira, Anamaria Martins |
| Publisher | Universidade Federal do Rio Grande do Norte, Programa de P?s-Gradua??o em Sistemas e Computa??o, UFRN, BR, Ci?ncia da Computa??o |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.003 seconds