Constraint satisfaction techniques for diagnosing errors in design by contract software

Authors:
Rafael Ceballos;Rafael Martinez Gasca;Diana Borrego
Affiliations:
Informáticos, U. de Sevilla, Seville, Spain;Informáticos, U. de Sevilla, Seville, Spain;Informáticos, U. de Sevilla, Seville, Spain
Venue:
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Year:
2005

Citing 3
Cited 0

Characterizing diagnoses and systems

Artificial Intelligence
Investigating the use of analysis contracts to support fault isolation in object oriented code

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Applying "Design by Contract"

Computer

Quantified Score

Hi-index	0.00

Visualization

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.