The University of Southampton
University of Southampton Institutional Repository

Fast model-based fault localisation with test suites

Record type: Conference or Workshop Item (Paper)

Fault localisation, i.e. the identification of program locations that cause errors, takes significant effort and cost. We describe a fast model-based fault localisation algorithm which, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine program repairs exist. Our algorithm iterates over failing test cases and collects locations where an assignment change can repair exhibited faulty behaviour. Our main contribution is an improved search through the test suite, reducing the effort for the symbolic execution of the models and leading to speed-ups of more than two orders of magnitude over the previously published implementation by Griesmayer et al.

We implemented our algorithm for C programs, using the KLEE symbolic execution engine, and demonstrate its effectiveness on the Siemens TCAS variants. Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed by changing a single assignment

Full text not available from this repository.

Citation

Birch, Geoff, Fischer, Bernd and Poppleton, Michael (2015) Fast model-based fault localisation with test suites In Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings. vol. 9154, Springer., pp. 38-57. (doi:10.1007/978-3-319-21215-9_3).

More information

Published date: 2015
Venue - Dates: TAP 2015: 9th International Conference, L’Aquila, Italy, 2015-07-22 - 2015-07-24
Keywords: automated debugging, fault localisation, symbolic execution
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 381946
URI: http://eprints.soton.ac.uk/id/eprint/381946
ISSN: 0302-9743
PURE UUID: 0a2368c5-9bec-427d-8a12-c6302ffdedfa

Catalogue record

Date deposited: 19 Oct 2015 10:23
Last modified: 17 Jul 2017 13:24

Export record

Altmetrics

Contributors

Author: Geoff Birch
Author: Bernd Fischer
Author: Michael Poppleton

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×