Formal testing approaches for service-oriented architectures and web services: a systematic review.
| dc.contributor | Instituto de Ciências Matemáticas e de Computação – ICMC/USP | pt_BR |
| dc.contributor.author | Endo, André Takeshi | |
| dc.contributor.author | Simão, Adenilso da Silva | |
| dc.date.accessioned | 2018-02-09T14:18:59Z | |
| dc.date.available | 2018-02-09T14:18:59Z | |
| dc.date.issued | 2010-03 | |
| dc.description.abstract | Service-oriented architectures and web services have been used as important technologies to foster the development of loosely coupled and distributed applications. Web services pose new challenges for the testing activity, mainly because mission-critical and complex business process systems are implemented with them. In this context, formal testing approaches are necessary to guarantee the service quality. In this document, we identify formal approaches proposed to test service-oriented architectures and web services, analyzing the application context, models, empirical study, authorship, and references. A systematic review was planned and executed to select the studies considered in this work. We observed that, though more experiments and cooperation are necessary, there is a considerable interest in the topic. | pt_BR |
| dc.description.notes | Relatórios Técnicos do ICMC; 348 | pt_BR |
| dc.format | 42 p. | pt_BR |
| dc.identifier.uri | http://repositorio.icmc.usp.br//handle/RIICMC/6689 | |
| dc.language.iso | eng | pt_BR |
| dc.publisher.city | São Carlos, SP, Brasil. | pt_BR |
| dc.subject | Engenharia de software | pt_BR |
| dc.subject | Sistemas da informação | pt_BR |
| dc.title | Formal testing approaches for service-oriented architectures and web services: a systematic review. | pt_BR |
| dc.title.alternative | Abordagens de testes formais para arquiteturas orientadas a serviços e serviços web: uma revisão sistemática. | pt_BR |
| dc.type.category | Relatórios técnicos | pt_BR |
| usp.description.abstracttranslated | Arquiteturas-orientadas a serviços e serviços web têm sido usadas como importantes tecnologias para incentivar o desenvolvimento de aplicações flexivelmente acopladas e distribuídas. Os serviços da Web representam novos desafios para a atividade de teste, principalmente porque a missão crítica e sistemas complexos de processos de negócios são implementados com eles. Nesse contexto, formal as abordagens de teste são necessárias para garantir a qualidade do serviço. Neste documento, identificamos abordagens formais propostas para testar arquiteturas orientadas a serviços e web serviços, análise do contexto da aplicação, modelos, estudo empírico, autoria e referências. Uma revisão sistemática foi planejada e executada para selecionar os estudos considerados neste trabalho. Observamos que, embora sejam necessárias mais experiências e cooperação, existe um interesse considerável no tópico. | pt_BR |