dc.creator | Ceballos Guerrero, Rafael | es |
dc.creator | Martínez Gasca, Rafael | es |
dc.creator | Valle Sevillano, Carmelo del | es |
dc.creator | Toro Bonilla, Miguel | es |
dc.date.accessioned | 2017-11-03T08:41:24Z | |
dc.date.available | 2017-11-03T08:41:24Z | |
dc.date.issued | 2002 | |
dc.identifier.citation | 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. | |
dc.identifier.isbn | 978-3-540-00131-7 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | http://hdl.handle.net/11441/65623 | |
dc.description.abstract | 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. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | IBERAMIA 2002: 8th Ibero-American Conference on Artificial Intelligence (2002), p 172-181 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Max-CSP Approach for Software Diagnosis | es |
dc.type | info:eu-repo/semantics/conferenceObject | 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.publisherversion | https://link.springer.com/chapter/10.1007/3-540-36131-6_18 | es |
dc.identifier.doi | 10.1007/3-540-36131-6_18 | es |
idus.format.extent | 10 | es |
dc.publication.initialPage | 172 | es |
dc.publication.endPage | 181 | es |
dc.eventtitle | IBERAMIA 2002: 8th Ibero-American Conference on Artificial Intelligence | es |
dc.eventinstitution | Sevilla, España | es |
dc.relation.publicationplace | Berlin | es |
dc.identifier.sisius | 6513280 | es |