Publication: Testing activo y pasivo de sistemas con información temporal y probabilística
Loading...
Files
Official URL
Full text at PDC
Publication Date
2010-09-01
Authors
Advisors (or tutors)
García Merayo, Mercedes
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Complutense de Madrid, Servicio de Publicaciones
Citations
Exportar
Abstract
La tesis doctoral presentada recoge diferentes extensiones de formalismos utilizados en las metodologías para el testing de aquellos sistemas, de modo que estos puedan describir por ejemplo información probabilística con respecto a la frecuencia de las acciones, o restricciones temporales respecto al tiempo consumido por las acciones. Así mismo, la tesis aborda el problema de la interacción con los sistemas, proponiendo la utilización de metodologías de testing pasivo para comprobar la ausencia de errores, y la aplicabilidad práctica en entornos no académicos de dichas metodologías. Esta tesis doctoral se presenta en formato publicaciones. Dichas publicaciones recogen todos los resultados que han sido obtenidos en los diferentes trabajos de investigación. El conjunto de las publicaciones presentadas constituye una línea integradora correspondiente a la propuesta de métodos noveles con extensiones no estándar de testing formal. En esta tesis se reflejan cuatro secciones bien diferenciadas. La primera se centra en métodos de testing activo de sistemas. Se proponen modelos probabilísticos, que introducen nueva información.
Description
Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 12-03-2010