Skip to main content

2017 | OriginalPaper | Buchkapitel

A Web Tool for Type Checking and Testing of SPARQL Queries

verfasst von : Jesús M. Almendros-Jiménez, Antonio Becerra-Terón

Erschienen in: Web Engineering

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper a property-based testing tool for SPARQL is described. The tool randomly generates test cases in the form of instances of an ontology. The tool checks the well typed-ness of the SPARQL query as well as the consistency of the test cases with the ontology axioms. Test cases are after used to execute queries. The output of the queries is tested with a Boolean property which is defined in terms of membership of ontology individuals to classes. The testing tool reports counterexamples when the Boolean property is not satisfied.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Values are added to the XML Schema in our approach.
 
Literatur
1.
Zurück zum Zitat Almendros-Jiménez, J.M., Becerra-Terón, A.: Automatic generation of ecore models for testing ATL transformations. In: Bellatreche, L., Pastor, Ó., Almendros Jiménez, J.M., Aït-Ameur, Y. (eds.) MEDI 2016. LNCS, vol. 9893, pp. 16–30. Springer, Cham (2016). doi:10.1007/978-3-319-45547-1_2 CrossRef Almendros-Jiménez, J.M., Becerra-Terón, A.: Automatic generation of ecore models for testing ATL transformations. In: Bellatreche, L., Pastor, Ó., Almendros Jiménez, J.M., Aït-Ameur, Y. (eds.) MEDI 2016. LNCS, vol. 9893, pp. 16–30. Springer, Cham (2016). doi:10.​1007/​978-3-319-45547-1_​2 CrossRef
2.
Zurück zum Zitat Almendros-Jiménez, J.M., Becerra-Terón, A.: Automatic property-based testing and path validation of XQuery programs. Softw. Test. Verif. Reliab. 27(1–2), 1–29 (2017) Almendros-Jiménez, J.M., Becerra-Terón, A.: Automatic property-based testing and path validation of XQuery programs. Softw. Test. Verif. Reliab. 27(1–2), 1–29 (2017)
3.
Zurück zum Zitat Brass, S., Goldberg, C.: Semantic errors in SQL queries: a quite complete list. J. Syst. Softw. 79(5), 630–644 (2006)CrossRef Brass, S., Goldberg, C.: Semantic errors in SQL queries: a quite complete list. J. Syst. Softw. 79(5), 630–644 (2006)CrossRef
4.
Zurück zum Zitat Chays, D., Deng, Y., Frankl, P.G., Dan, S., Vokolos, F.I., Weyuker, E.J.: An AGENDA for testing relational database applications. Softw. Test. Verif. Reliab. 14(1), 17–44 (2004)CrossRef Chays, D., Deng, Y., Frankl, P.G., Dan, S., Vokolos, F.I., Weyuker, E.J.: An AGENDA for testing relational database applications. Softw. Test. Verif. Reliab. 14(1), 17–44 (2004)CrossRef
5.
Zurück zum Zitat Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Not. 46(4), 53–64 (2011)CrossRef Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Not. 46(4), 53–64 (2011)CrossRef
6.
Zurück zum Zitat De La Riva, C., Suárez-Cabal, M.J., Tuya, J.: Constraint-based test database generation for SQL queries. In: Proceedings of the 5th Workshop on Automation of Software Test, pp. 67–74. ACM (2010) De La Riva, C., Suárez-Cabal, M.J., Tuya, J.: Constraint-based test database generation for SQL queries. In: Proceedings of the 5th Workshop on Automation of Software Test, pp. 67–74. ACM (2010)
7.
Zurück zum Zitat Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53(3), 245–269 (2014)CrossRefMATH Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53(3), 245–269 (2014)CrossRefMATH
8.
Zurück zum Zitat Khurshid, S., Marinov, D.: TestEra: specification-based testing of Java programs using SAT. Autom. Softw. Eng. 11(4), 403–434 (2004)CrossRef Khurshid, S., Marinov, D.: TestEra: specification-based testing of Java programs using SAT. Autom. Softw. Eng. 11(4), 403–434 (2004)CrossRef
9.
Zurück zum Zitat Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297–312 (2012)CrossRef Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297–312 (2012)CrossRef
Metadaten
Titel
A Web Tool for Type Checking and Testing of SPARQL Queries
verfasst von
Jesús M. Almendros-Jiménez
Antonio Becerra-Terón
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-60131-1_38