CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real / Gabriel Leonardo Miretti.

By: Miretti, Gabriel Leonardo, 1982-.
Contributor(s): D'Argenio, Pedro Ruben, 1968- [dir.] | Wolovick, Nicolás, 1974- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2010Description: 102 p. : il. (algunas col.) ; 30 cm.Subject(s): Software engineering | Software verification | Formal methods | Testing and debugging | Ingeniería de software | Métodos formalesOnline resources: Acceso a Versión Digital Disponible en línea Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Summary: En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El objetivo de este trabajo final es implementar de forma eficiente una solución al problema de optimización de la probabilidad de ejecución de casos de prueba de un modelo de sistema de tiempo real con salidas estocásticas y entradas controladas por el usuario. El tiempo en el que ocurren dichas entradas será tal que maximize la probabilidad de ocurrencia del caso de prueba en el modelo. La herramienta se basa en la equivalencia entre este problema y la maximización del volumen seccional de un politopo convexo. Esta implementación es complementaria a una investigación reciente de Wolovick, D’Argenio, y Qu (reportada en ICST 2009) sobre este problema. En particular, el desarrollo de la implementación permitió evidenciar y corregir algunos problemas en dicho trabajo.
Tags from this library: No tags from this library for this title.
Item type Current location Call number Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C MIR 1 Available 20758
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C MIR ej.2 2 Available Disponible también en línea 20759
Total holds: 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. 99-102.

En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El
objetivo de este trabajo final es implementar de forma eficiente una solución al problema de optimización de la probabilidad de ejecución de casos de prueba de un modelo de sistema de tiempo real con salidas estocásticas y entradas controladas por el usuario. El tiempo en el que ocurren dichas entradas será tal que maximize la probabilidad de ocurrencia del
caso de prueba en el modelo. La herramienta se basa en la equivalencia entre este problema y la maximización del volumen seccional de un politopo convexo. Esta implementación es complementaria a una investigación reciente de Wolovick, D’Argenio, y Qu (reportada en ICST 2009) sobre este problema. En particular, el desarrollo de la implementación permitió evidenciar y corregir algunos problemas en dicho trabajo.

Disponible en línea

La biblioteca posee 2 ej.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//