TY  - JOUR
T1  - Constraint satisfaction techniques for diagnosing errors in design by contract software.
JF  - Software engineering notes.
A1  - Ceballos, Rafael
LA  - English
UL  - https://tuklas.up.edu.ph/Record/UP-99796217608823631
AB  - 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.
KW  - Software.
KW  - Software Engineering.
KW  - Software / Program Verification.
KW  - Testing and Debugging.
KW  - Theory of Computation.
KW  - Logics and meanings of programs.
KW  - Specifying and verifying and reasoning about programs.
KW  - Verification.
KW  - Design by contract.
KW  - Diagnosis.
ER  -