Article

Constraint satisfaction techniques for diagnosing errors in design by contract software

Authors:

Rafael Ceballos,

Rafael Martinez Gasca,

Diana BorregoAuthors Info & Claims

SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systems

Pages 11 - es

https://doi.org/10.1145/1123058.1123070

Published: 05 September 2005 Publication History

Get Access

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.

Digital Library

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

[4]

J. de Kleer, A. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 2--3(56):197--222, 1992.

Digital Library

Google Scholar

[5]

B. Meyer. Applying design by contract. IEEE Computer, 25(10):40--51, October 1992.

Digital Library

Google Scholar

Cited By

View all

Hobbs C(2015)Terminology of SafetyEmbedded Software Development for Safety-Critical Systems10.1201/b18965-4(13-25)Online publication date: 3-Sep-2015
https://doi.org/10.1201/b18965-4
Hobbs C(2015)Static AnalysisEmbedded Software Development for Safety-Critical Systems10.1201/b18965-24(263-275)Online publication date: 3-Sep-2015
https://doi.org/10.1201/b18965-24
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

Constraint satisfaction techniques for diagnosing errors in design by contract software

Recommendations

Constraint satisfaction techniques for diagnosing errors in design by contract software

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 ...
Case studies and tools for contract specifications
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering

Contracts are a popular tool for specifying the functional behavior of software. This paper characterizes the contracts that developers write, the contracts that developers could write, and how a developer reacts when shown the difference.

This paper ...
Diagnosing and solving over-determined constraint satisfaction problems
IJCAI'93: Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Constraint relaxation is a frequently used technique for managing over-determined constraint satisfaction problems. A problem in constraint relaxation is the selection of the appropriate constraints. We show that methods developed in model-based ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

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

Program Chair:
Gary T. Leavens
Iowa State

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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

SAVCBS '05 Paper Acceptance Rate 15 of 15 submissions, 100%;

Overall Acceptance Rate 37 of 46 submissions, 80%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
399
Total Downloads

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

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hobbs C(2015)Terminology of SafetyEmbedded Software Development for Safety-Critical Systems10.1201/b18965-4(13-25)Online publication date: 3-Sep-2015
https://doi.org/10.1201/b18965-4
Hobbs C(2015)Static AnalysisEmbedded Software Development for Safety-Critical Systems10.1201/b18965-24(263-275)Online publication date: 3-Sep-2015
https://doi.org/10.1201/b18965-24
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
Abreu RHofer BPerez AWotawa F(2015)Using constraints to diagnose faulty spreadsheetsSoftware Quality Journal10.1007/s11219-014-9236-423:2(297-322)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/s11219-014-9236-4
Abreu RRiboira AWotawa F(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
https://dl.acm.org/doi/10.1109/ISSREW.2012.31

View Options

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

Constraint satisfaction techniques for diagnosing errors in design by contract software

Case studies and tools for contract specifications

Diagnosing and solving over-determined constraint satisfaction problems