Durante todo o período em que estive desenvolvendo este trabalho, pude contar com auxílio, apoio, incentivo, enm, todo tipo de contribuição. Sem dúvida, por mais simples que pareça, cada gesto de alguma forma ajudou a concluir esta pesquisa. A lista de agradecimento é grande. Inicio agradecendo à Serasa Experian, pela apoio necessário para conduzir a pesquisa. À Eliana Otoni, pelo apoio dado durante todo o programa de bolsa. Aos membros do time de arquitetura que forneceram contribuições e sugestões no decorrer do estudo. À Ana Milani, gerente da equipe de Teste e Homologação, que sempre incentivou e acreditou na pesquisa, desde o seu início. Ao Helio Mariano, gerente da equipe de Análise de Negócios, que também incentivou a pesquisa desde o início. Ao Carlos Cândido, Gustavo Tadao, Glauco Reis e aos demais integrantes do Centro SOA. E a todos que de alguma forma contribuíram com o trabalho. Agradeço também à Universidade de São Paulo. À professora orientadora Ana Cristina, por suas valiosas dicas. À Simone Hanazumi, colega de mestrado, que também contribuiu para a realização da pesquisa. Também quero agradecer ao Paulo Silveira por suas contribuições. E tudo isso, sem o apoio fundamental da família, não seria possível. Assim, agradeço à minha amada esposa Michele Lima, pelo suporte e incentivo. Também aos meus pais Antonio e Maria e ao meu irmão Junior, pelo incentivo e pela paciência. Agradeço principalmente ao Pai. Porque és a minha ajuda, canto de alegria à sombra das tuas asas (Sl 63:7). i ii Resumo A velocidade das mudanças e a necessidade de informações disponíveis em vários meios têm feito com que os sistemas atuais se integrem cada vez mais. Neste cenário, arquiteturas orientadas a serviços e Web Services ganham evidência. Por utilizarem padrões já bem difundidos, por exemplo XML (extended markup language), Web Services se destacam pela interoperabilidade e dinamismo, disponibilizados através da Internet e utilizado em ambientes heterogêneos. Contudo, isso afeta signicativamente atributos não funcionais, por exemplo, conabilidade, disponibilidade, entre outros. Para Web Services, além de todos os problemas existentes no paradigma de programação distribuída, temos ainda o problema de que erros em um determinado serviço não devem ser propagados para os demais. Dentre as diversas formas de se contornar o problema, existe a denição de padrões transacionais que visam delinear regras especícas para a comunicação entre os serviços. O objetivo do trabalho é identicar casos de testes que permitam validar a adequação, tanto do serviço quanto da aplicação de padrões denidos, de modo a garantir uma maior conabilidade do sistema como um todo. Para isso, é avaliada a aplicabilidade de técnicas de pertubação e mutação de dados com relação ao padrão estabelecido. Como resultado, obtém-se um subconjunto das técnicas que possuem potencial de identicação de falhas nesse cenário.