A Test Suite for JSON Schema Containment - Archive ouverte HAL
Poster De Conférence Année : 2021

A Test Suite for JSON Schema Containment

Résumé

JSON is a very popular data exchange format, and JSON Schema an increasingly popular schema language for JSON. Evidently, schemas play an important role in implementing conceptual models. For JSON Schema, there is a first generation of tools for checking whether one schema is contained in another. This is an important task when comparing schemas, and ultimately, the conceptual models that they capture. Testing whether such tool implementations are correct is difficult, since writing test cases requires a deep understanding of the JSON Schema language. In this demo, we present the first systematically generated test suite for JSON Schema containment checking. This test suite consists of pairs of schemas where the containment relationship is known by construction. Our test suite aims at covering all language features of JSON Schema. Applying existing containment checkers (including our own implementation) to our test suite, we discovered implementation bugs not known to us. We offer our test suite to the research community as well as to tool developers, hoping to contribute to the development of JSON Schema containment checkers.
Fichier principal
Vignette du fichier
2021-testsuite.pdf (818.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03942896 , version 1 (17-01-2023)

Licence

Identifiants

  • HAL Id : hal-03942896 , version 1

Citer

Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, et al.. A Test Suite for JSON Schema Containment. ER Posters/Demo 2021 - 40th International Conference on Conceptual Modeling, Oct 2021, St. John's, Canada. Demos/Posters. ⟨hal-03942896⟩
72 Consultations
52 Téléchargements

Partager

More