Opened Access Max-CSP Approach for Software Diagnosis

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Ceballos Guerrero, Rafael
Martínez Gasca, Rafael
Valle Sevillano, Carmelo del
Toro Bonilla, Miguel
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2002
Publicado en: IBERAMIA 2002: 8th Ibero-American Conference on Artificial Intelligence (2002), p 172-181
ISBN/ISSN: 978-3-540-00131-7
Tipo de documento: Ponencia
Resumen: In software development is essential to have tools for the software diagnosis to help the programmers and development engineers to locate the bugs. In this paper, we propose a new approach that identifies the possible bugs and detect why the program does not satisfy the specified result. A typical diagnosis problem is built starting from the structure and semantics of the original source code and the precondition and postcondition formal specifications. When we apply a determined test case to a program and this program fails, then we can use our methodology in order to obtain automatically the sentence or the set of sentences that contains the bug. The originality of our methodology is due to the use of a constraint-based model for software and Max-CSP techniques to obtain the minimal diagnosis and to avoid explicitly to build the functional dependency graph.
Cita: Ceballos Guerrero, R., Martínez Gasca, R., Valle Sevillano, C.d. y Toro Bonilla, M. (2002). Max-CSP Approach for Software Diagnosis. En IBERAMIA 2002: 8th Ibero-American Conference on Artificial Intelligence (172-181), Sevilla, España: Springer.
Tamaño: 481.8Kb
Formato: PDF

URI: http://hdl.handle.net/11441/65623

DOI: 10.1007/3-540-36131-6_18

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones