Autor: HUECAS FERNANDEZ-TORIBIO, Gabriel
Título: Contribución a la formalización de la fase de ejecución de pruebas
Fecha: 1995
Materia: Sin materia definida
Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
Departamento: INGENIERIA DE SISTEMAS TELEMATICOS
Director/a(s):
- Director/a: MAÑAS ARGEMI, José Antonio
Resumen: En el campo de la Ingeniería de Protocolos es fundamental el papel que están tomando las Técnicas de Descripción Formal y el concepto de Pruebas de Conformidad. La presente tesis contempla las siguientes contribuciones: 1.- Conceptualización y formalización del proceso de ejecución de pruebas de conformidad especificadas en el lenguaje formal LOTOS. 2.- Definición de una métrica de cobertura que aproveche la existencia de especificaciones formales como elemento de referencia y que sea adecuada a la riqueza semántica del lenguaje LOTOS; 3. Estudio y taxonomía del concepto de Puntos de Control y Observación, fundamentales en el campo de la Ingeniería de pruebas como elemento clave en la ejecución de las mismas