skip to main content
article

Constraint satisfaction techniques for diagnosing errors in design by contract software

Published: 05 September 2005 Publication History

Abstract

Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that diagnoses errors in software is proposed. This is based on the combination of Design by Contract, Model-based Diagnosis and Constraint Programming. Contracts are specified by using assertions. These assertions together with an abstraction of the source code are transformed into constraints. The methodology detects if the contracts are consistent, and if there are incompatibilities between contracts and source code. The process is automatic and is based on constraint programming.

References

[1]
L. Briand, Y. Labiche, and H. Sun. Investigating the use of analysis contracts to support fault isolation in object-oriented code. In International Symposium on Software Testing and Analysis, Roma, Italy, 2002.
[2]
R. Ceballos, C. del Valle, M. T. Gómez-López, and R. M. Gasca. CSP aplicados a la diagnosis basada en modelos. Revista Iberoamericana de Inteligencia Artificial, 20:137--150, 2003.
[3]
R. Ceballos, R. M. Gasca, C. D. Valle, and F. D. L. Rosa. A constraint programming approach for software diagnosis. In AADEBUG, pages 187--196, Ghent, Belgium, September 2003.
[4]
J. de Kleer, A. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 2--3(56):197--222, 1992.
[5]
B. Meyer. Applying design by contract. IEEE Computer, 25(10):40--51, October 1992.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 31, Issue 2
March 2006
193 pages
ISSN:0163-5948
DOI:10.1145/1118537
Issue’s Table of Contents
  • cover image ACM Conferences
    SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systems
    September 2005
    95 pages
    ISBN:1595933719
    DOI:10.1145/1123058

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2005
Published in SIGSOFT Volume 31, Issue 2

Check for updates

Author Tags

  1. Design by Contract
  2. Diagnosis

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)1
Reflects downloads up to 18 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Model-Based Software DebuggingFault Diagnosis of Dynamic Systems10.1007/978-3-030-17728-7_15(365-387)Online publication date: 23-Jun-2019
  • (2015)Using constraints to diagnose faulty spreadsheetsSoftware Quality Journal10.1007/s11219-014-9236-423:2(297-322)Online publication date: 1-Jun-2015
  • (2012)Debugging SpreadsheetsProceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops10.1109/ISSREW.2012.31(159-164)Online publication date: 27-Nov-2012
  • (2015)Terminology of SafetyEmbedded Software Development for Safety-Critical Systems10.1201/b18965-4(13-25)Online publication date: 3-Sep-2015
  • (2015)Static AnalysisEmbedded Software Development for Safety-Critical Systems10.1201/b18965-24(263-275)Online publication date: 3-Sep-2015

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media