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

Laburpena

La tesis doctoral presentada recoge diferentes extensiones de formalismos utilizados en las metodologías para el testing de sistemas, de modo que éstos 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 de los testeadores 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 desarrollados con el fin de alcanzar el objetivo fijado para la realización de la tesis. El conjunto de las publicaciones presentadas constituye una línea integradora correspondiente a la propuesta de métodos noveles con ex tensiones no estándar de testing formal. La mayoría de las técnicas de testing se pueden dividir en dos grandes grupos, el testing pasivo y el testing activo. La diferencia entre ambas es la forma en la que el testeador comprueba la corrección del...