TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real

Autores
Miretti, Gabriel Leonardo
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
D'Argenio, Pedro Ruben
Wolovick, Nicolás
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.
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.
Gabriel Leonardo Miretti.
Materia
Software Engineering
Software verification
Formal methods
Testing and debugging
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/39

id RDUUNC_50d276773839f940fca9a88c9e2493dc
oai_identifier_str oai:rdu.unc.edu.ar:11086/39
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo realMiretti, Gabriel LeonardoSoftware EngineeringSoftware verificationFormal methodsTesting and debuggingTesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.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.Gabriel Leonardo Miretti.D'Argenio, Pedro RubenWolovick, Nicolás2010info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/39spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:32:21Zoai:rdu.unc.edu.ar:11086/39Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:32:21.332Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
title TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
spellingShingle TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
Miretti, Gabriel Leonardo
Software Engineering
Software verification
Formal methods
Testing and debugging
title_short TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
title_full TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
title_fullStr TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
title_full_unstemmed TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
title_sort TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
dc.creator.none.fl_str_mv Miretti, Gabriel Leonardo
author Miretti, Gabriel Leonardo
author_facet Miretti, Gabriel Leonardo
author_role author
dc.contributor.none.fl_str_mv D'Argenio, Pedro Ruben
Wolovick, Nicolás
dc.subject.none.fl_str_mv Software Engineering
Software verification
Formal methods
Testing and debugging
topic Software Engineering
Software verification
Formal methods
Testing and debugging
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.
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.
Gabriel Leonardo Miretti.
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/39
url http://hdl.handle.net/11086/39
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_ 1842349636016144384
score 13.13397