research-article

An automated model-based debugging approach

Authors:

Cemal Yilmaz,

Clay WilliamsAuthors Info & Claims

ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

Pages 174 - 183

https://doi.org/10.1145/1321631.1321659

Published: 05 November 2007 Publication History

Get Access

Abstract

Program debugging is a difficult and time-consuming task. Our ultimate goal in this work is to help developers reduce the space of potential root causes for failures, which can, in turn, improve the turn around time for bug fixes. We propose a novel and very different approach. Rather then focusing on how a program behaves by analyzing its source code and/or execution traces, we concentrate on how it should behave with respect to a given behavioral model. We identify and verify slices of the behavior model, that, once implemented wrong in the program, can potentially lead to failures. Not only do we identify functional differences between the programand its model, but we also provide a ranked list of diagnoses which might explain (or be associated with) these differences. Our experiments suggest that the proposed approach can be quite effective in reducing the search space for potential root causes for failures

References

[1]

A. Cimatti, E. Clarke, EGiunchiglia et al. NuSMV 2: An opensource tool for symbolic model checking. In CAV'02.

Digital Library

Google Scholar

[2]

V. Dallmeier, C. Lindig, and A. Zeller. Lightweight defect localization for java. In ECOOP'05, pages 528--550, 2005.

Digital Library

Google Scholar

[3]

J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artif. Intell., 32(1):97--130, 1987.

Digital Library

Google Scholar

[4]

D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI'00, pages 1--16, 2000.

Digital Library

Google Scholar

[5]

S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE '02, pages 291--301, New York, NY, USA, 2002. ACM Press.

Digital Library

Google Scholar

[6]

J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE '02 pages 467--477, New York, NY, USA, 2002. ACM Press.

Digital Library

Google Scholar

[7]

Z. Kohavi. Switching and finite automata theory. McGraw Hill, 1978.

Digital Library

Google Scholar

[8]

B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI '03, pages 141--154, New York, NY, USA, 2003. ACM Press.

Digital Library

Google Scholar

[9]

C. Mateis, M. Stumptner, and F. Wotawa. Debugging of java programs using a model-based approach. In DX'99 Workshop, 1999.

Google Scholar

[10]

A. Petrenko, S. Boroday, and R. Groz. Confirming configurations in EFSM testing. IEEE TSE, 30(1):29--42, 2004.

Digital Library

Google Scholar

[11]

R. Reiter. A theory of diagnosis from first principles. Artif. Intell., 32(1):57--95, 1987.

Digital Library

Google Scholar

[12]

T. Reps, T. Ball, M. Das, and J. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. In SIGSOFT Softw. Eng. Notes, 22(6):432--449, 1997.

Digital Library

Google Scholar

[13]

A. Zeller. Isolating cause-effect chains from computer programs. In SIGSOFT '02/FSE-10, pages 1--10, New York, NY, USA, 2002. ACM Press.

Digital Library

Google Scholar

Cited By

View all

Azimi MYilmaz C(2023)AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC)10.1109/PRDC59308.2023.00033(209-216)Online publication date: 24-Oct-2023
https://doi.org/10.1109/PRDC59308.2023.00033
Azimi MElgun CFirat AErata FYilmaz C(2023)AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVsIEEE Access10.1109/ACCESS.2023.326274611(32095-32118)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3262746
Ceballos RAbreu RVarela-Vaca ÁGasca R(2019)Model-Based Software DebuggingFault Diagnosis of Dynamic Systems10.1007/978-3-030-17728-7_15(365-387)Online publication date: 23-Jun-2019
https://doi.org/10.1007/978-3-030-17728-7_15
Show More Cited By

Index Terms

An automated model-based debugging approach
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Towards automated debugging in software evolution

Delta debugging has been proposed to isolate failure-inducing changes when regressions occur. In this work, we focus on evaluating delta debugging in practical settings from developers' perspectives. A collection of real regressions taken from medium-...
Automated Design Debugging in a Testbench-Based Verification Environment
DSD '11: Proceedings of the 2011 14th Euromicro Conference on Digital System Design

Debugging is one of the major bottlenecks in the current VLSI design process as design size and complexity increase. Efficient automation of debugging procedures helps to reduce debugging time and to increase diagnosis accuracy. This work proposes an ...
How helpful are automated debugging tools?
USER '12: Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers

The field of automated debugging, which is concerned with the automation of identifying and correcting a failure's root cause, has made tremendous advancements in the past. However, some of the reported progress may be due to unrealistic assumptions ...

Comments

Information & Contributors

Information

Published In

ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

November 2007

590 pages

ISBN:9781595938824

DOI:10.1145/1321631

General Chair:
Kurt Stirewalt
Michigan State University, USA
,
Program Chairs:
Alexander Egyed
Teknowledge Corporation, USA
,
Bernd Fischer
University of Southampton, UK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ASE07

Sponsor:

ASE07: International Conference on Automated Software Engineering 2007

November 5 - 9, 2007

Georgia, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
471
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)1

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Azimi MYilmaz C(2023)AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC)10.1109/PRDC59308.2023.00033(209-216)Online publication date: 24-Oct-2023
https://doi.org/10.1109/PRDC59308.2023.00033
Azimi MElgun CFirat AErata FYilmaz C(2023)AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVsIEEE Access10.1109/ACCESS.2023.326274611(32095-32118)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3262746
Ceballos RAbreu RVarela-Vaca ÁGasca R(2019)Model-Based Software DebuggingFault Diagnosis of Dynamic Systems10.1007/978-3-030-17728-7_15(365-387)Online publication date: 23-Jun-2019
https://doi.org/10.1007/978-3-030-17728-7_15
Landsberg DChockler HKroening D(2016)Probabilistic Fault LocalisationHardware and Software: Verification and Testing10.1007/978-3-319-49052-6_5(65-81)Online publication date: 1-Nov-2016
https://doi.org/10.1007/978-3-319-49052-6_5
Liu YYang YYang QLi M(2011)DRiVeRProceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion10.1109/SSIRI-C.2011.38(194-201)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.1109/SSIRI-C.2011.38
Arcuri A(2011)Evolutionary repair of faulty softwareApplied Soft Computing10.1016/j.asoc.2011.01.02311:4(3494-3514)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1016/j.asoc.2011.01.023
Reiss SRoman GSullivan K(2010)Writing and using program specificationsProceedings of the FSE/SDP workshop on Future of software engineering research10.1145/1882362.1882424(299-302)Online publication date: 7-Nov-2010
https://dl.acm.org/doi/10.1145/1882362.1882424
Mayer WPucel XStumptner M(2010)Diagnosing Component Interaction Errors from Abstract Event TracesAI 2010: Advances in Artificial Intelligence10.1007/978-3-642-17432-2_50(496-505)Online publication date: 2010
https://doi.org/10.1007/978-3-642-17432-2_50
Ohira MKoyama KIhara AMatsumoto SKamei YMatsumoto K(2009)A time-lag analysis for improving communication among OSS developersProceedings of the 2009 international conference on New frontiers in artificial intelligence10.5555/1881958.1881973(135-146)Online publication date: 19-Nov-2009
https://dl.acm.org/doi/10.5555/1881958.1881973
Ihara AOhira MMatsumoto KMens TMens KWermelinger M(2009)An analysis method for improving a bug modification process in open source software developmentProceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops10.1145/1595808.1595833(135-144)Online publication date: 24-Aug-2009
https://dl.acm.org/doi/10.1145/1595808.1595833
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Towards automated debugging in software evolution

Automated Design Debugging in a Testbench-Based Verification Environment

How helpful are automated debugging tools?