Extracting properties from test cases by refactoring
Paper in proceeding, 2011

A Quick Check property is a logical statement of aspects of the behavior 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.

Test cases

Property-based testing

Refactoring

Author

H. Li

University Of Kent

S.J. Thompson

University Of Kent

Thomas Arts

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

472-473
978-076954345-1 (ISBN)

Subject Categories

Software Engineering

DOI

10.1109/ICSTW.2011.65

ISBN

978-076954345-1

More information

Latest update

2/28/2018