E-Prints Complutense

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.