• Corpus ID: 15256952

Model-Based Testing of RESTful Web Services Using UML Protocol State Machines

@inproceedings{Pinheiro2013ModelBasedTO,
  title={Model-Based Testing of RESTful Web Services Using UML Protocol State Machines},
  author={Pedro Pinheiro and Andr{\'e} Takeshi Endo and Adenilso da Silva Sim{\~a}o},
  year={2013}
}
Service-Oriented Architecture is a well-known architectural style that promotes many benefits among enterprise systems. In the last years, an alternative architectural style, so-called REST, has been proposed and widely adopted to design services’ capabilities as resources. However, when it comes to verify these services, many challenges arise and hinder the process of testing. This paper proposes a model-based approach to test RESTful Web services using the UML protocol state machine as the… 

Figures from this paper

RESTful API Automated Test Case Generation
  • A. Arcuri
  • Computer Science
    2017 IEEE International Conference on Software Quality, Reliability and Security (QRS)
  • 2017
TLDR
This paper proposes a fully automated white-box testing approach, where test cases are automatically generated using an evolutionary algorithm, and tests are rewarded based on code coverage and fault finding metrics.
Resource-based test case generation for RESTful web services
TLDR
This paper proposes an enhanced search-based method for automated system test generation for RESTful web services by implementing a set of effective templates to structure test actions, based on the semantics of HTTP methods, used to manipulate the web services' resources.
RESTful API Automated Test Case Generation with EvoMaster
  • A. Arcuri
  • Computer Science
    ACM Trans. Softw. Eng. Methodol.
  • 2019
TLDR
This article proposes a fully automated white-box testing approach for RESTful APIs, where test cases are automatically generated using an evolutionary algorithm, and shows that this novel technique automatically found 80 real bugs in those applications.
AI-Driven Web API Testing
  • Alberto Martin-Lopez
  • Computer Science
    2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  • 2020
TLDR
The main aim of this dissertation is to take web API testing to an unprecedented level of automation and thoroughness by applying artificial intelligence (AI) techniques for the autonomous detection of software failures.
A Black Box Tool for Robustness Testing of REST Services
TLDR
A tool (named bBOXRT) is presented for performing robustness tests over REST services, solely based on minimal information expressed in their interface descriptions, which shows that REST services are being deployed preserving software defects that harm service integration, and also carrying security vulnerabilities that can be exploited by malicious users.
Metamorphic Testing of RESTful Web APIs
TLDR
This paper proposes six abstract relations that capture the shape of many of the metamorphic relations found in RESTful Web APIs, and proposes six Metamorphic Relation Output Patterns (MROPs), which can be instantiated into one or more concrete metamorphIC relations.
[Journal First] Metamorphic Testing of RESTful Web APIs
TLDR
A metamorphic testing approach for the automated detection of faults in RESTful Web APIs (henceforth also referred to as simply Web APIs) is presented and the concept of meetamorphic relation output patterns is introduced.
Verification of Microservices Using Metamorphic Testing
TLDR
This paper investigates how to apply metamorphic testing into the verification of microservices-based applications, which is a simple yet effective approach to oracle problem, and shows that in the absence of oracles, metamorphics testing can deliver relatively high failure-detection effectiveness.
SITUATION-ORIENTED DATABASES: DOCUMENT MANAGEMENT ON THE BASE OF EMBEDDED DYNAMIC MODEL
TLDR
Present state of research situation-oriented databases (SODB) and Hierarchical situational model (HSM), used as a meta-model for the dynamic modeling of specific applications, is considered.
SITUATION-ORIENTED DATABASES: DOCUMENT MANAGEMENT ON THE BASE OF EMBEDDED DYNAMIC MODEL
Present state of research situation-oriented databases (SODB) is discussed. SODB as model-driven data-processing application is considered. Using the embedded finite-state dynamic model for the
...
1
2
...

References

SHOWING 1-10 OF 26 REFERENCES
Modeling RESTful applications
TLDR
A first version of such a REST metamodel is presented and used to model an example application, which offers a vocabulary for REST in practice and the basis for model driven development.
Modeling a composite RESTful web service with UML
TLDR
A UML based modeling approach for the composition of RESTful web services that models the composition for its static and behavioral features and illustrates the applicability of the approach with a sample Hotel and Flight booking RESTful composite web service.
Modeling behavioral RESTful web service interfaces in UML
TLDR
This paper presents an approach to model the structural and behavioral interface of a RESTful web service using UML class and UML protocol diagrams, which lead to RESTful interfaces that describe the behavior of operations in terms of preconditions and postconditions.
Automated Test Code Generation from UML Protocol State Machines
TLDR
This paper presents a framework for automated generation of executable test code from UML 2.0 protocol state machines that transforms the state invariants and transition postconditions of a state model into executable assertions to be verified against the actual object states by runtime code instrumentation.
Test-the-REST: An Approach to Testing RESTful Web-Services
  • S. Chakrabarti, Prashant Kumar
  • Computer Science
    2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns
  • 2009
TLDR
This paper has developed an approach fortesting RESTful web-services of the above infrastructure by developing and using Test-the-REST, a prototype of which was used in testing a RESTful service of theabove infrastructure early in the construction phase.
A Formal Semantics for Complete UML State Machines with Communications
TLDR
This work proposes a formal operational semantics covering all features of the latest version (2.4.1) of UML state machines specification, and uses labelled transition systems as the semantic model, so as to use automatic verification techniques like model checking.
A Framework for Testing RESTful Web Services
  • H. Reza, D. V. Gilst
  • Computer Science
    2010 Seventh International Conference on Information Technology: New Generations
  • 2010
TLDR
A software framework for providing a variety of test inputs for web service depended software, including predetermined test cases, replay of previous data, and generation of random test cases through data perturbation from a provided template is discussed.
Connectedness testing of RESTful web-services
TLDR
This article presents an algorithm for testing the connectedness of RESTful webservices, using a formal specification of the web-service and a formal notation developed to specify RESTful web-services.
Formalization and Automated Verification of RESTful Behavior
TLDR
It is shown that the constraints of REST and of RESTful HTTP can be precisely formulated within temporal logic, which leads to methods for model checking and run-time verification of RESTy behavior.
Testing and verification in service‐oriented architecture: a survey
TLDR
The previous work undertaken on testing and verification of service‐centric systems is surveyed, showing the strengths and weaknesses of current strategies and testing tools and identifying issues for future work.
...
1
2
3
...