T1 "INGENIERÍA DE PROTOCOLOS"
(ESPECIFICACIÓN, VERIFICACIÓN Y TEST)
Horario: 14 a 17 hs.
PROFESORA: Dra. Ana Cavalli
La Dra. Cavalli obtuvo su título de Doctora en Matemática y Ciencias de la Computación en 1984 en la Universidad de París VII. Desde 1985 hasta 1990, trabajó como investigadora en el Department Langages et Systemes de Computation, en el CNET (Centre National d'Etudes des Telecommunications), donde trabajó en temas de ingeniería de software y técnicas de descripción formal.
Desde 1990 es profesora del INT (Institut National des Telecommunications). En la actualidad es responsable del grupo de investigación "Methods and tools for testing" y dirige varias tesis de doctorado.
OBJETIVO DEL CURSO:
Este curso tiene como objetivo presentar los principales métodos de la ingeniería de protocolos, principalmente aquellos métodos relacionados con la especificación formal, la verificación y la generación de tests de conformidad. Estos métodos serán aplicados a diferentes protocolos de comunicación.
PROGRAMA:
Introducción a las técnicas formales de especificación. Protocolos de comunicación. Conceptos de base. Monetización utilizando las autómatas finitos extendidos: el lenguaje LDS. Métodos para la verificación de propiedades (accesibilidad, exclusión mutua, no bloqueo, etc.) Los test de conformidad. Formalización de los tests. Generación de tests a partir de los autómatas finitos (Input/Output Finite State Machines). Método del circuito de las transiciones (TT), la secuencia de distinción (secuencia DD), de la secuencia única (secuencia UIO), del conjunto de secuencias (método W). Tratamiento de ejemplos utilizando estos métodos. Métodos interactivos basados en los objetivos del test. Aplicación al lenguaje LDS.
PREREQUISITOS:
Nociones básicas de redes de computadoras.
Este curso se dictará en español.
Volver a ECI 1996