- -

A New Hybrid Debugging Architecture for Eclipse

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

A New Hybrid Debugging Architecture for Eclipse

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: paper.pdf
Tamaño: 1.498Mb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: González, Insa, ...
Tamaño: 3.503Mb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author González, Juan es_ES
dc.contributor.author Insa Cabrera, David es_ES
dc.contributor.author Silva Galiana, Josep Francesc es_ES
dc.date.accessioned 2016-10-27T07:59:59Z
dc.date.available 2016-10-27T07:59:59Z
dc.date.issued 2013
dc.identifier.isbn 978-3-319-14124-4
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/72833
dc.description The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_11 es_ES
dc.description.abstract [EN] During many years, print debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using breakpoints and state viewers. Almost all modern programming environments include a trace debugger that allows us to inspect the state of a computation in any given point. Nevertheless, this debugging method has been criticized for being completely manual and time-consuming. Other debugging techniques have appeared to solve some of the problems of Trace Debugging, but they suffer from other problems such as scalability. In this work we present a new hybrid debugging technique. It is based on a combination of Trace Debugging, Algorithmic Debugging and Omniscient Debugging to produce a synergy that exploits the best properties and strong points of each technique. We describe the architecture of our hybrid debugger and our implementation that has been integrated into Eclipse as a plugin. es_ES
dc.description.sponsorship This work has been partially supported by the Spanish Ministerio de Economía y Competitividad (Secretaria de Estado de Investigación, Desarrollo e Innovación) under grant TIN2008-06622-003-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052. David Insa was partially supported by the Spanish Ministerio de Educación under FPU grant AP2010-4415. es_ES
dc.format.extent 19 es_ES
dc.language Inglés es_ES
dc.publisher Springer es_ES
dc.relation.ispartof Logic-Based Program Synthesis and Transformation es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;8901
dc.rights Reserva de todos los derechos es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title A New Hybrid Debugging Architecture for Eclipse es_ES
dc.type Capítulo de libro es_ES
dc.type Comunicación en congreso es_ES
dc.identifier.doi 10.1007/978-3-319-14125-1_11
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/Generalitat Valenciana//PROMETEO%2F2011%2F052/ES/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MECD//AP2010-4415/ES/AP2010-4415/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation González, J.; Insa Cabrera, D.; Silva Galiana, JF. (2013). A New Hybrid Debugging Architecture for Eclipse. En Logic-Based Program Synthesis and Transformation. Springer. 183-201. doi:10.1007/978-3-319-14125-1_11 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 23rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2013) [Revised Selected Papers] es_ES
dc.relation.conferencedate September 18-19, 2013 es_ES
dc.relation.conferenceplace Madrid, Spain es_ES
dc.relation.publisherversion http://link.springer.com/chapter/10.1007/978-3-319-14125-1_11 es_ES
dc.description.upvformatpinicio 183 es_ES
dc.description.upvformatpfin 201 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.senia 281430 es_ES
dc.contributor.funder Ministerio de Economía y Competitividad es_ES
dc.contributor.funder Generalitat Valenciana es_ES
dc.contributor.funder Ministerio de Educación es_ES
dc.description.references Swi-prolog (1987). http://www.swi-prolog.org/ es_ES
dc.description.references Netbeans (1999). http://www.netbeans.org/ es_ES
dc.description.references Eclipse (2003). http://www.eclipse.org/ es_ES
dc.description.references Omnicore codeguide (2007). http://www.omnicore.com/en/codeguide.htm es_ES
dc.description.references Borland JBuilder (2008). http://www.embarcadero.com/products/jbuilder/ es_ES
dc.description.references Sicstus prolog spider ide (2009). https://sicstus.sics.se/spider/ es_ES
dc.description.references Caballero, R.: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs. In: Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8–13. ACM Press, New York (2005) es_ES
dc.description.references Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Proceedings of the 7th Symposium on Trends in Functional Programming (TFP 2006) (April 2006) es_ES
dc.description.references Gestwicki, P., Jayaraman, B.: JIVE: Java Interactive Visualization Environment. In: Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), pp. 226–228. ACM Press, New York (2004) es_ES
dc.description.references Giammona, D.: ORACLE ADF - Putting It Together. Technical report, ADF Declarative Debugger Archives (November 2009) es_ES
dc.description.references Girgis, H., Jayaraman, B.: JavaDD: a Declarative Debugger for Java. Technical report,University at Buffalo (2006) es_ES
dc.description.references González, F., De Miguel, R., Serrano, S.: Depurador Declarativo de Programas Java. Technical report, Universidad Complutense de Madrid (2006). http://eprints.ucm.es/9114/ es_ES
dc.description.references Hermanns, C., Kuchen, H.: Hybrid Debugging of Java Programs. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds.) ICSOFT 2011. CCIS, vol. 303, pp. 91–107. Springer, Heidelberg (2013) es_ES
dc.description.references Montebello, M., Abela, C.: Design and Implementation of a Backward-In-Time. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 46–58. Springer, Heidelberg (2003) es_ES
dc.description.references Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), pp. 1–6 (2010) es_ES
dc.description.references Insa, D., Silva, J.: Scaling Up Algorithmic Debugging with Virtual Execution Trees. In: Alpuente, M. (ed.) LOPSTR 2010. LNCS, vol. 6564, pp. 149–163. Springer, Heidelberg (2011) es_ES
dc.description.references Insa, D., Silva, J.: loops2recursion Java Library (2013). http://www.dsic.upv.es/~jsilva/loops2recursion/ es_ES
dc.description.references Kouh, H.-J., Yoo, W.-H.: The Efficient Debugging System for Locating Logical Errors in Java Programs. In: Kumar, V., Gavrilova, M.L., Kenneth Tan, C.J., L’Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol. 2667, pp. 684–693. Springer, Heidelberg (2003) es_ES
dc.description.references B. Lewis. Debugging Backwards in Time. Available in the Computing Research Repository 2003, ( http://arxiv.org/abs/cs.SE/0310016 ), cs.SE/0310016 es_ES
dc.description.references Lienhard, A., Gîrba, T., Wang, J.: Practical Object-Oriented Back-in-Time Debugging. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 592–615. Springer, Heidelberg (2008) es_ES
dc.description.references S. Microsystems. Java Platform Debugger Architecture - JPDA (2010). http://java.sun.com/javase/technologies/core/toolsapis/jpda/ es_ES
dc.description.references Mirghasemi, S., Barton, J., Petitpierre, C.: Debugging by lastChange. Technical report (2011). http://people.epfl.ch/salman.mirghasemi es_ES
dc.description.references Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden (May 1998) es_ES
dc.description.references Nilsson, H., Fritzson, P.: Algorithmic Debugging for Lazy Functional Languages. Journal of Functional Programming 4(3), 337–370 (1994) es_ES
dc.description.references Pothier, G.: Towards Practical Omniscient Debugging. PhD thesis, University of Chile (June 2011) es_ES
dc.description.references Shapiro, E.: Algorithmic Program Debugging. MIT Press (1982) es_ES
dc.description.references Silva, J.: A Survey on Algorithmic Debugging Strategies. Advances in Engineering Software 42(11), 976–991 (2011) es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem