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

共 42 条

[1] 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
[2] Towards Substructural Property-Based Testing
Mantovani, Marco
Momigliano, Alberto
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 92 - 112
[3] Sitting Property-Based Testing at the Desktop
Castro, Laura M.
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, 2015, 9520 : 236 - 243
[4] Developments in Property-Based Testing
Midtgaard, Jan
PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 1 - 1
[5] PrologCheck - Property-Based Testing in Prolog
Amaral, Claudio
Florido, Mario
Costa, Vitor Santos
FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
[6] Property-Based Testing for Spark Streaming
Riesco, A.
Rodriguez-Hortala, J.
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (04) : 574 - 602
[7] 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
[8] Security Mutants for Property-Based Testing
Buecher, Matthias
Oudinet, Johan
Pretschner, Alexander
TESTS AND PROOFS, TAP 2011, 2011, 6706 : 69 - 77
[9] Application of Property-based Testing Tools for Metamorphic Testing
Alzahrani, Nasser
Spichkova, Maria
Harland, James
ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2022, : 553 - 560
[10] Validating Formal Semantics by Property-Based Cross-Testing
Bereczky, Peter
Horpacsi, Daniel
Koszegi, Judit
Szeier, Soma
Thompson, Simon
PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 150 - 161

← 1 2 3 4 5 →