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 条
  • [21] FlinkCheck: Property-Based Testing for Apache Flink
    Espinosa, Cristina Valentina
    Martin-Martin, Enrique
    Riesco, Adrian
    Rodriguez-Hortala, Juan
    IEEE ACCESS, 2019, 7 : 150369 - 150382
  • [22] Property-Based Testing: Climbing the Stairway to Verification
    Chen, Zilin
    Rizkallah, Christine
    O'Connor, Liam
    Susarla, Partha
    Klein, Gerwin
    Heiser, Gernot
    Keller, Gabriele
    PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, 2022, : 84 - 97
  • [23] Automatic Property-based Testing of GraphQL APIs
    Karlsson, Stefan
    Causevic, Adnan
    Sundmark, Daniel
    2021 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST (AST 2021), 2021, : 1 - 10
  • [24] Property-Based Testing for the Robot Operating System
    Santos, Andre
    Cunha, Alcino
    Macedo, Nuno
    PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), 2018, : 56 - 62
  • [25] Property-Based Testing by Elaborating Proof Outlines
    Miller, Dale
    Momigliano, Alberto
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024,
  • [26] From Temporal Models to Property-based Testing
    Alzahrani, Nasser
    Spichkova, Maria
    Blech, Jan Olaf
    ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 241 - 246
  • [27] Genetic Algorithms as Shrinkers in Property-Based Testing
    Lo, Fang-Yi
    Chen, Chao-Hong
    Chen, Ying-ping
    PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION), 2019, : 291 - 292
  • [28] A property-based testing framework for encryption programs
    Sun, Chang-ai
    Wang, Zuoyi
    Wang, Guan
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (03) : 478 - 489
  • [29] A property-based testing framework for encryption programs
    Chang-ai Sun
    Zuoyi Wang
    Guan Wang
    Frontiers of Computer Science, 2014, 8 : 478 - 489
  • [30] Validation of SDN policies: a property-based testing perspective
    Castro, Laura M.
    Paladi, Nicolae
    10TH INT CONF ON EMERGING UBIQUITOUS SYST AND PERVAS NETWORKS (EUSPN-2019) / THE 9TH INT CONF ON CURRENT AND FUTURE TRENDS OF INFORMAT AND COMMUN TECHNOLOGIES IN HEALTHCARE (ICTH-2019) / AFFILIATED WORKOPS, 2019, 160 : 23 - 29
12345