A Web Tool for Type Checking and Testing of SPARQL Queries

  • Jesús M. Almendros-JiménezEmail author
  • Antonio Becerra-Terón
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10360)


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.


  1. 1.
    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 CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Brass, S., Goldberg, C.: Semantic errors in SQL queries: a quite complete list. J. Syst. Softw. 79(5), 630–644 (2006)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Not. 46(4), 53–64 (2011)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reasoning 53(3), 245–269 (2014)CrossRefzbMATHGoogle Scholar
  8. 8.
    Khurshid, S., Marinov, D.: TestEra: specification-based testing of Java programs using SAT. Autom. Softw. Eng. 11(4), 403–434 (2004)CrossRefGoogle Scholar
  9. 9.
    Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297–312 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Jesús M. Almendros-Jiménez
    • 1
    Email author
  • Antonio Becerra-Terón
    • 1
  1. 1.Department of InformaticsUniversity of AlmeríaAlmeríaSpain

Personalised recommendations