Li, Huiqing, Thompson, Simon, Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Counsell, Steve, ed. Proceedings of the Refactoring and Testing Workshop (RefTest 2011). . pp. 182-196. IEEE digital library (KAR id:30767)
|
PDF
Language: English |
|
|
Download this file (PDF/121kB) |
![[thumbnail of content.pdf]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png) |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| Official URL: http://www.cs.kent.ac.uk/pubs/2011/3086 |
|
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
| Item Type: | Conference or workshop item (UNSPECIFIED) |
|---|---|
| Uncontrolled keywords: | determinacy analysis, Craig interpolants |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
|
| Depositing User: | Huiqing Li |
| Date Deposited: | 21 Sep 2012 09:49 UTC |
| Last Modified: | 20 May 2025 10:13 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/30767 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Li, Huiqing.
| Creator's ORCID: | |
|---|---|
| CReDIT Contributor Roles: |
Thompson, Simon.
| Creator's ORCID: |
 https://orcid.org/0000-0002-2350-301X
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Total Views
Total Views
