School of Computing

Extracting Properties from Test Cases by Refactoring

Huiqing Li, Simon Thompson, and Thomas Arts

In Steve Counsell, editor, Proceedings of the Refactoring and Testing Workshop (RefTest 2011), pages 182-196. IEEE digital library, March 2011.

Abstract

A QuickCheck property is a logical statement of aspects of the behaviour of a system. We report on how similar test cases in a test suite written in Erlang can be identified and then refactored into properties, giving a generalisation of the specification implicit in the test suite. Properties give more concise, easier to maintain test suites and better test coverage. A preliminary evaluation of the techniques in industry demonstrates feasibility as well as potential benefits.A QuickCheck property is a logical statement of aspects of the behaviour of a system. We report on how similar test cases in a test suite written in Erlang can be identified and then refactored into properties, giving a generalisation of the specification implicit in the test suite. Properties give more concise, easier to maintain test suites and better test coverage. A preliminary evaluation of the techniques in industry demonstrates feasibility as well as potential benefits

Download publication 104 kbytes (PDF)

Bibtex Record

@inproceedings{3086,
author = {Huiqing Li and Simon Thompson and Thomas Arts},
title = {{Extracting Properties from Test Cases by Refactoring}},
month = {March},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3086},
    publication_type = {inproceedings},
    submission_id = {22730_1299143418},
    booktitle = {Proceedings of the Refactoring and Testing Workshop (RefTest 2011)},
    editor = {Steve Counsell},
    publisher = {IEEE digital library},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014