Autor: ROBLES VALLADARES, Tomás

Título: Contribución al tratamiento formal de la fase de pruebas del ciclo "software" en ingeniería de protocolos

Fecha: 1991

Materia: Sin materia definida

Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION

Departamento: INGENIERIA DE SISTEMAS TELEMATICOS

Acceso electrónico:

Director/a(s):

• Director/a: MAÑAS ARGEMI, José Antonio

Resumen: Los protocolos que se desarrollan para las nuevas redes de comunicaciones son cada vez más complejos. Debido a esta complejidad se hace cada vez más difícil garantizar el correcto funcionamiento de las implementaciones. El uso de técnicas formales para el diseño de los protocolos ha demostrado ser de gran utilidad. Permite aplicar un tratamiento homogéneo a las distintas fases del desarrollo, desde las especificaciones de diseño hasta la realización final. Asimismo, permite aplicar un tratamiento formal a los protocolos y facilita su diseño e implementación. El objetivo de esta tesis es utilizar estas mismas técnicas formales para mejorar la fase de pruebas. Nos centraremos en la formalización de los conceptos de calidad, generación de casos de prueba y ejecución de los mismos