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 条

[21] 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
[22] Do Judge a Test by its Cover Combining Combinatorial and Property-Based Testing
Goldstein, Harrison
Hughes, John
Lampropoulos, Leonidas
Pierce, Benjamin C.
PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 264 - 291
[23] Feasibility of Property-Based Testing for Time-Dependent Systems
Lopez, Macias
Castro, Laura M.
Cabrero, David
COMPUTER AIDED SYSTEMS THEORY, PT II, 2013, 8112 : 527 - 535
[24] ETNA: An Evaluation Platform for Property-Based Testing (Experience Report)
Shi, Jessica
Keles, Alperen
Goldstein, Harrison
Pierce, Benjamin C.
Lampropoulos, Leonidas
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (ICFP):
[25] A PropEr Integration of Types and Function Specifications with Property-Based Testing
Papadakis, Manolis
Sagonas, Konstantinos
ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011, : 39 - 50
[26] Property-based testing of web services by deriving properties from business-rule models
Bernhard K. Aichernig
Richard Schumi
Software & Systems Modeling, 2019, 18 : 889 - 911
[27] Property-based testing of web services by deriving properties from business-rule models
Aichernig, Bernhard K.
Schumi, Richard
SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02): : 889 - 911
[28] Advanced management of data integrity: property-based testing for business rules
Laura M. Castro
Journal of Intelligent Information Systems, 2015, 44 : 355 - 380
[29] Advanced management of data integrity: property-based testing for business rules
Castro, Laura M.
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2015, 44 (03) : 355 - 380
[30] Verification of the CAD System for an Application-Specific Processor by Property-Based Testing
Prohorov, Daniil
Penskoi, Aleksandr
2020 9TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2020, : 329 - 332

← 1 2 3 4 5 →