[pt] O teste funcional de software é um desafio enfrentado há
muito tempo por desenvolvedores. A complexidade crescente
de sistemas computacionais torna esse desafio ainda maior.
Uma tendência apontada como possível solução deste
problema é o uso de teste baseado em modelos. Inspirada
neste paradigma, esta dissertação retrata uma pesquisa
sobre o uso de gramáticas como modelos de teste
funcional. Modelos gramaticais podem capturar conceitos e
comportamentos de um sistema e de seu ambiente usando um
nível de abstração de acordo com o objetivo de teste. Eles
também podem ser aplicados para descrever casos de teste
funcional e guiar a execução de casos de teste gerados num
sistema em teste. O resultado desta execução, representado
na forma de um veredicto, revela a
conformidade do sistema com seus requisitos e
especificações. Para explorar o potencial dos modelos
gramaticais, este trabalho definiu uma maneira sistemática
de gerar e executar massas de teste. Esta solução permitiu
a programação de diferentes estratégias de teste. Ela
também facilitou a adaptação dos testes a
mudanças de requisitos e promoveu o reuso dos testes
existentes. Como efeito colateral deste estudo, um processo
de teste funcional foi desenvolvido e a
arquitetura de apoio aqui introduzida pode ser reutilizada
ou estendida por futuras soluções de teste funcional. / [en] Software functional test is a challenge faced by developers
for a long time.
The growing complexity of computing systems turns this
challenge even greater.
Model-based testing is a trend pointed out by the academia
and the industry as a
possible solution to this matter. Inspired by this
paradigm, this dissertation
depicts a research made on the use of grammars as
functional test models.
Grammar models can capture concepts and behaviors of a
system and its
environment at a level of abstraction according to the test
goal. They also can be
applied to describe functional test cases and guide the
execution of the generated
test cases against a system under test. The result of this
execution, represented as
a verdict, reveals the system conformity with its
requirements and specifications.
In order to explore grammar models potential, this work
defined a systematic way
to generate and execute a mass of tests. This solution
allowed the implementation
of different test strategies. It also assisted test
adjustment to requirements change
and promoted existing tests reuse. As a side-effect of this
study, a functional test
process was developed and the supporting architecture
introduced here may be
reused or extended by future functional test solutions.
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:12322 |
| Date | 08 October 2008 |
| Creators | RICARDO AUGUSTO BOITEUX MENDES LEAL |
| Contributors | ARNDT VON STAA |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | Unknown |
| Type | TEXTO |
Page generated in 0.003 seconds