Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Property-based Testing of JSON based Web Services
Año:2014
Áreas de investigación
  • Ingenierías
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Clara Benac Earle (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)