Extracting Properties from Test Cases by Refactoring

Authors:
Huiqing Li;Simon Thompson;Thomas Arts
Affiliations:
-;-;-
Venue:
ICSTW '11 Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
Year:
2011

Citing 0
Cited 2

Extracting QuickCheck specifications from EUnit test cases

Proceedings of the 10th ACM SIGPLAN workshop on Erlang
A language-independent approach to black-box testing using Erlang as test specification language

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

A Quick Check 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.