- -

Ejecución simbólica como herramienta de análisis

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Ejecución simbólica como herramienta de análisis

Show simple item record

Files in this item

dc.contributor.advisor Villanueva García, Alicia es_ES
dc.contributor.author Pardo Pont, Daniel es_ES
dc.date.accessioned 2015-03-25T08:40:59Z
dc.date.available 2015-03-25T08:40:59Z
dc.date.created 2014-07-14
dc.date.issued 2015-03-25 es_ES
dc.identifier.uri http://hdl.handle.net/10251/48259
dc.description.abstract [ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software crítico. No obstante, para analizar un programa mediante un computador se requiere conocer las especificaciones formales a evaluar, no siempre al alcance del desarrollador. En este trabajo se elabora la base tecnológica de un sistema para inferir especificaciones automáticamente, aplicando ejecución simbólica sobre la semántica de un lenguaje derivado de C y facilitando así el proceso de verificación. es_ES
dc.description.abstract [EN] Automatic software analysis allows developers to verify if a program satisfies a series of desirable properties without human intervention, accelerating the engineering process and reducing the risks of critical software. However, in order to perform the analysis of a program, its formal specifications are required to be known, and usually it is too difficult to produce them manually. In this paper we elaborate the technological basis for a system that performs automatic inference of specifications, applying symbolic execution over the semantics of a derivative language of C so that we can make easier the verification process. es_ES
dc.format.extent 43 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento - No comercial (by-nc) es_ES
dc.subject Análisis es_ES
dc.subject Automático es_ES
dc.subject Ejecución simbólica es_ES
dc.subject Especificaciones es_ES
dc.subject Formal es_ES
dc.subject Inferencia es_ES
dc.subject Semántica es_ES
dc.subject Analysis es_ES
dc.subject Automatic es_ES
dc.subject Symbolic execution es_ES
dc.subject Specifications es_ES
dc.subject Inference es_ES
dc.subject Semantics 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 Ejecución simbólica como herramienta de análisis 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. Escola Tècnica Superior d'Enginyeria Informàtica 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 Pardo Pont, D. (2014). Ejecución simbólica como herramienta de análisis. http://hdl.handle.net/10251/48259. es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\13276 es_ES


This item appears in the following Collection(s)

Show simple item record