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
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/35
Ver los metadatos del registro completo
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 |