Tesis:
Contribución al tratamiento formal de la fase de pruebas del ciclo "software" en ingeniería de protocolos
- 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
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: 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