Com o surgimento de cada vez mais empresas de desenvolvimento de software, a preocupação com a realização de entregas com maior qualidade é cada vez maior. A procura pela metodologia ideal, que permita conjugar o desenvolvimento de software e a realização de testes de forma mais otimizada possível, faz com que seja necessário estudar a prática de novas metodologias que apresentem uma melhoria significativa na implementação dos processos de desenvolvimento e testes. Esta tese de mestrado teve como principal objetivo estudar a técnica do Model-Based Testing que corresponde a uma técnica avançada de realização de testes. No estudo foram analisadas as notações que existem para modelação, as ferramentas, entre outros pontos. Foi também apresentado um caso prático onde a técnica foi adaptada a diferentes cenários de trabalho reais. O Model-Based Testing é uma metodologia relativamente recente. Apresenta uma forma de realização de testes, através da utilização de um modelo que permite gerar de forma automática, casos de teste. Dá resposta a diferentes necessidades dentro de um processo de desenvolvimento e realização de testes. Permite reaproveitar todos os artefactos utilizados, atribuindo outro significado ao tempo gasto com a realização dos testes.With the emergence of more and more software development companies, the concern of delivering higher quality software is greater than ever. The search for the fitting methodology, that allows to optimize the software and test development, test plan and execution, makes it necessary to study the practice of new methodologies that present a significant improvement in the implementation of development and testing processes. This master's thesis has as the main objective to study the Model-Based Testing technique that corresponds to an advanced test implementation technique. In this study were investigated the notations that exist for modeling, the tools, among other details. It is also presented a practical case where the technique has been adapted to different real work scenarios. Model-Based Testing is a relatively recent methodology. It presents an implementation of tests through the use of a model, that allows to automatically generate test cases. It responds to different needs within the process of developing and conducting tests. It allows reusing all the artifacts used, assigning another meaning to the time spent with the tests
