Advances in Property-Based Testing for αProlog

被引：4
|
作者：
Cheney, James [1 ]
Momigliano, Alberto [2 ]
Pessina, Matteo [2 ]
机构：
[1] Univ Edinburgh, Edinburgh, Midlothian, Scotland
[2] Univ Milan, Milan, Italy
来源：
TESTS AND PROOFS, TAP 2016 | 2016年 / 9762卷
关键词：
D O I：
10.1007/978-3-319-41135-4_3
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
alpha Check is a light-weight property-based testing tool built on top of alpha Prolog, a logic programming language based on nominal logic. alpha Prolog is particularly suited to the validation of the meta-theory of formal systems, for example correctness of compiler translations involving name-binding, alpha-equivalence and capture-avoiding substitution. In this paper we describe an alternative to the negation elimination algorithm underlying alpha Check that substantially improves its effectiveness. To substantiate this claim we compare the checker performances w.r.t. two of its main competitors in the logical framework niche, namely the QuickCheck/Nitpick combination offered by Isabelle/HOL and the random testing facility in PLT-Redex.
引用
收藏
页码：37 / 56
页数：20
相关论文
共 50 条
  • [31] Specification testing of agent-based simulation using property-based testing
    Jonathan Thaler
    Peer-Olaf Siebers
    [J]. Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [32] Specification testing of agent-based simulation using property-based testing
    Thaler, Jonathan
    Siebers, Peer-Olaf
    [J]. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
  • [33] Property-based Testing of JSON']JSON based Web Services
    Fredlund, Lars-Ake
    Herranz, Angel
    Benac Earle, Clara
    Marino, Julio
    [J]. 2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014), 2014, : 704 - 707
  • [34] MAKING PROPERTY-BASED TESTING EASIER TO READ FOR HUMANS
    Castro, Laura M.
    Lamela, Pablo
    Thompson, Simon
    [J]. COMPUTING AND INFORMATICS, 2016, 35 (04) : 890 - 913
  • [35] Statistical Model Checking Meets Property-Based Testing
    Aichernig, Bernhard K.
    Schumi, Richard
    [J]. 2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 390 - 400
  • [36] Failing Faster: Overlapping Patterns for Property-Based Testing
    Fowler, Jonathan
    Hutton, Graham
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), 2017, 10137 : 103 - 119
  • [37] Property-Based Testing of Browser Rendering Engines with a Consensus Oracle
    Martin, Joel
    Levine, David
    [J]. 2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2018), VOL 2, 2018, : 424 - 429
  • [38] Towards Integrating Statistical Model Checking into Property-Based Testing
    Aichernig, Bernhard K.
    Schumi, Richard
    [J]. 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 71 - 76
  • [39] Feasibility of Property-Based Testing for Time-Dependent Systems
    Lopez, Macias
    Castro, Laura M.
    Cabrero, David
    [J]. COMPUTER AIDED SYSTEMS THEORY, PT II, 2013, 8112 : 527 - 535
  • [40] Validating Formal Semantics by Property-Based Cross-Testing
    Bereczky, Peter
    Horpacsi, Daniel
    Koszegi, Judit
    Szeier, Soma
    Thompson, Simon
    [J]. PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 150 - 161
12345