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

The Use of Automated Search in Deriving Software Testing Strategies

Poulding, Simon M (2013) The Use of Automated Search in Deriving Software Testing Strategies. PhD thesis, University of York.

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

Download (2390Kb) | Preview

Abstract

Testing a software artefact using every one of its possible inputs would normally cost too much, and take too long, compared to the benefits of detecting faults in the software. Instead, a testing strategy is used to select a small subset of the inputs with which to test the software. The criterion used to select this subset affects the likelihood that faults in the software will be detected. For some testing strategies, the criterion may result in subsets that are very efficient at detecting faults, but implementing the strategy -- deriving a 'concrete strategy' specific to the software artefact -- is so difficult that it is not cost-effective to use that strategy in practice. In this thesis, we propose the use of metaheuristic search to derive concrete testing strategies in a cost-effective manner. We demonstrate a search-based algorithm that derives concrete strategies for 'statistical testing', a testing strategy that has a good fault-detecting ability in theory, but which is costly to implement in practice. The cost-effectiveness of the search-based approach is enhanced by the rigorous empirical determination of an efficient algorithm configuration and associated parameter settings, and by the exploitation of low-cost commodity GPU cards to reduce the time taken by the algorithm. The use of a flexible grammar-based representation for the test inputs ensures the applicability of the algorithm to a wide range of software.

Item Type: Thesis (PhD)
Keywords: software testing; search-based software engineering; metaheuristic optimisation
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.581764
Depositing User: Mr Simon M Poulding
Date Deposited: 25 Nov 2013 10:48
Last Modified: 08 Sep 2016 13:02
URI: http://etheses.whiterose.ac.uk/id/eprint/4698

Actions (repository staff only: login required)