Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/ICWS.2014.110 | ICWS |
Keywords | Field | DocType |
Web Services, Testing and Debugging | Programming language,Property based testing,Computer science,Server,Finite-state machine,Test case,Web service,JSON,Schema (psychology),Database,JSON-LD | Conference |
Citations | PageRank | References |
5 | 0.47 | 1 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lars-åke Fredlund | 1 | 264 | 36.64 |
Clara Benac Earle | 2 | 150 | 19.70 |
Ángel Herranz-Nieva | 3 | 5 | 0.47 |
Julio Mariño-Carballo | 4 | 5 | 0.81 |
Benac Earle, C. | 5 | 5 | 0.47 |
Herranz, A. | 6 | 5 | 0.47 |
Marino, J. | 7 | 5 | 0.47 |