«Pruebas: congreso académico e industrial; técnicas prácticas y científicas» en Windsor (Reino Unido)

Del 3 al 5 de septiembre de 2010 se celebrará en Windsor (Reino Unido) un congreso titulado «Pruebas: congreso académico e industrial; técnicas prácticas y científicas» (TAIC PART 2010).

Mediante este evento se pretende fomentar la colaboración entre los ámbitos industrial y académico dedicados a las pruebas de software, un campo complicado e interesante al mismo tiempo. En él se tratarán temas de investigación fundamental relacionados con las pruebas y el análisis de software y se debatirá sobre retos prácticos a los que se enfrentan los desarrolladores.

Durante el congreso se tratarán estos y otros temas:
- criterios de adecuación de las pruebas,
- ejecución de conjuntos de aplicaciones para pruebas,
- control de la cobertura de pruebas,
- generación automática de datos de pruebas,
- pruebas de regresión,
- localización de fallos y depuración de forma automática,
- evaluación del rendimiento,
- análisis estático y dinámico,
- verificación y validación,
- ingeniería de fiabilidad del software,
- pruebas basadas en modelos,
- pruebas y métodos formales,
- pruebas y comprobación de modelos,
- procesos de pruebas de software,
- transferencia de tecnología.Para más información, consulte:
http://www2010.taicpart.org/(se abrirá en una nueva ventana)