Geração de Testes a partir de Gramáticas: Áreas de Aplicação
teste de software, geração de testes, gramáticas
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