Contribución a la Formalización de la Fase de Ejecución de Pruebas

Huecas Fernández Toribio, Gabriel (1995). Contribución a la Formalización de la Fase de Ejecución de Pruebas. Thesis (Doctoral), E.T.S.I. Telecomunicación (UPM).

Description

Title: Contribución a la Formalización de la Fase de Ejecución de Pruebas
Author/s:
  • Huecas Fernández Toribio, Gabriel
Contributor/s:
  • Mañas Argemí, José Antonio
Item Type: Thesis (Doctoral)
Date: June 1995
Subjects:
Freetext Keywords: Formal Description Techniques (FDTs), Conformance Testing, Automatic Test Derivation, Automatic Test Execution, LOTOS
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
UPM's Research Group: LOTOS, GING
Creative Commons Licenses: Recognition

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (701kB) | Preview

Abstract

En el campo de la Ingeniería de Protocolos es fundamental el papel que han tomado los organismos normalizadores de Servicios y Sistemas de Comunicaciones, como ISO e ITU. En este entorno, las Técnicas de Descripción Formal son un mecanismo clave para el diseño y especificación de dichos protocolos.Esta actividad ha surgido, en gran parte, debida a las necesidades de interconectividad, que está alcanzando niveles difícilmente imaginables hace pocos añoos: se pretende que sistemas heterogéneos y completamente diferentes cooperen y trabajen de forma distribuida o, simplemente, que intercambien volúmenes de información cada vez mayores. Surgen normas y recomendaciones a partir de iniciativas públicas orientadas a proporcionar normas en los servicios y protocolos de comunicaciones; normas que los fabricantes deben cumplir y organismos independientes deben certificar u homologar. Existen dos campos de actuación bien diferentes: por un lado, las normas deben ser precisas y no contener ambigüedades . Por otro, es necesario comprobar que el producto se atiene a la norma. Este proceso se realiza en base a unas pruebas denominadas de Conformidad. l primer campo es el causante directo del desarrollo de las FDTs. El segundo, ha provocado que ISO normalice un entorno específico y una metodología para el desarrollo y ejecución de Pruebas de Conformidad: la norma ISO-9646. En este entorno tiene lugar el desarrollo de la presente tesis. Como objetivos fundamentales se ha trabajado en 1) conceptualización y subsiguiente formalización del proceso de ejecución de Pruebas de Conformidad y elementos integrantes en las arquitecturas de pruebas, y 2) definición de una métrica de cobertura que aproveche la existencia de especificaciones formales como elemento de referencia para la generación de las pruebas de conformidad.

More information

Item ID: 15499
DC Identifier: http://oa.upm.es/15499/
OAI Identifier: oai:oa.upm.es:15499
Deposited by: Titular de Universidad Gabriel Huecas Fernández-Toribio
Deposited on: 27 Feb 2015 10:58
Last Modified: 27 Feb 2015 10:58
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM