SERVICE oriented architecture (SOA) is an architectural style to structure software systems, fostering loose coupling and dynamic integration among the applications. The use of SOA and Web services to develop complex and large business processes demands more formal and systematic testing. In addition, characteristics of this type of software limit the straightforward application of traditional testing techniques. Model-based testing (MBT) is a promising approach to deal with these problems. This dissertation investigates how two modeling techniques, namely Finite State Machine (FSM) and Event Sequence Graph (ESG), can be used to support MBT of service-oriented applications. Both techniques model different aspects and can be applied in a complementary way. Initially, we define an MBT process for service-oriented applications that employs FSMs. Based on previous experience, we propose a model-based approach to test composite services using ESGs. This approach is holistic, once test suites are generated to cover both desired situations (positive testing) and unexpected behaviors (negative testing). Three experimental studies evaluate the proposed approach: (i) a case study, (ii) a cost analysis, and (iii) a study in industry. Testing tools are also presented to support its practical use / A Arquitetura orientada a serviço (SOA) é um estilo arquitetural para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. A incorporação de SOA e serviços Web em sistemas que modelam processos de negócios grandes e complexos contribui para a necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. O teste baseado em modelo (TBM) apresenta-se como uma abordagem promissora que busca a resolução desses problemas. Esta tese investiga como duas técnicas de modelagem, Máquina de Estados Finitos (MEF) e Grafo de Sequência de Eventos (GSE), podem ser utilizadas para apoiar o TBM de aplicações orientadas a serviço. Essas técnicas modelam diferentes aspectos e podem ser aplicadas de forma complementar. Inicialmente, é definido um processo de TBM para aplicações orientadas a serviço que emprega MEFs. Com base na experiência adquirida, é proposta uma abordagem baseada em modelo para o teste de serviços compostos usando GSEs. Essa abordagem é holística uma vez que conjuntos de teste são gerados para cobrir tanto situações desejadas (teste positivo) quanto comportamentos inesperados (teste negativo). Três estudos experimentais avaliam a abordagem proposta: (i) um estudo de caso, (ii) uma análise de custo e (ii) um estudo na indústria. Ferramentas de teste também são apresentadas para apoiar o uso prático da abordagem proposta

A Arquitetura Orientada a Serviço SOA (Service Oriented Architecture) firmou-se como paradigma de desenvolvimento de sistemas de tecnologia da informação e comunicação TIC, pelas suas características que proporcionam flexibilidade, agilidade, reuso e escalabilidade. Porém, para que uma aplicação SOA seja bem-sucedida é imperativo que seja embasada por uma governança eficaz. Como desenvolver e manter esta governança atualizada em um ambiente com rápidas e imprevisíveis mudanças é um grande desafio. Este trabalho tem como objetivo apresentar uma metodologia para que uma organização com infra-estrutura modesta de TI possa manter esta governança SOA (governança de sistemas baseados na Arquitetura Orientada a Serviço), utilizando as capacidades dinâmicas constituídas por habilidades e rotinas peculiares da organização. A contribuição do trabalho reside na ligação, praticamente inexistente, das linhas de pesquisa de governança SOA e de capacidades dinâmicas. Para isto, o trabalho identifica o que precisa ser feito (framework), quem são os responsáveis pelo desenvolvimento e manutenção (atores) e como atuar na governança SOA (plataforma). O desenvolvimento foi embasado por uma extensa pesquisa dos conceitos envolvidos, seguido pela inferência das capacidades dinâmicas necessárias para a governança SOA e, finalmente, a implementação de uma plataforma que permite ao analista de processos mudar a governança SOA de forma interativa. O trabalho teve como resultados a elaboração de uma metodologia e um sistema de manutenção da governança operacional de sistemas baseados em SOA. A metodologia compreende os requisitos e a forma de análise das mudanças dos elementos que compõem a governança SOA. O sistema é constituído por um framework e uma plataforma de implantação ágil e eficaz, para aplicar capacidades dinâmicas na governança SOA. / SOA Service Oriented Architecture has been established as the paradigm for IT Information Technology systems development, due to its features that promotes flexibility, agility, reuse and scalability. However, an SOA application to be successful must be supported by effective governance. How to develop and maintain this governance up to date in a fast and unpredictable environment is a great challenge. This work aims to present a methodology that allows a modest IT infrastructure to be able to cope with SOA governance, using dynamic capabilities (particular abilities and routines of an organization). The contribution of this work is the link (practically inexistent) between lines of research in SOA governance and dynamic capabilities. To accomplish this purpose, this work sought to what must be done (framework), who is the responsible for the development and maintenance (owner), and how to perform the SOA governance (platform). The development has been founded by an extensive research of involved concepts, inference of required dynamic capabilities to maintain the SOA governance and the development of a platform that allows a process analyst to change SOA governance interactively. The results were a methodology and a maintenance system of SOA operational governance. The methodology comprises the requirements and changes in the analysis procedure of the elements of the SOA governance. The system is composed of an agile and effective implementation framework and platform that enable how to apply dynamic capabilities into the SOA governance. The Introduction presents examples of practical application (motivation), the goal, the justification, and the scope. Chapter 2 presents an extensive literature review about SOA, SOA governance, and dynamic capabilities, from both academic and commercial literature. Chapter 3 presents the methodology and a brief history of the development. Chapter 4 presents the development of the proposed system. Chapter 5 discusses some topics related to the proposition. Chapter 6 presents the conclusion and proposals for future developments.

SERVICE oriented architecture (SOA) is an architectural style to structure software systems, fostering loose coupling and dynamic integration among the applications. The use of SOA and Web services to develop complex and large business processes demands more formal and systematic testing. In addition, characteristics of this type of software limit the straightforward application of traditional testing techniques. Model-based testing (MBT) is a promising approach to deal with these problems. This dissertation investigates how two modeling techniques, namely Finite State Machine (FSM) and Event Sequence Graph (ESG), can be used to support MBT of service-oriented applications. Both techniques model different aspects and can be applied in a complementary way. Initially, we define an MBT process for service-oriented applications that employs FSMs. Based on previous experience, we propose a model-based approach to test composite services using ESGs. This approach is holistic, once test suites are generated to cover both desired situations (positive testing) and unexpected behaviors (negative testing). Three experimental studies evaluate the proposed approach: (i) a case study, (ii) a cost analysis, and (iii) a study in industry. Testing tools are also presented to support its practical use / A Arquitetura orientada a serviço (SOA) é um estilo arquitetural para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. A incorporação de SOA e serviços Web em sistemas que modelam processos de negócios grandes e complexos contribui para a necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. O teste baseado em modelo (TBM) apresenta-se como uma abordagem promissora que busca a resolução desses problemas. Esta tese investiga como duas técnicas de modelagem, Máquina de Estados Finitos (MEF) e Grafo de Sequência de Eventos (GSE), podem ser utilizadas para apoiar o TBM de aplicações orientadas a serviço. Essas técnicas modelam diferentes aspectos e podem ser aplicadas de forma complementar. Inicialmente, é definido um processo de TBM para aplicações orientadas a serviço que emprega MEFs. Com base na experiência adquirida, é proposta uma abordagem baseada em modelo para o teste de serviços compostos usando GSEs. Essa abordagem é holística uma vez que conjuntos de teste são gerados para cobrir tanto situações desejadas (teste positivo) quanto comportamentos inesperados (teste negativo). Três estudos experimentais avaliam a abordagem proposta: (i) um estudo de caso, (ii) uma análise de custo e (ii) um estudo na indústria. Ferramentas de teste também são apresentadas para apoiar o uso prático da abordagem proposta