Making Property-Based Testing Easier to Read for Humans

Authors

  • 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

Keywords:

Test artifacts, test models, stakeholders, semi-natural language, property-based testing, quickcheck

Abstract

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.

Downloads

Download data is not yet available.

Downloads

Published

2017-02-07

How to Cite

Castro, L. M., Lamela, P., & Thompson, S. (2017). Making Property-Based Testing Easier to Read for Humans. Computing and Informatics, 35(4), 890–913. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/3381

Issue

Section

Special Section Articles