A eficiência e eficácia do Teste Baseado em Modelo (TBM) se deve principalmente ao seu potencial para automação. Se o modelo for formal e baseado em Máquinas de Transição de Estados, os casos de teste podem ser derivados automaticamente. Uma das técnicas de modelagem formal mais utilizada é a interpretação de um sistema como uma Máquina de Estados Finitos Estendida (MEFE), porém, não é uma prática comum na indústria a utilização de modelos formais, já que os desenvolvedores tem dificuldades de lidar com os conceitos envolvidos. Por outro lado, a Unified Modeling Language (UML) tornou-se o padrão de fato para modelagem de software. No entanto, devido à falta de semântica formal da UML, seus diagramas podem gerar inconsistências e receber interpretações ambíguas. Dessa forma, os modelos UML não são adequados para automação de teste. Neste contexto, esta tese de doutorado apresenta um procedimento sistemático nomeado de TestSd2Efsm para geração de um ambiente de testes a partir de modelos UML que usa conceitos da MDA (Model Driven Architecture) para formalizar Diagramas de Sequência UML em Máquinas de Estados Finitos Estendidas e fornecer uma semântica precisa para esse modelo UML. O procedimento sistemático também aplica a biblioteca ModelJUnit para geração de casos de teste abstratos e um conjunto de métricas para avaliá-los. Além disso, utiliza o framework JUnit para concretizar os casos de teste na linguagem de programação Java. Foi realizado um estudo experimental para avaliar a eficiência, eficácia e qualidade do procedimento sistemático TestSd2Efsm. Os resultados do experimento mostraram que o custo medido em tempo para geração de um ambiente de teste utilizando o procedimento sistemático TestSd2Efsm é menor que o esforço utilizando a abordagem manual e os casos de teste gerados pelo procedimento sistemático TestSd2Efsm são mais eficazes que os gerados pela abordagem manual. Além disso, a percepção dos participantes do experimento é que a qualidade da geração do ambiente de teste pelo procedimento sistemático TestSd2Efsm é maior que a qualidade utilizando a abordagem manual.

The efficiency and effectiveness of the Model-Based Testing (MBT) derives mainly from its potential for automation. If the model is formal and based on State Transition Machines, test cases can be derived automatically. One of the widely used formal modeling techniques is the interpretation of a system as an Extended Finite State Machine (EFSM), however, it is not a common practice in the industry to use formal models, since developers have difficulties in dealing with the concepts involved. On the other hand, Unified Modeling Language (UML) has become the "de facto" standard for software modeling. Nevertheless, due to the lack of formal UML semantics, its diagrams can generate inconsistencies and receive ambiguous interpretations. For that reason, UML models are not suitable for test automation. In this context, this thesis presents a systematic procedure named TestSd2Efsm for generating a test environment from UML models that uses MDA (Model Driven Architecture) concepts to formalize UML Sequence Diagrams in Extended Finite State Machines and provide precise semantics for this UML model. The systematic procedure also applies the ModelJUnit library for generating abstract test cases and a set of metrics to evaluate them. In addition, it uses the JUnit framework to realize the test cases in the Java programming language. An experimental study was carried out to evaluate the efficiency, the effectiveness and the quality of the systematic procedure TestSd2Efsm. The results of the experiment have demonstrated that the cost measured in time for generating a test environment using the systematic procedure TestSd2Efsm is less than the effort using the manual approach and the test cases generated by the systematic procedure TestSd2Efsm are more effective than those generated by the manual approach. In addition, the perception of the experiment participants is that the quality of the generation of the test environment by the systematic procedure TestSd2Efsm is higher than the quality using the manual approach.