- -

Depuración reversible en Erlang

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Depuración reversible en Erlang

Show simple item record

Files in this item

dc.contributor.advisor Vidal Oriola, Germán Francisco es_ES
dc.contributor.author González Abril, Juan José es_ES
dc.date.accessioned 2020-10-15T11:57:36Z
dc.date.available 2020-10-15T11:57:36Z
dc.date.created 2020-09-23
dc.date.issued 2020-10-15 es_ES
dc.identifier.uri http://hdl.handle.net/10251/151967
dc.description.abstract [ES] Recientemente, se ha introducido una nueva técnica de depuración para los programas concurrentes. Por un lado, la técnica permite recorrer una ejecución tanto hacia delante como hacia atrás, lo que resulta muy útil para localizar el origen de un error. Por otro lado, la técnica establece relaciones causales entre las acciones de los procesos concurrentes, lo que permite que el programador se centre solo en determinadas acciones en lugar de explorar las trazas completas (lo que normalmente es inabordable). Actualmente, se dispone ya de un primer prototipo de depurador reversible para el lenguaje Erlang. En este caso, los programas se compilan a Core Erlang, por lo que el depurador trabaja a este nivel. Aunque esto tiene varias ventajas (Core Erlang es una versión simplificada de Erlang), hace que el código fuente mostrado por la herramienta sea menos comprensible para el usuario. En este trabajo, se plantea el desarrollo de un depurador reversible para Erlang sin realizar la traducción intermedia a Core Erlang. es_ES
dc.format.extent 42 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.relation GENERALITAT VALENCIANA/PROMETEO/2019/098 es_ES
dc.rights Reconocimiento - Sin obra derivada (by-nd) es_ES
dc.subject Erlang es_ES
dc.subject Depuración reversible es_ES
dc.subject Consistencia causal es_ES
dc.subject Reversibilidad es_ES
dc.subject Reversible debugging es_ES
dc.subject Depuración es_ES
dc.subject Causal consistency es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari es_ES
dc.title Depuración reversible en Erlang 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. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation González Abril, JJ. (2020). Depuración reversible en Erlang. http://hdl.handle.net/10251/151967 es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\126311 es_ES
dc.contributor.funder GENERALITAT VALENCIANA es_ES


This item appears in the following Collection(s)

Show simple item record