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

  1. ANDRES SANCHEZ, CESAR
Dirigida por:
  1. Manuel Núñez García Director/a
  2. Mercedes Garcia Merayo Codirector/a

Universidad de defensa: Universidad Complutense de Madrid

Fecha de defensa: 12 de marzo de 2010

Tribunal:
  1. David de Frutos Escrig Presidente/a
  2. Carlos Gregorio Rodríguez Secretario/a
  3. Fatiha Zaidi Vocal
  4. Gregorio Diaz Descalzo Vocal
  5. Rosa Clara Cavalli Vocal

Tipo: Tesis

Resumen

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...