Tesis:
Prueba incremental de modelos de sistemas de tiempo real
- Autor: RENDON GALLON, Alvaro
- Título: Prueba incremental de modelos de sistemas de tiempo real
- Fecha: 1997
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: LEON SERRANO, Gonzalo
- Director/a 2º: DUEÑAS LOPEZ, Juan Carlos
- Resumen: Se define una metodología de pruebas para sistemas de tiempo real integrada al proceso de desarrollo de modo que las pruebas se diseñan y ejecutan a lo largo de las diferentes fases del ciclo de vida. Las pruebas se aplican a modelos ejecutables de especificación, diseño e implementación, en un entorno de desarrollo en el cual las notaciones gráficas de los modelos se convierten y ejecutan como una red de Petri temporizada de alto nivel (HLTPN) distribuida. Los casos de prueba se obtienen a partir de propósitos de prueba definidos con base en escenarios de eventos, transacciones y restricciones temporales. La notación utilizada son los diagramas de secuencias de mensajes (MSC) con algunas extensiones propuestas para el efecto. También se caracterizan los terminadores necesarios para conectar el probador con el sistema bajo prueba y se proponen sus modelos HLTPN. Sobre esta base se desarrollan los algorítmos para convertir los casos prueba MSC a HLTPN. Por último se describen las herramientas de ejecución y animación de casos de prueba y un tragador MSC de eventos