CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Extracting properties from test cases by refactoring

H. Li ; S.J. Thompson ; Thomas Arts (Institutionen för data- och informationsteknik, Software Engineering (Chalmers))
Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 p. 472-473. (2011)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: Property-based testing , Refactoring , Test cases



Denna post skapades 2015-05-04.
CPL Pubid: 216299

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Software Engineering (Chalmers)

Ämnesområden

Programvaruteknik

Chalmers infrastruktur