Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (2014)
- Authors:
- Autor USP: PINHEIRO, PEDRO VICTOR PONTES - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; ARQUITETURA ORIENTADA A SERVIÇOS; UML; ENGENHARIA DE SOFTWARE
- Keywords: Arquitetura orientada a recursos; Geração de casos de teste; Máquina de estados de protocolos UML; Model-based testing; Resource-oriented architecture; RESTful web services; Serviços RESTful; Test case generation; Teste baseado em modelos; UML protocol state machine
- Language: Português
- Abstract: A Arquitetura Orientada a Serviços (SOA) é um estilo arquitetural formado por um conjunto de restrições que visa promover a escalabilidade e a flexibilidade de um sistema, provendo suas funcionalidades como serviços. Nos últimos anos, um estilo alternativo foi proposto e amplamente adotado, que projeta as funcionalidades de um sistema como recursos. Este estilo arquitetural orientado a recursos é chamado de REST. O teste de serviços web em geral apresenta vários desafios devido a sua natureza distribuída, canal de comunicação pouco confiável, baixo acoplamento e a falta de uma interface de usuário. O teste de serviços RESTful (serviços que utilizam o REST) compartilham estes mesmos desafios e ainda necessitam que suas restrições sejam obedecidas. Estes desafios demandam testes mais sistemáticos e formais. Neste contexto, o teste baseado em modelos (TBM) se apresenta como um processo viável para abordar essas necessidades. O modelo que representa o sistema deve ser simples e ao mesmo tempo preciso para que sejam gerados casos de teste com qualidade. Com base nesse contexto, este projeto de mestrado propõe uma abordagem baseada em modelos para testar serviços RESTful. O modelo comportamental adotado foi a máquina de estados de protocolos UML, capaz de formalizar a interface do serviço enquanto esconde o seu funcionamento interno. Uma ferramenta foi desenvolvida para gerar automaticamente os casos de teste usando critérios de cobertura de estados e transições para percorrer o modelo
- Imprenta:
- Publisher place: São Carlos
- Date published: 2014
- Data da defesa: 15.04.2014
-
ABNT
PINHEIRO, Pedro Victor Pontes. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/. Acesso em: 02 abr. 2026. -
APA
Pinheiro, P. V. P. (2014). Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/ -
NLM
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2026 abr. 02 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/ -
Vancouver
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2026 abr. 02 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
