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