Con la finalidad de entregar software de calidad, encontrar fallos dentro de los sistemas de información no se vuelve una actividad trivial, sino que se vuelve una tarea necesaria para incrementar su fiabilidad. Una de las técnicas más usadas en los entornos industriales de desarrollo es el denominado Testing. A diferencia del Testing clásico, que se efectúa manualmente, las empresas cada vez buscan la forma de automatizar la fase de pruebas, así como el estudio de propiedades no triviales para la adecuación y mejora del producto. Hoy en día se está imponiendo en las organizaciones el llamado Testing formal, donde se aplican los métodos formales dentro de la metodología de Testing.
Esta asignatura del programa de Maestria brinda conceptos, herramientas y criterios necesarios para actuar dentro del proceso de ingeniería del software, pudiendo realizar las tareas necesarias para probar un software en forma eficaz, y evaluar aspectos sobre su calidad.
A la vez que le permitirá tener la solvencia necesaria para poder planificar, ejecutar, dirigir y controlar las tareas requeridas, coordinando equipos interdisciplinarios, para brindar un resultado que permita efectuar mejoras o correcciones sobre el producto
- Profesor: Adolfo Choquellampa
