Prueba incremental de modelos de sistemas de tiempo real

Resumen

SE DEFINE UNA METODOLOGIA 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.