Seminario sobre Pruebas Basadas en Modelos en Pafos (Chipre)
21 Marzo 2010 - 21 Marzo 2010
Chipre
El 21 de marzo de 2010 se celebrará en Pafos (Chipre) el VI Seminario sobre Pruebas Basadas en Modelos (MTB 2010).
El objetivo del evento será reunir a investigadores y profesionales con el fin de destacar los avances más recientes y debatir sobre nuevos caminos que conduzcan a la mejora de teorías, modelos, herramientas y nuevos paradigmas fundamentales para la realización de pruebas.
Los temas a tratar serán los siguientes:
- herramientas y métodos de generación de secuencias de pruebas tanto en línea como independientes,
- herramientas y métodos de selección de datos de pruebas,
- verificación de errores durante el tiempo de ejecución,
- métrica de pruebas basada en modelos,
- análisis automático de particiones y dominios,
- combinación de verificación y pruebas,
- modelos en oráculos de pruebas,
- generación de pruebas basadas en situaciones hipotéticas,
- apoyo a la metaprogramación aplicada a la experimentación,
- formalismos adaptados a pruebas basadas en modelos,
- aplicación de técnicas de comprobación aplicadas en pruebas basadas en modelos,
- aplicación de la teoría de juegos a las pruebas,
- pruebas basadas en modelos para la industria: problemas y logros.
Tanto en software como en hardware, las pruebas basadas en modelos se emplean para describir el comportamiento de un sistema y guiar el desarrollo de situaciones de pruebas.Para más información, consulte:
http://react.cs.uni-sb.de/mbt2010/(se abrirá en una nueva ventana)
El objetivo del evento será reunir a investigadores y profesionales con el fin de destacar los avances más recientes y debatir sobre nuevos caminos que conduzcan a la mejora de teorías, modelos, herramientas y nuevos paradigmas fundamentales para la realización de pruebas.
Los temas a tratar serán los siguientes:
- herramientas y métodos de generación de secuencias de pruebas tanto en línea como independientes,
- herramientas y métodos de selección de datos de pruebas,
- verificación de errores durante el tiempo de ejecución,
- métrica de pruebas basada en modelos,
- análisis automático de particiones y dominios,
- combinación de verificación y pruebas,
- modelos en oráculos de pruebas,
- generación de pruebas basadas en situaciones hipotéticas,
- apoyo a la metaprogramación aplicada a la experimentación,
- formalismos adaptados a pruebas basadas en modelos,
- aplicación de técnicas de comprobación aplicadas en pruebas basadas en modelos,
- aplicación de la teoría de juegos a las pruebas,
- pruebas basadas en modelos para la industria: problemas y logros.
Tanto en software como en hardware, las pruebas basadas en modelos se emplean para describir el comportamiento de un sistema y guiar el desarrollo de situaciones de pruebas.Para más información, consulte:
http://react.cs.uni-sb.de/mbt2010/(se abrirá en una nueva ventana)