Tesis doctoral de Alvaro Rendon Gallon
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 especificacion, diseño e implementacion, en un entorno de desarrollo en el cual las notaciones graficas 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 propositos de prueba definidos con base en escenarios de eventos, transacciones y restricciones temporales. La notacion utilizada son los diagrmas de secuencias de mensajes (msc) con algunas extensiones propuestas para el efecto. Tambien 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 algoritmos para convertir los casos prueba msc a hltpn. Por ultimo se describen las herramientas de ejecucion y animacion de casos de prueba y un tragador msc de eventos.
Datos académicos de la tesis doctoral «Prueba incremental de modelos de sistemas de tiempo real.«
- Título de la tesis: Prueba incremental de modelos de sistemas de tiempo real.
- Autor: Alvaro Rendon Gallon
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Gonzalo León Serrano
- Tribunal
- Presidente del tribunal: Juan Antonio De La Puente Alfaro
- ángel Viña Castiñeiras (vocal)
- Carlos Delgado Kloos (vocal)
- Miranda Gonzalez Francisco Javier (vocal)