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