Mostrar el registro sencillo del ítem
dc.contributor.advisor | Silva Galiana, Josep Francesc | es_ES |
dc.contributor.author | Insa Cabrera, David | es_ES |
dc.date.accessioned | 2012-05-23T12:39:57Z | |
dc.date.available | 2012-05-23T12:39:57Z | |
dc.date.created | 2011-09 | |
dc.date.issued | 2012-05-23 | |
dc.identifier.uri | http://hdl.handle.net/10251/15830 | |
dc.description.abstract | Algorithmic Debugging (a.k.a. Declarative Debugging) is a semi-automatic debugging technique that allows the programmer to isolate the code where a bug is located without the need to see the source code. To do so, the programmer answers the questions performed by the debugger until it finds the bug and shows it to the user. These questions are chosen by the debugger using a strategy, and thus the reduction of the number of questions is a main objective of this debugging technique. In practice, the strategy that performs less questions has been Divide & Query (D&Q for short) since its definition 30 years ago. This strategy has been considered optimal in the worst case. In this work we show that D&Q is not optimal and we introduce two new strategies that have proved to be better. One of them is a new version of D&Q where its behavior is improved in some situations. While the other is the first version of a new strategy that is optimal in the worst case. Moreover, we present new techniques that improve the efficiency of Algorithmic Debugging, allowing the debugger to speed-up the questions asked to the user and to reduce the number of questions performed regardless of the used strategy. | es_ES |
dc.format.extent | 83 | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Software engineering | es_ES |
dc.subject | Algorithmic debugging | es_ES |
dc.subject | Divide and query | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.subject.other | Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació | es_ES |
dc.title | Advanced Techniques for Algorithmic Debugging | es_ES |
dc.type | Tesis de máster | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat | es_ES |
dc.description.bibliographicCitation | Insa Cabrera, D. (2011). Advanced Techniques for Algorithmic Debugging. http://hdl.handle.net/10251/15830 | es_ES |
dc.description.accrualMethod | Archivo delegado | es_ES |