Extracting properties from test cases by refactoring
Paper i 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

Författare

H. Li

University Of Kent

S.J. Thompson

University Of Kent

Thomas Arts

Chalmers, Data- och informationsteknik, Software Engineering

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

472-473

Ämneskategorier

Programvaruteknik

DOI

10.1109/ICSTW.2011.65

ISBN

978-076954345-1

Mer information

Senast uppdaterat

2018-02-28