TacoPlug: An eclipse plug-in for TACO

Mostrar todas las versiones(2)

In this work we present TacoPlug, an Eclipse plugin that lets users explore error traces output by the bounded verifier TACO. TacoPlug uses and extends TACO to provide a better debugging experience. TacoPlug interface allows the user to verify an annotated software using the TACO verifier. If TACO f...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Chicote, M., Galeotti, J.P.
Formato: CONF
Materias:
bounded verification
Eclipse plug-in
Static analysis
TACO
Debuggers
Eclipse plugin
Plug-ins
Software errors
Source codes
Computer architecture
Program debugging
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario:In this work we present TacoPlug, an Eclipse plugin that lets users explore error traces output by the bounded verifier TACO. TacoPlug uses and extends TACO to provide a better debugging experience. TacoPlug interface allows the user to verify an annotated software using the TACO verifier. If TACO finds a violation to the specification, TacoPlug presents it in terms of the annotated source code. TacoPlug features several views of the error trace to facilitate fault understanding. It resembles any software debugger, but the debugging occurs statically without executing the program. We show the usability of our tool by means of a motivational example taken from a real-life software error. © 2012 IEEE.

Ejemplares similares