Making Property-Based Testing Easier to Read for Humans

Year, pages: 2016, 890 - 913

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.

Castro, L., Lamela, P., Thompson, S. 2016. Making Property-Based Testing Easier to Read for Humans. In Computing and Informatics, vol. 35, no.4, pp. 890-913. 1335-9150.

Castro, L., Lamela, P., Thompson, S. (2016). Making Property-Based Testing Easier to Read for Humans. Computing and Informatics, 35(4), 890-913. 1335-9150.