摘要：Neste artigo é apresentada uma abordagem de teste de software baseada em modelos que se concentra na identificação, automatização e derivação completa, ou parcial, de casos de teste a partir da composição de modelos UML que descrevem alguns aspectos do sistema que está sendo testado. A abordagem adotada provê uma considerável redução de esforço na geração de testes, aumentando a sua eficiência, diminuindo o ciclo de testes e evitando a realização tediosa e propensa a erros de um conjunto de casos de testes. Por fim, é apresentado um estudo de caso para demonstrar de modo prático os benefícios da abordagem proposta.
其他摘要：In this paper we present a model-based testing approach that aims at identifying, automating and deriving functional test cases in whole or in part from UML models that describe some aspects of the system under test. Our approach provides a considerable reduction of the effort on the test generation, increasing the effectiveness of the tests, shortening the testing cycle, and avoiding tedious and error-prone editing of a suite of hand-crafted tests. Finally, we present a case study to demonstrate the practicality and usefulness of the proposed approach.
关键词：testes baseados em modelos; UML; testes funcionais
