Sobre este curso
Ofrecido en Georgia Tech como CS 6340
Este curso cubre la teoría y la práctica del análisis de software, que se encuentra en el corazón de muchos procesos de desarrollo de software, como el diagnóstico de errores, pruebas, depuración y más. Presenta diversas técnicas, cada una con sus propias fortalezas y limitaciones, para automatizar tareas tales como pruebas, depuración y detección de errores en programas complejos del mundo real. Estas técnicas incluyen análisis de flujo de datos, análisis basado en restricciones, sistemas de tipos, verificación de modelos, ejecución simbólica y más. El curso enseña los principios que subyacen a estas técnicas e imparte experiencia práctica con el uso y la implementación de herramientas basadas en estas técnicas.
Análisis y pruebas de software por Instituto de Tecnología de Georgia
Sobre este curso
Este curso cubre la teoría y la práctica del análisis de software, que se encuentra en el corazón de muchos procesos de desarrollo de software, como el diagnóstico de errores, pruebas, depuración y más. Presenta diversas técnicas, cada una con sus propias fortalezas y limitaciones, para automatizar tareas tales como pruebas, depuración y detección de errores en programas complejos del mundo real. Estas técnicas incluyen análisis de flujo de datos, análisis basado en restricciones, sistemas de tipos, verificación de modelos, ejecución simbólica y más. El curso enseña los principios que subyacen a estas técnicas e imparte experiencia práctica con el uso y la implementación de herramientas basadas en estas técnicas.
- Impartido por: Udacity
- Idioma: inglés
- Plataforma: Udacity