Complutense University Library

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

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

[img]
Preview
PDF
1MB
View download statistics for this eprint

==>>> Export to other formats

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.

Item Type:Thesis (PhD)
Additional Information: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
Directors:
DirectorsDirector email
García Merayo, MercedesUNSPECIFIED
Núñez García, ManuelUNSPECIFIED
Uncontrolled Keywords:Monitoring, Formal Methods, Passive Testing, Información probabilística, Testing pasivo, Testing activo
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:11080
Deposited On:20 Sep 2010 14:14
Last Modified:06 Feb 2014 08:56

Repository Staff Only: item control page