Verificación en tiempo de ejecución con Streams

Autores
Romero, Santiago Gabriel
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Sánchez, César
D'Argenio, Pedro Ruben
Descripción
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. Su mayor ventaja reside en ser realizada mientras el programa es ejecutado, permitiendo reaccionar ante cualquier comportamiento no deseado del sistema, teniendo en cuenta su estado actual. Diversos formalismos han sido estudiados y desarrollados para la aplicación de esta técnica, sin embargo la vasta mayoría de ellos está restringida a chequear valores de verdad. En este trabajo presentamos NSRV, un lenguaje de especificación simple y más expresivo que los formalismos aplicables a la verificación en tiempo de ejecución actuales, junto con un algoritmo para la monitorización de sistemas síncronos de manera incremental. El lenguaje permite especificar una amplia gama de propiedades no regulares, como corrección con respecto a pre y post condiciones o propiedades 'locales' a un contexto que abstraen la ejecución de otros procedimientos, enriquecidas por la posibilidad de utilizar no sólo valores de verdad sino también valores numéricos.
Materia
Software
Program verification
Verificación de sistemas
Especificación
Monitoreo
Verificación de programas
Programa recursivo
Decibilidad
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/35

id RDUUNC_e922321e1e5314e17d789f5f3923afab
oai_identifier_str oai:rdu.unc.edu.ar:11086/35
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Verificación en tiempo de ejecución con StreamsRomero, Santiago GabrielSoftwareProgram verificationVerificación de sistemasEspecificaciónMonitoreoVerificación de programasPrograma recursivoDecibilidadTesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. Su mayor ventaja reside en ser realizada mientras el programa es ejecutado, permitiendo reaccionar ante cualquier comportamiento no deseado del sistema, teniendo en cuenta su estado actual. Diversos formalismos han sido estudiados y desarrollados para la aplicación de esta técnica, sin embargo la vasta mayoría de ellos está restringida a chequear valores de verdad. En este trabajo presentamos NSRV, un lenguaje de especificación simple y más expresivo que los formalismos aplicables a la verificación en tiempo de ejecución actuales, junto con un algoritmo para la monitorización de sistemas síncronos de manera incremental. El lenguaje permite especificar una amplia gama de propiedades no regulares, como corrección con respecto a pre y post condiciones o propiedades 'locales' a un contexto que abstraen la ejecución de otros procedimientos, enriquecidas por la posibilidad de utilizar no sólo valores de verdad sino también valores numéricos.Sánchez, CésarD'Argenio, Pedro Ruben2010info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/35spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:34:52Zoai:rdu.unc.edu.ar:11086/35Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:34:52.646Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Verificación en tiempo de ejecución con Streams
title Verificación en tiempo de ejecución con Streams
spellingShingle Verificación en tiempo de ejecución con Streams
Romero, Santiago Gabriel
Software
Program verification
Verificación de sistemas
Especificación
Monitoreo
Verificación de programas
Programa recursivo
Decibilidad
title_short Verificación en tiempo de ejecución con Streams
title_full Verificación en tiempo de ejecución con Streams
title_fullStr Verificación en tiempo de ejecución con Streams
title_full_unstemmed Verificación en tiempo de ejecución con Streams
title_sort Verificación en tiempo de ejecución con Streams
dc.creator.none.fl_str_mv Romero, Santiago Gabriel
author Romero, Santiago Gabriel
author_facet Romero, Santiago Gabriel
author_role author
dc.contributor.none.fl_str_mv Sánchez, César
D'Argenio, Pedro Ruben
dc.subject.none.fl_str_mv Software
Program verification
Verificación de sistemas
Especificación
Monitoreo
Verificación de programas
Programa recursivo
Decibilidad
topic Software
Program verification
Verificación de sistemas
Especificación
Monitoreo
Verificación de programas
Programa recursivo
Decibilidad
dc.description.none.fl_txt_mv Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. Su mayor ventaja reside en ser realizada mientras el programa es ejecutado, permitiendo reaccionar ante cualquier comportamiento no deseado del sistema, teniendo en cuenta su estado actual. Diversos formalismos han sido estudiados y desarrollados para la aplicación de esta técnica, sin embargo la vasta mayoría de ellos está restringida a chequear valores de verdad. En este trabajo presentamos NSRV, un lenguaje de especificación simple y más expresivo que los formalismos aplicables a la verificación en tiempo de ejecución actuales, junto con un algoritmo para la monitorización de sistemas síncronos de manera incremental. El lenguaje permite especificar una amplia gama de propiedades no regulares, como corrección con respecto a pre y post condiciones o propiedades 'locales' a un contexto que abstraen la ejecución de otros procedimientos, enriquecidas por la posibilidad de utilizar no sólo valores de verdad sino también valores numéricos.
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
publishDate 2010
dc.date.none.fl_str_mv 2010
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/35
url http://hdl.handle.net/11086/35
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349685943042048
score 13.13397