Geração automática de testes a partir de descrições de linguagens

AUTOR(ES)
DATA DE PUBLICAÇÃO

2010

RESUMO

Alguns programas podem ter sua entrada formalizada através de gramáticas livres de contexto. Esta formalização facilita a utilização de ferramentas na sistematização e na elevação da qualidade do seu processo de teste. Dentro desta categoria de programas os compiladores foram os primeiros a utilizar este tipo de ferramenta para a automação de seus testes. Neste trabalho apresentamos uma abordagem para a definição de testes a partir da descrição formal das entradas do programa. A geração das sentenças é realizada levando em consideração aspectos sintáticos definidos pela especificação da entrada, a gramática. Por questões de otimização são utilizados critérios de cobertura para limitar a quantidade de testes sem diminuir a sua qualidade. Nossa abordagem utiliza estes critérios no direcionamento da geração de maneira a produzir sentenças que satisfaçam um critério de cobertura especifico. A abordagem apresentada se baseia na utilização da linguagem Lua, se apoiando fortemente em seus recursos de corotinas e construção dinâmica de funções. Com estes recursos, propomos uma implementação compacta e simples que pode ser otimizada e controlada de formas variadas, com o intuito de buscar a satisfação dos diferentes critérios de cobertura implementados. Para tornar simples o uso de nossa ferramenta foi adotada a notação EBNF para a especificação das entradas. O seu parser foi especificado na ferramenta Meta-Environment por esta favorecer a rápida prototipação

ASSUNTO(S)

linguagens formais asf automatic generation test, black-box testing teste lua language linguagem lua sdf sdf formal languages asf geração automática teste de caixa-preta sistemas de computacao

ACESSO AO ARTIGO

Documentos Relacionados