Tese

Model based testing of service oriented applications (2013)

• Authors:
  • Endo, André Takeshi
  • Simão, Adenilso da Silva (Orientador)
• Autor USP: ENDO, ANDRÉ TAKESHI - ICMC
• Unidade: ICMC
• Sigla do Departamento: SSC
• Subjects: ENGENHARIA DE SOFTWARE; TESTE E AVALIAÇÃO DE SOFTWARE (DESENVOLVIMENTO;MODELOS); GRAFOS ALEATÓRIOS (SEQUÊNCIA); WORLD WIDE WEB (SERVIÇOS); LINGUAGEM DE PROGRAMAÇÃO; ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
• Keywords: Event sequence graphs; Finite state machines; Grafos de sequência de eventos; Máquinas de estados finitos; Model based testing; Service oriented architecture; Serviços web; Teste baseado em modelo. Arquitetura orientada a serviço; Web services
• Language: Inglês
• Abstract: 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
• Imprenta:
  • Publisher place: São Carlos
  • Date published: 2013
• Data da defesa: 19.04.2013


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  ENDO, André Takeshi. Model based testing of service oriented applications. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/. Acesso em: 28 fev. 2026.

• APA

  Endo, A. T. (2013). Model based testing of service oriented applications (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/

• NLM

  Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2026 fev. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/

• Vancouver

  Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2026 fev. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos