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
Departamento: INGENIERIA DE SISTEMAS TELEMATICOS
Director/a(s):
- Director/a: LEON SERRANO, Gonzalo
- Director/a: 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