Constraint satisfaction techniques for diagnosing errors in Design by Contract software

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Borrego Núñez, Diana

doi:10.1145/1118537.1123070

Artículo

dc.creator	Ceballos Guerrero, Rafael	es
dc.creator	Martínez Gasca, Rafael	es
dc.creator	Borrego Núñez, Diana	es
dc.date.accessioned	2022-02-16T12:45:53Z
dc.date.available	2022-02-16T12:45:53Z
dc.date.issued	2006
dc.identifier.citation	Ceballos Guerrero, R., Martínez Gasca, R. y Borrego Núñez, D. (2006). Constraint satisfaction techniques for diagnosing errors in Design by Contract software. ACM SIGSOFT Software Engineering Notes, 31 (2)
dc.identifier.issn	0163-5948	es
dc.identifier.uri	https://hdl.handle.net/11441/130006
dc.description.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, Modelbased 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.	es
dc.description.sponsorship	Ministerio de Ciencia y Tecnología DPI2003-07146-C02-01	es
dc.format	application/pdf	es
dc.format.extent	4	es
dc.language.iso	eng	es
dc.publisher	Association for Computing Machinery (ACM)	es
dc.relation.ispartof	ACM SIGSOFT Software Engineering Notes, 31 (2)
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Verification	es
dc.subject	Design by Contract	es
dc.subject	Diagnosis	es
dc.title	Constraint satisfaction techniques for diagnosing errors in Design by Contract software	es
dc.type	info:eu-repo/semantics/article	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos	es
dc.relation.projectID	DPI2003-07146-C02-01	es
dc.relation.publisherversion	https://dl.acm.org/doi/10.1145/1118537.1123070	es
dc.identifier.doi	10.1145/1118537.1123070	es
dc.journaltitle	ACM SIGSOFT Software Engineering Notes	es
dc.publication.volumen	31	es
dc.publication.issue	2	es
dc.identifier.sisius	6537286	es
dc.contributor.funder	Ministerio de Ciencia Y Tecnología (MCYT). España	es

Ficheros	Tamaño	Formato	Ver	Descripción
Ceballos-Gasca-Borrego.pdf	96.10Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Artículos (Lenguajes y Sistemas Informáticos)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional