Please use this identifier to cite or link to this item: https://doi.org/10.1145/1882291.1882319
Title: Golden implementation driven software debugging
Authors: Banerjee, A. 
Roychoudhury, A. 
Harlie, J.A. 
Liang, Z. 
Keywords: embedded linux
software evolution
symbolic execution
Issue Date: 2010
Source: Banerjee, A.,Roychoudhury, A.,Harlie, J.A.,Liang, Z. (2010). Golden implementation driven software debugging. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering : 177-186. ScholarBank@NUS Repository. https://doi.org/10.1145/1882291.1882319
Abstract: The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for software development in several domains, including embedded software - a low resource-consuming version of the golden implementation. The golden implementation gives the functionality that the program is supposed to implement, and is used as a guide during the software development process. In this paper, we investigate the possibility of using the golden implementation as a reference model in software debugging. We perform a substantial case study involving the Busybox embedded Linux utilities while treating the GNU Core Utilities as the golden or reference implementation. Our debugging method consists of dynamic slicing with respect to the observable error in both the implementations (the golden implementation as well as the buggy software). During dynamic slicing we also perform a step-by-step weakest precondition computation of the observable error with respect to the statements in the dynamic slice. The formulae computed as weakest pre-condition in the two implementations are then compared to accurately locate the root cause of a given observable error. Experimental results obtained from Busybox suggest that our method performs well in practice and is able to pinpoint all the bugs recently published in [8] that could be reproduced on Busybox version 1.4.2. The bug report produced by our approach is concise and pinpoints the program locations inside the Busybox source that contribute to the difference in behavior. Copyright 2010 ACM.
Source Title: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/40020
ISBN: 9781605587912
DOI: 10.1145/1882291.1882319
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

20
checked on Dec 5, 2017

Page view(s)

53
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.