Making Property-Based Testing Easier to Read for Humans
Keywords:
Test artifacts, test models, stakeholders, semi-natural language, property-based testing, quickcheckAbstract
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