Property-based Testing of SPARQL queries Jess M. Almendros-Jimnez - PowerPoint PPT Presentation

Property-based Testing of SPARQL queries Jesús M. Almendros-Jiménez Antonio Becerra-Terón University of Almería, SPAIN 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing of SPARQL • SPARQL program bugs: debugging and testing • Type Checking • Wrongly typed (empty answers • Testing • Disagreement between expected behavior and answers ( 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking Query: Universities of SELECT ?Person ?Paper ?University Invited Talks of 2- WHERE authors papers { ?Person ?Person ?Person ?Paper ?Paper FILTER ( 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking SELECT ?Person ?Paper ?University Wrong typing: WHERE has not { ?Person :attends :DBPL . type :University ?Person :affiliation Wrong typing: ?University has not type :Person Wrong typing: FILTER (?na >= 2) } has not type :Paper 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Testing SELECT ?Person ?Paper ?University Missing Triple! WHERE { ?Person :attends :DBPL . ?Person :affiliation ?University . ?Paper rfd:type :Invited_talk . � Unexpected behavior! ?Paper :numberofAuthors ?na . Wrong answers!! FILTER (?na >= 2) } 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Testing SELECT ?Person ?Student ?University Wrong Triple! WHERE ?Person :age ?age { ?Person :author :Paper . ?Student :author Paper . � ?Paper rfd:type :Student_Paper . Unexpected behavior! Wrong answers!! FILTER (?age <= 30) } 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Testing SELECT ?Person ?Paper ?University { Property: is ?Person the author of ?Person :attends :DBPL . ?Paper ? ?Person :affiliation ?University . ?Paper rfd:type :Invited_talk ?Paper :numberofAuthors ?na FILTER (?na >= 2) } 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Testing SELECT ?Person ?Student ?University WHERE Property: { ?Person :author :Paper . is ?Student younger than 30? ?Student :author Paper . ?Paper rfd:type :Student_paper . ?Person :age ?age. FILTER (?age <= 30) } 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type System for SPARQL 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Testing of SPARQL Ontology to XML Schema Mapping Test Case Generation 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing of SPARQL • Type Checking using an Ontology Reasoner (Hermit) for • Testing using an Ontology Reasoner (Hermit) for test cases consistence • Testing using 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing of SPARQL Type Checking Tool results: 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing of SPARQL Randomly generated test cases Problem => Inconsistent Test Cases Example: :coauthor is irreflexive 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing of SPARQL Testing success 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing of SPARQL Testing fail 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing Tool http://minerva.ual.es:8080/SPARQL 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Type Checking and Testing Tool Pruning and Customization of Test Cases 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Benchmarks 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Benchmarks 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Conclusions and Future Work • Testing tool based on Test Case Generation from XML Schema • Detection of Buggy SPARQL Queries • Extending the output property set • White-Box Testing: Constraint Solving 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany

Thanks for your Attention Jesús M. Almendros-Jiménez Antonio Becerra-Terón University of Almería SPAIN