SPARQL Textual: Testing of SPARQL Programs

In this project, we propose a property-based testing tool for SPARQL. 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. With this aim, a type system has been defined for SPARQL. Test cases are after used to execute queries. The output of the queries are 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.

It takes the following inputs:

• an ontology,
• a SPARQL query to be tested,
• a SPARQL property,
• a binding , e.g., ('event','http://www.semanticweb.org/ontologies/2011/7/socialnetwork.owl#Popular_event'),
• a number of steps in test case generation, e.g., 2
• an ontology name, e.g., socialnetwork

Check the web interface in the next tabs.

Please let me know if you have any question or comment to jalmen@ual.es.

Ontology Input (vs Transformed XML Schema) Query Results Property Binding	Choose an ontology example select an ontology Example 1 Example 2 Example 3a Example 3b Example 4 Example 5 Example 6 clear Steps Ontology Name TEST

Ontology Input (vs Transformed XML Schema) Query Results Property Binding	(1) Click on the next button to transform the ontology into XML Schema Ontology2XMLSchema Transformation XML Schema Pruning Ontology Classes Ontology Properties Individual Values (separated by ,)