Narrowing in on property-based testing
Narrowing is one of the primary methods for implementing functional logic programming languages. Property-based testing is an automatic approach to assuring the correctness of software systems. In recent years, a number of systems have been developed that seek to apply the benefits of narrowing in t...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/57009/ |
| _version_ | 1848799420087271424 |
|---|---|
| author | Fowler, Jonathan |
| author_facet | Fowler, Jonathan |
| author_sort | Fowler, Jonathan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Narrowing is one of the primary methods for implementing functional logic programming languages. Property-based testing is an automatic approach to assuring the correctness of software systems. In recent years, a number of systems have been developed that seek to apply the benefits of narrowing in the area of property-based testing. This thesis considers two limitations with these systems. First of all, most of the existing narrowing-based testing tools have focused on practical issues, and lack supporting theory. And secondly, these tools typically only perform well on properties that have particular forms. We address these limitations by developing an approach to narrowing that is both practical and principled, and demonstrate how this can be used to expand the range of properties that can be automatically tested using a narrowing-based approach. |
| first_indexed | 2025-11-14T20:35:23Z |
| format | Thesis (University of Nottingham only) |
| id | nottingham-57009 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:35:23Z |
| publishDate | 2019 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-570092025-02-28T12:14:13Z https://eprints.nottingham.ac.uk/57009/ Narrowing in on property-based testing Fowler, Jonathan Narrowing is one of the primary methods for implementing functional logic programming languages. Property-based testing is an automatic approach to assuring the correctness of software systems. In recent years, a number of systems have been developed that seek to apply the benefits of narrowing in the area of property-based testing. This thesis considers two limitations with these systems. First of all, most of the existing narrowing-based testing tools have focused on practical issues, and lack supporting theory. And secondly, these tools typically only perform well on properties that have particular forms. We address these limitations by developing an approach to narrowing that is both practical and principled, and demonstrate how this can be used to expand the range of properties that can be automatically tested using a narrowing-based approach. 2019-12-13 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en arr https://eprints.nottingham.ac.uk/57009/1/thesis.pdf Fowler, Jonathan (2019) Narrowing in on property-based testing. PhD thesis, University of Nottingham. Functional Programming Computer Science Testing Narrowing Logic Programming |
| spellingShingle | Functional Programming Computer Science Testing Narrowing Logic Programming Fowler, Jonathan Narrowing in on property-based testing |
| title | Narrowing in on property-based testing |
| title_full | Narrowing in on property-based testing |
| title_fullStr | Narrowing in on property-based testing |
| title_full_unstemmed | Narrowing in on property-based testing |
| title_short | Narrowing in on property-based testing |
| title_sort | narrowing in on property-based testing |
| topic | Functional Programming Computer Science Testing Narrowing Logic Programming |
| url | https://eprints.nottingham.ac.uk/57009/ |