Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Repositorio Digital Universitario - Universidad Nacional de Córdoba | - |
| dc.contributor | D'Argenio, Pedro R. | - |
| dc.contributor | Wolovick, Nicolás | - |
| dc.creator | Miretti, Gabriel Leonardo. | - |
| dc.date | 2010 | - |
| dc.date.accessioned | 2019-07-13T15:53:29Z | - |
| dc.date.available | 2019-07-13T15:53:29Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier | Bibliografía : p. 99-102. | - |
| dc.identifier | http://hdl.handle.net/11086/39 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/566689 | - |
| dc.description | Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. | - |
| dc.description | 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. | - |
| dc.description | Gabriel Leonardo Miretti. | - |
| dc.format | application/pdf | - |
| dc.language | spa | - |
| dc.relation | Disponible en línea | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.source | reponame:Repositorio Digital Universitario (UNC) | - |
| dc.source | instname:Universidad Nacional de Córdoba | - |
| dc.source | instacron:UNC | - |
| dc.source.uri | http://hdl.handle.net/11086/39 | - |
| dc.subject | Software Engineering | - |
| dc.subject | Software Verification | - |
| dc.subject | Formal Methods | - |
| dc.subject | Testing and Debugging | - |
| dc.title | TEO | - |
| dc.type | info:eu-repo/semantics/bachelorThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | info:ar-repo/semantics/tesisDeGrado | - |
| Aparece en las colecciones: | Universidad Nacional de Córdoba. Repositorio Digital Universitario | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.