Narrowing in on property-based testing

Fowler, Jonathan (2019) Narrowing in on property-based testing. PhD thesis, University of Nottingham.

PDF (Thesis - as examined) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (783kB) | Preview


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.

Item Type: Thesis (University of Nottingham only) (PhD)
Supervisors: Hutton, Graham
Nilsson, Henrik
Keywords: Functional Programming, Computer Science, Testing, Narrowing, Logic Programming
Subjects: Q Science > QA Mathematics > QA 75 Electronic computers. Computer science
Faculties/Schools: UK Campuses > Faculty of Science > School of Computer Science
Item ID: 57009
Depositing User: Fowler, Jonathan
Date Deposited: 23 Apr 2020 14:25
Last Modified: 06 May 2020 08:00

Actions (Archive Staff Only)

Edit View Edit View