- -

Regression Test-Driven Extension of PLEXIL5: Support for Arrays

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Regression Test-Driven Extension of PLEXIL5: Support for Arrays

Show simple item record

Files in this item

dc.contributor.advisor Escobar Román, Santiago es_ES
dc.contributor.author Jiménez Martí, Alejandro es_ES
dc.date.accessioned 2023-09-27T08:11:34Z
dc.date.available 2023-09-27T08:11:34Z
dc.date.created 2023-07-13
dc.date.issued 2023-09-27 es_ES
dc.identifier.uri http://hdl.handle.net/10251/197162
dc.description.abstract [EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL Executive, the official PLEXIL interpreter. PLEXIL5 is based on a former version of PLEXIL and has become deprecated. This project aims to introduce support for arrays into PLEXIL5. The strategy followed consists of leveraging the official regression tests of the PLEXIL Executive. The automatic comparison between the executions of the official tests running on the Executive and in PLEXIL5 is a measure of the formal interpreter correctness and completeness with respect to the reference implementation. es_ES
dc.description.abstract [ES] Este proyecto describe el esfuerzo de extensión de PLEXIL5, un intérprete formal de PLEXIL especificado en el motor lógico de reescritura Maude, para lograr mayores grados de corrección e integridad con respecto a PLEXIL Executive, el intérprete oficial de PLEXIL. PLEXIL5 está basado en una versión anterior de PLEXIL y ha quedado obsoleto. Este proyecto tiene como objetivo introducir soporte para arreglos en PLEXIL5. La estrategia seguida consiste en aprovechar las pruebas de regresión oficiales del Ejecutivo de PLEXIL. La comparación automática entre las ejecuciones de las pruebas oficiales que se ejecutan en Executive y en PLEXIL5 es una medida de la corrección e integridad del intérprete formal con respecto a la implementación de referencia. es_ES
dc.description.abstract [CA] Aquest projecte descriu l'esforç d'extensió de PLEXIL5, un intèrpret formal de PLEXIL especificat en el llenguatge de reescritura Maude, per aconseguir majors graus de correcció i completitud respecte al PLEXIL Executive, l'intèrpret oficial. PLEXIL és un llenguatge creat per a la representació d'esquemes d'automatització utilitzats principalment en robòtica i vehicles autònoms. PLEXIL5 es basa en una versió anterior de PLEXIL i ha quedat obsolet. Aquest projecte pretén introduir en PLEXIL5 el suport per a matrius. L'estratègia seguida consisteix a aprofitar les proves de regressió oficials del PLEXIL Executive. La comparació automàtica entre les ejecucions de les proves oficials executades en l'executiu i en PLEXIL5 és una mesura de la correcció i la completitud de l'interpretació formal respecte a la implementació de referència. es_ES
dc.format.extent 74 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento (by) es_ES
dc.subject Regression es_ES
dc.subject Test es_ES
dc.subject Interpreter es_ES
dc.subject Semantics es_ES
dc.subject Array es_ES
dc.subject Regresión es_ES
dc.subject Prueba es_ES
dc.subject Intérprete es_ES
dc.subject Semántica es_ES
dc.subject Matriz es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Grado en Ingeniería Informática-Grau en Enginyeria Informàtica es_ES
dc.title Regression Test-Driven Extension of PLEXIL5: Support for Arrays es_ES
dc.title.alternative Extensió de PLEXIL5 basada en proves de regressió: suport per a matrius es_ES
dc.title.alternative Extensión basada en pruebas de regresión de PLEXIL5: soporte para matrices es_ES
dc.type Proyecto/Trabajo fin de carrera/grado 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 Jiménez Martí, A. (2023). Regression Test-Driven Extension of PLEXIL5: Support for Arrays. Universitat Politècnica de València. http://hdl.handle.net/10251/197162 es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\155627 es_ES


This item appears in the following Collection(s)

Show simple item record