Biblioteca de la Universidad Complutense de Madrid

Testing activo y pasivo de sistemas con información temporal y probabilística

Impacto



Andrés Sánchez, César (2010) Testing activo y pasivo de sistemas con información temporal y probabilística. [Tesis Doctoral]

[img]
Vista previa
PDF
1MB


Resumen

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.


Tipo de documento:Tesis Doctoral
Información Adicional:

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

Directores (o tutores):
NombreEmail del director (o tutor)
García Merayo, Mercedes
Núñez García, Manuel
Palabras clave:Monitoring, Formal Methods, Passive Testing, Información probabilística, Testing pasivo, Testing activo
Materias:Ciencias > Informática > Sistemas expertos
Código ID:11080
Depositado:20 Sep 2010 14:14
Última Modificación:06 Feb 2014 08:56

Sólo personal del repositorio: página de control del artículo