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 produced and used within the FP7 PROWESS project by industrial partners.
Publié le : 2017-02-07
Classification:
Software Engineering,
Test artifacts, test models, stakeholders, semi-natural language, property-based testing, quickcheck,
68N01
@article{cai3381,
author = {Laura M. Castro; Facultade de Inform\'atica, Universidade da Coru\~na, A Coru\~na and Pablo Lamela; School of Computing, University of Kent, Canterbury and S. Thompson; School of Computing, University of Kent, Canterbury},
title = {Making Property-Based Testing Easier to Read for Humans},
journal = {Computing and Informatics},
volume = {35},
number = {4},
year = {2017},
language = {en},
url = {http://dml.mathdoc.fr/item/cai3381}
}
Laura M. Castro; Facultade de Informática, Universidade da Coruña, A Coruña; Pablo Lamela; School of Computing, University of Kent, Canterbury; S. Thompson; School of Computing, University of Kent, Canterbury. Making Property-Based Testing Easier to Read for Humans. Computing and Informatics, Tome 35 (2017) no. 4, . http://gdmltest.u-ga.fr/item/cai3381/