Skip to main content

Towards Property-Based Testing of RESTful Web Services

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (KAR id:34865)

PDF (Full paper to accompany poster in Erlang Workshop 2013 proceedings.) Supplemental Material
Language: English

Download (211kB) Preview
[thumbnail of Full paper to accompany poster in Erlang Workshop 2013 proceedings.]
This file may not be suitable for users of assistive technology.
Request an accessible format


Developing APIs as Web Services over HTTP implies adding an extra layer to software, compared to the ones that we would

In this paper, as a first step towards automating the testing of Web Services over HTTP, we describe a practical mechanism and model for testing RESTful Web Services without side effects and give an example of how we successfully adapted that mechanism to test two different existing Web Services: Storage Room by Thriventures and Google Tasks by Google. For this task we have used Erlang together with state machine models in the property-based testing tool Quviq QuickCheck, implemented using the statem module.

Item Type: Monograph (Technical report)
Uncontrolled keywords: web services, REST, Representational State Transfer, Quviq, QuickCheck, Erlang, state machine, generator, property-based testing
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Simon Thompson
Date Deposited: 26 Jul 2013 21:05 UTC
Last Modified: 16 Feb 2021 12:46 UTC
Resource URI: (The current URI for this page, for reference purposes)
Thompson, Simon:
  • Depositors only (login required):


Downloads per month over past year