Fast model-based fault localisation with test suites

Birch, Geoff, Fischer, Bernd and Poppleton, Michael (2015) Fast model-based fault localisation with test suites Tests and Proofs, 9154, pp. 38-57. (doi:10.1007/978-3-319-21215-9_3).


Full text not available from this repository.


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

Item Type: Article
Digital Object Identifier (DOI): doi:10.1007/978-3-319-21215-9_3
Keywords: automated debugging, fault localisation, symbolic execution
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 381946
Date :
Date Event
Date Deposited: 19 Oct 2015 10:23
Last Modified: 17 Apr 2017 05:07
Further Information:Google Scholar

Actions (login required)

View Item View Item