INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
Título:
Testing Timing Behaviors of Real Time Software
Autor/es:
VICTOR A. BRABERMAN; MARINA MARRÉ; MIGUEL FELDER
Lugar:
san Francisco, EEUU
Reunión:
Conferencia; International Software Quality Week; 1997
Resumen:
In this work we deal with the problem of testing timing behavior of real-time systems. We introduce several testing criteria based on the information provided by the design description of the system and its derived formal descriptions.
