Contribución a la formalización de la fase de ejecución de pruebas

  1. Huecas Fernández-Toribio, Gabriel Isidoro
Dirigée par:
  1. José Antonio Mañas Argemí Directeur/trice

Université de défendre: Universidad Politécnica de Madrid

Année de défendre: 1995

Jury:
  1. Juan Quemada Vives President
  2. Tomás Robles Valladares Secrétaire
  3. Martín Llamas Nistal Rapporteur
  4. Francisco Javier Garijo Mazario Rapporteur
  5. Yolanda Ortega Mallén Rapporteur

Type: Thèses

Teseo: 50629 DIALNET

Résumé

EN EL CAMPO DE LA INGENIERIA DE PROTOCOLOS ES FUNDAMENTAL EL PAPEL QUE ESTAN TOMANDO LAS TECNICAS DE DESCRIPCION FORMAL Y EL CONCEPTO DE PRUEBAS DE CONFORMIDAD,LA PRESENTE TESIS CONTEMPLA LAS SIGUIENTES CONTRIBUCIONES: 1) CONCEPTUALIZACION Y FORMALIZACION DEL PROCESO DE EJECUCION DE PRUEBAS DE CONFORMIDAD ESPECIFICADAS EN EL LENGUAJE FORMAL LOTOS. 2) DEFINICION DE UNA METICA DE COBERTURA QUE APROVECHE LA EXISTENCIA DE ESPECIFICACIONES FORMALES COMO ELEMENTO DE REFERENCIA Y QUE SEA ADECUADA A LA RIQUEZA SEMANTICA DEL LENGUAJE LOTOS. 3) ESTUDIO Y TAXONOMIA DEL CONCEPTO DE PUNTOS DE CONTROL Y OBSERVACION, FUNDAMENTALES EN EL CAMPO DE LA INGENIERIA DE PRUEBAS COMO ELEMENTO CLAVE EN LA EJECUCION DE LAS MISMAS.