Descripción
|
|
---|---|
This article describes a systematic approach to testing behavioural aspects of Web Services that communicate using the JSON data format. As a key component, the Quviq QuickCheck property-based testing tool is used to automatically generate a large number of test cases from an abstract description of the service behaviour in the form of a finite state machine. The same behavioural description is also used to decide whether the execution of a test case is successful or not. To generate random JSON data for populating tests we have developed a new library, jsongen, which given a characterisation of the JSON data as a JSON schema, automatically derives a QuickCheck generator which is capable of generating an infinite number of JSON values that validate against the schema. | |
Internacional
|
Si |
Nombre congreso
|
International Conference on Web Services ICWS 2014 |
Tipo de participación
|
960 |
Lugar del congreso
|
Anchorage Alaska USA |
Revisores
|
Si |
ISBN o ISSN
|
978-1-4799-5053-9 |
DOI
|
10.1109/ICWS.2014.110 |
Fecha inicio congreso
|
27/06/2014 |
Fecha fin congreso
|
02/07/2014 |
Desde la página
|
704 |
Hasta la página
|
707 |
Título de las actas
|
Web Services (ICWS), 2014 IEEE International Conference on |