White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Mutation-Optimised Subdomains for Test Data Generation and Program Analysis

Patrick, Matthew Timothy (2013) Mutation-Optimised Subdomains for Test Data Generation and Program Analysis. PhD thesis, University of York.

[img]
Preview
Text
thesis.pdf
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (4Mb) | Preview

Abstract

Software testing is an important part of the development process - it consumes a large proportion of the labour resources required to produce a working program. Yet it is not usually possible to show that a program is completely free from faults. Instead, techniques are applied to assess the effectiveness of software testing; they provide confidence in its adequacy and act as a benchmark for its improvement. One such technique (mutation analysis) uses small changes in the program code to simulate actual faults. Mutation analysis has been shown to be more stringent than other testing techniques and a good predictor of the real fault-finding capability of a test suite. This thesis introduces new techniques for identifying, evolving and selecting input subdomains that can be sampled at random to produce efficient test suites which achieve a high level of mutation adequacy, and so are expected to be efficient at finding faults. Previous research into software testing has focussed on producing suites of individual test cases. This thesis represents the first attempt to optimise subdomains for each parameter to the program under test. The resulting subdomains can easily be comprehended by a human test engineer, so may be used to provide information about the software under test and design further highly efficient test suites.

Item Type: Thesis (PhD)
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.605306
Depositing User: Matthew Timothy Patrick
Date Deposited: 19 May 2014 12:31
Last Modified: 08 Sep 2016 13:30
URI: http://etheses.whiterose.ac.uk/id/eprint/5892

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)