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 条
  • [31] Automating Property-based Testing of Evolving Web Services
    Li, Huiqing
    Thompson, Simon
    Seijas, Pablo Lamela
    Angel Francisco, Miguel
    PEPM '14: PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2014, : 169 - 180
  • [32] Quickstrom: Property-Based Acceptance Testing with LTL Specifications
    O'Connor, Liam
    Wickstrom, Oskar
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 1025 - 1038
  • [33] Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms
    Lo, Fang-Yi
    Chen, Chao-Hong
    Chen, Ying-ping
    2020 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2020,
  • [34] Property-Based Testing and Debugging of Quantum Programs (Keynote)
    Mousavi, Mohammad Reza
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 117 - 117
  • [35] Specification testing of agent-based simulation using property-based testing
    Jonathan Thaler
    Peer-Olaf Siebers
    Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [36] Specification testing of agent-based simulation using property-based testing
    Thaler, Jonathan
    Siebers, Peer-Olaf
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
  • [37] Property-based Testing of JSON']JSON based Web Services
    Fredlund, Lars-Ake
    Herranz, Angel
    Benac Earle, Clara
    Marino, Julio
    2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014), 2014, : 704 - 707
  • [38] Statistical Model Checking Meets Property-Based Testing
    Aichernig, Bernhard K.
    Schumi, Richard
    2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 390 - 400
  • [39] Failing Faster: Overlapping Patterns for Property-Based Testing
    Fowler, Jonathan
    Hutton, Graham
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), 2017, 10137 : 103 - 119
  • [40] MAKING LABORATORY REPORTS EASIER TO READ
    HIRSCHFELD, T
    NEW ENGLAND JOURNAL OF MEDICINE, 1989, 320 (05): : 321 - 321
12345