Property-Based Testing of SPARQL Queries

被引：0
|
作者：
Almendros-Jimenez, Jesus M. [1 ]
Becerra-Teron, Antonio [1 ]
机构：
[1] Univ Almeria, Dept Informat, Almeria, Spain
来源：
PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017) | 2017年
关键词：
SPARQL; Testing; Type Systems;
D O I：
10.1145/3122831.3122836
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页数：11
相关论文
共 50 条
  • [1] Developments in Property-Based Testing
    Midtgaard, Jan
    [J]. PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 1 - 1
  • [2] Targeted Property-Based Testing
    Loscher, Andreas
    Sagonas, Konstantinos
    [J]. PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 46 - 56
  • [3] A Primer on Property-Based Testing
    Koparkar, Chaitanya
    [J]. XRDS: Crossroads, 2024, 30 (02): : 40 - 41
  • [4] Foundational Property-Based Testing
    Paraskevopoulou, Zoe
    Hritcu, Catalin
    Denes, Maxime
    Lampropoulos, Leonidas
    Pierce, Benjamin C.
    [J]. INTERACTIVE THEOREM PROVING, 2015, 9236 : 325 - 343
  • [5] Property-Based Mutation Testing
    Bartocci, Ezio
    Mariani, Leonardo
    Nickovic, Dejan
    Yadav, Drishti
    [J]. 2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 222 - 233
  • [6] Towards Substructural Property-Based Testing
    Mantovani, Marco
    Momigliano, Alberto
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 92 - 112
  • [7] Property-Based Testing - The ProTest Project
    Derrick, John
    Walkinshaw, Neil
    Arts, Thomas
    Earle, Clara Benac
    Cesarini, Francesco
    Fredlund, Lars-Ake
    Gulias, Victor
    Hughes, John
    Thompson, Simon
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 250 - +
  • [8] Teaching students Property-based Testing
    Earle, Clara Benac
    Fredlund, Lars-Ake
    Marino, Julio
    Arts, Thomas
    [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 437 - 442
  • [9] Advances in Property-Based Testing for αProlog
    Cheney, James
    Momigliano, Alberto
    Pessina, Matteo
    [J]. TESTS AND PROOFS, TAP 2016, 2016, 9762 : 37 - 56
  • [10] PrologCheck - Property-Based Testing in Prolog
    Amaral, Claudio
    Florido, Mario
    Costa, Vitor Santos
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
12345