Verificación en tiempo de ejecución con Streams / Santiago Gabriel Romero.

Por:

Romero, Santiago Gabriel, 1983-

Colaborador(es):

Detalles de publicación: [S.l. : s.n. ], 2010.Descripción: 123 páginas: ilustraciones ; 30 cmTema(s):

Recursos en línea:

Acceso a RDU-UNC

Formatos físicos adicionales:

Disponible en línea.

Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Resumen: 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.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	Copia número	Estado	Notas	Fecha de vencimiento	Código de barras	Reserva de ítems
Trabajo Especial de Grado	FaMAF Secc. Tesis y Trabajos especiales	Trabajo Especial Computación CAJA 11 - 20553	1	Disponible			20553
Trabajo Especial de Grado	FaMAF Depósito Interno	TE C ROM ej.2	2	Disponible	Disponible también en línea		20554

Total de reservas: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Bibliografía : p. 121-123.

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.

Disponible en línea.

Haga clic en una imagen para verla en el visor de imágenes