Mostrar el registro sencillo del ítem
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 |