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 条

[31] SHOW ME YOUR PROPERTIES! THE POTENTIAL OF PROPERTY-BASED TESTING IN AGENT-BASED SIMULATION
Thaler, Jonathan
Siebers, Peer-Olaf
PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
[32] Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Mittelman, Segev Elazar
Resnick, Aviel
Perez, Ivan
Goodloe, Alwyn E.
Lampropoulos, Leonidas
PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2023, 2023, : 59 - 71
[33] PROPR: Property-Based Automatic Program Repair
Gissurarson, Matthias Pall
Applis, Leonhard
Panichella, Annibale
van Deursen, Arie
Sands, David
2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1768 - 1780
[34] How Developers Implement Property-Based Tests
Corgozinho, Arthur Lisboa
Valente, Marco Tulio
Rocha, Henrique
2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME, 2023, : 380 - 384
[35] Requirements Analysis via Property-based Approach
Zhao, Lin
Xu, Tianhua
Zheng, Wei
2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012, : 1153 - 1156
[36] Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
Sun, Jingling
Su, Ting
Sun, Jun
Li, Jianwen
Wang, Mengfei
Pu, Geguang
COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 440 - 451
[37] Beginner's Luck A Language for Property-Based Generators
Lampropoulos, Leonidas
Gallois-Wong, Diane
Hritcu, Catalin
Hughes, John
Pierce, Benjamin C.
Xia, Li-yao
ACM SIGPLAN NOTICES, 2017, 52 (01) : 114 - 129
[38] ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Lam, Edmund S. L.
Zhang, Peilun
Chang, Bor-Yuh Evan
PROCEEDINGS OF THE 2017 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD!'17), 2017, : 58 - 77
[39] Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps
Sun, Jingling
Su, Ting
Jiang, Jiayi
Wang, Jue
Pu, Geguang
Su, Zhendong
PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 1088 - 1100
[40] QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Karlsson, Stefan
Causevic, Adnan
Sundmark, Daniel
2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2020), 2020, : 131 - 141

← 1 2 3 4 5 →