Tesis:
Contribución a la formalización de la fase de ejecución de pruebas
- 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
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: 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