Ponencia
Diagnosing Errors in DbC Programs Using Constraint Programming
Autor/es | Ceballos Guerrero, Rafael
Martínez Gasca, Rafael Valle Sevillano, Carmelo del Borrego Núñez, Diana |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2005 |
Fecha de depósito | 2020-03-06 |
Publicado en |
|
ISBN/ISSN | 978-3-540-45914-9 0302-9743 |
Resumen | Model-Based Diagnosis allows to determine why a correctly
designed system does not work as it was expected. In this paper, we propose
a methodology for software diagnosis which is based on the combination
of Design by ... Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by Contract, Model-Based Diagnosis and Constraint Programming. The contracts are specified by assertions embedded in the source code. These assertions and an abstraction of the source code are transformed into constraints, in order to obtain the model of the system. Afterwards, a goal function is created for detecting which assertions or source code statements are incorrect. The application of this methodology is automatic and is based on Constraint Programming techniques. The originality of this work stems from the transformation of contracts and source code into constraints, in order to determine which assertions and source code statements are not consistent with the specification. |
Agencias financiadoras | Ministerio de Ciencia Y Tecnología (MCYT). España |
Identificador del proyecto | DPI2003-07146-C02-01 |
Cita | Ceballos Guerrero, R., Martínez Gasca, R., Valle Sevillano, C.d. y Borrego Núñez, D. (2005). Diagnosing Errors in DbC Programs Using Constraint Programming. En CAEPIA 2005: 11th Conference of the Spanish Association for Artificial Intelligence (200-210), Santiago de Compostela, España: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Diagnosing Errors in DbC Progr ... | 283.5Kb | [PDF] | Ver/ | |
Este registro aparece en las siguientes colecciones
Este documento está protegido por los derechos de propiedad intelectual e industrial. Sin perjuicio de las exenciones legales existentes, queda prohibida su reproducción, distribución, comunicación pública o transformación sin la autorización del titular de los derechos, a menos que se indique lo contrario.