ABSTRACT
In this paper we describe a property-based testing tool for SPARQL. Given a SPARQL query, the tool randomly generates test cases which consist on 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. With this aim, a type system has been defined for SPARQL. Test cases are later used to execute the SPARQL query. The output of the SPARQL query is tested with a Boolean property which is defined in terms of membership of ontology individuals to ontology classes. The testing tool reports counterexamples when the Boolean property is not satisfied.
- Jesús M. Almendros-Jiménez and Antonio Becerra-Terón. 2015. XQuery Testing from XML Schema Based Random Test Cases. In Database and Expert Systems Applications,DEXA'2015. Vol. LNCS 9262. Springer, 268--282. Google ScholarCross Ref
- Jesús M. Almendros-Jiménez and Antonio Becerra-Terón. 2016. Automatic Generation of Ecore Models for Testing ATL Transformations. In Model and Data Engineering, MEDI'2016. Vol. LNCS 9893. Springer, 16--30. Google ScholarCross Ref
- Jesús M Almendros-Jiménez and Antonio Becerra-Terón. 2017. Automatic property-based testing and path validation of XQuery programs. Software Testing, Verification and Reliability 27, 1--2 (2017).Google ScholarCross Ref
- Saswat Anand, Edmund K Burke, Tsong Yueh Chen, John Clark, Myra B Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn, et al. 2013. An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software 86, 8 (2013), 1978--2001.Google ScholarDigital Library
- Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George HL Fletcher, Aurélien Lemay, and Nicky Advokaat. 2017. gMark: Schema-driven Generation of Graphs and Queries. IEEE Transactions on Knowledge and Data Engineering 29, 4 (2017), 856--869. Google ScholarDigital Library
- Antonia Bertolino, Jinghua Gao, Eda Marchetti, and Andrea Polini. 2007. Systematic generation of XML instances to test complex software applications. In Rapid Integration of Software Engineering Techniques. Springer, 114--129. Google ScholarCross Ref
- Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. 2002. Korat: Automated testing based on Java predicates. In ACM SIGSOFT Software Engineering Notes, Vol. 27. ACM, 123--133.Google ScholarDigital Library
- Stefan Brass and Christian Goldberg. 2006. Semantic errors in SQL queries: A quite complete list. Journal of Systems and Software 79, 5 (2006), 630--644. Google ScholarDigital Library
- Rafael Caballero, Yolanda García-Ruiz, and Fernando Sáenz-Pérez. 2010. Applying constraint logic programming to SQL test case generation. In International Symposium on Functional and Logic Programming. Springer, 191--206. Google ScholarDigital Library
- David Chays, Yuetang Deng, Phyllis G Frankl, Saikat Dan, Filippos I Vokolos, and Elaine J Weyuker. 2004. An AGENDA for testing relational database applications. Software Testing, verification and reliability 14, 1 (2004), 17--44. Google ScholarCross Ref
- Koen Claessen and John Hughes. 2011. QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN notices 46, 4 (2011), 53--64. Google ScholarDigital Library
- Claudio De La Riva, María José Suárez-Cabal, and Javier Tuya. 2010. Constraint-based test database generation for SQL queries. In Proceedings of the 5th Workshop on Automation of Software Test. ACM, 67--74. Google ScholarDigital Library
- Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. 2014. HermiT: an OWL 2 reasoner. Journal of Automated Reasoning 53, 3 (2014), 245--269. Google ScholarDigital Library
- Christian Grun. 2016. BaseX. The XML Database. (2016). http://basex.org.Google Scholar
- Yuanbo Guo, Zhengxiang Pan, and Jeff Heflin. 2005. LUBM: A benchmark for OWL knowledge base systems. Web Semantics: Science, Services and Agents on the World Wide Web 3, 2 (2005), 158--182. Google ScholarDigital Library
- Muhammad Akhter Javid and Suzanne M. Embury. 2012. Diagnosing faults in embedded queries in database applications. In Proceedings of the 2012 Joint EDBT/ICDT Workshops. ACM, 239--244. Google ScholarDigital Library
- Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A model transformation tool. Science of computer programming 72, 1 (2008), 31--39. Google ScholarDigital Library
- Gregory M Kapfhammer, Phil McMinn, and Chris J Wright. 2013. Search-based testing of relational schema integrity constraints across multiple database management systems. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation. IEEE, 31--40.Google ScholarDigital Library
- Sarfraz Khurshid and Darko Marinov. 2004. TestEra: Specification-based testing of Java programs using SAT. Automated Software Engineering 11, 4 (2004), 403--434. Google ScholarDigital Library
- Dimitris Kontokostas, Patrick Westphal, Sören Auer, Sebastian Hellmann, Jens Lehmann, and Roland Cornelissen. 2014. Databugger: a test-driven framework for debugging the web of data. In Proceedings of the 23rd International Conference on World Wide Web. ACM, 115--118. Google ScholarDigital Library
- Dimitris Kontokostas, Patrick Westphal, Sören Auer, Sebastian Hellmann, Jens Lehmann, Roland Cornelissen, and Amrapali Zaveri. 2014. Test-driven evaluation of linked data quality. In Proceedings of the 23rd international conference on World Wide Web. ACM, 747--758. Google ScholarDigital Library
- Levi Lúcio, Bruno Barroca, and Vasco Amaral. 2010. A technique for automatic validation of model transformations. In Model Driven Engineering Languages and Systems. Springer, 136--150. Google ScholarCross Ref
- Manolis Papadakis and Konstantinos Sagonas. 2011. A PropEr Integration of Types and Function Specifications with Property-Based Testing. In Proceedings of the 2011 ACM SIGPLAN Erlang Workshop. ACM Press, New York, NY, 39--50. Google ScholarDigital Library
- Michael Schmidt, Thomas Hornung, Georg Lausen, and Christoph Pinkel. 2009. SP2Bench: a SPARQL performance benchmark. In 2009 IEEE 25th International Conference on Data Engineering. IEEE, 222--233.Google ScholarDigital Library
- Mark Utting, Alexander Pretschner, and Bruno Legeard. 2012. A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability 22, 5 (2012), 297--312. Google ScholarDigital Library
- Priscilla Walmsley. 2007. XQuery - search across a variety of XML data. O'Reilly. I--XV, 1--491 pages.Google Scholar
- Jian Zhang, Chen Xu, and S-C Cheung. 2001. Automatic generation of database instances for white-box testing. In Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International. IEEE, 161--165.Google ScholarCross Ref
Index Terms
- Property-based testing of SPARQL queries
Recommendations
Syntactic and semantic validation of SPARQL queries
SAC '17: Proceedings of the Symposium on Applied ComputingIn this paper we present a tool to syntactically and semantically validate SPARQL queries. With this aim, we extract triple patterns and filter conditions from SPARQL queries and we use the OWL API and an OWL ontology reasoner in order to detect wrong ...
RDF, Jena, SparQL and the 'Semantic Web'
SIGUCCS '09: Proceedings of the 37th annual ACM SIGUCCS fall conference: communication and collaborationThe Resource Description Format (RDF) is used to represent information modeled as a "graph": a set of individual objects, along with a set of connections among those objects. In that role, RDF is one of the pillars of the so-called Semantic Web. This ...
Using SPARQL to query bioportal ontologies and metadata
ISWC'12: Proceedings of the 11th international conference on The Semantic Web - Volume Part IIBioPortal is a repository of biomedical ontologies--the largest such repository, with more than 300 ontologies to date. This set includes ontologies that were developed in OWL, OBO and other languages, as well as a large number of medical terminologies ...
Comments