Complutense University Library

A Declarative Debugger for Maude Specifications: User Guide

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael A Declarative Debugger for Maude Specifications: User Guide. [Working Paper or Technical Report] (Submitted)

[img]
Preview
PDF (Guia de usuario del debugger declarativo para especificaciones en Maude)
1MB
View download statistics for this eprint

==>>> Export to other formats

Abstract

We show in this guide how to use our declarative debugger for Maude specifications. Declarative debugging is a semi-automatic technique that starts from a computation considered incorrect by the user (error symptom) and locates a program fragment responsible for the error by asking questions to an external oracle, which is usually the user. In our case the debugging tree is obtained from a
proof tree in a suitable semantic calculus; more concretely, we abbreviate the proof trees obtained from this calculus in order to ease and shorten the debugging process while preserving the correctness and completeness of the technique.
We present the main features of our tool, what is assumed about the modules introduced by the user, the list of available commands, and the kinds of questions used during the debugging process. Then, we use several examples to illustrate how to use the debugger. We refer the interested reader to the webpage http://maude.sip.ucm.es/debugging, where these and other examples can be found together with more information about the theory underlying the debugger, its implementation and the Maude source files.

Item Type:Working Paper or Technical Report
Uncontrolled Keywords:Declarative debugger
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
Series Name:Technical Report SIC
Volume:7-09
Number:UNSPECIFIED
ID Code:9622
Deposited On:19 Nov 2009 11:14
Last Modified:06 Feb 2014 08:28

Repository Staff Only: item control page