MAKING PROPERTY-BASED TESTING EASIER TO READ FOR HUMANS

被引：0
|
作者：
Castro, Laura M. [1 ]
Lamela, Pablo [2 ]
Thompson, Simon [2 ]
机构：
[1] Univ A Coruna, Fac Informat, Campus Elvifia S-N, La Coruna 15071, Spain
[2] Univ Kent, Sch Comp, Canterbury CT2 7NZ, Kent, England
来源：
COMPUTING AND INFORMATICS | 2016年 / 35卷 / 04期
关键词：
Test artifacts; test models; stakeholders; semi -natural language; property-based testing; quickcheck; SOFTWARE-DEVELOPMENT; USER INVOLVEMENT; REQUIREMENTS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Software stakeholders who do not have a technical profile (i.e. users, clients) but do want to take part in the development and/or quality assurance process of software, have an unmet need for communication on what is being tested during the development life-cycle. The transformation of test properties and models into semi-natural language representations is one way of responding to such need. Our research has demonstrated that these transformations are challenging but feasible, and they have been implemented into a prototype tool called readSpec. The readSpec tool transforms universally-quantified test properties and stateful test models - the two kinds of test artifacts used in property-based testing - into plain text interpretations. The tool has been successfully evaluated on the PBT artifacts
引用
收藏
页码：890 / 913
页数：24
相关论文
共 50 条
  • [1] TYCHE: Making Sense of Property-Based Testing Efectiveness
    Goldstein, Harrison
    Tao, Jeffrey
    Hatfield-Dodds, Zac
    Pierce, Benjamin C.
    Head, Andrew
    PROCEEDINGS OF THE 37TH ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, USIT 2024, 2024,
  • [2] Developments in Property-Based Testing
    Midtgaard, Jan
    PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 1 - 1
  • [3] Targeted Property-Based Testing
    Loscher, Andreas
    Sagonas, Konstantinos
    PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 46 - 56
  • [4] A Primer on Property-Based Testing
    Koparkar, Chaitanya
    XRDS: Crossroads, 2024, 30 (02): : 40 - 41
  • [5] Property-Based Mutation Testing
    Bartocci, Ezio
    Mariani, Leonardo
    Nickovic, Dejan
    Yadav, Drishti
    2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 222 - 233
  • [6] Foundational Property-Based Testing
    Paraskevopoulou, Zoe
    Hritcu, Catalin
    Denes, Maxime
    Lampropoulos, Leonidas
    Pierce, Benjamin C.
    INTERACTIVE THEOREM PROVING, 2015, 9236 : 325 - 343
  • [7] Teaching students Property-based Testing
    Earle, Clara Benac
    Fredlund, Lars-Ake
    Marino, Julio
    Arts, Thomas
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 437 - 442
  • [8] 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
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 250 - +
  • [9] Advances in Property-Based Testing for αProlog
    Cheney, James
    Momigliano, Alberto
    Pessina, Matteo
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 37 - 56
  • [10] PrologCheck - Property-Based Testing in Prolog
    Amaral, Claudio
    Florido, Mario
    Costa, Vitor Santos
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
12345