Referencias Bibliográficas: [Pressman and Maxim, 2019]
Temas
- Herramientas y automatización de verificación y validación
- Análisis estático
- Cobertura de código
- Fuzzing
- Análisis dinámico y contención de fallos (sanitizadores, etc.)
- Registro y seguimiento de fallos
- Planificación y generación de pruebas
- Estimación de fallos y terminación de pruebas, incluyendo siembra de defectos
- Uso de números aleatorios y pseudoaleatorios en las pruebas
- Pruebas de sistemas asíncronos, paralelos y concurrentes
- Verificación y validación de artefactos que no son código (documentación, materiales de capacitación)
Aprendizaje esperado (Learning Outcomes)
- Describir y comparar diferentes herramientas para verificación y validación [Describir]
- Automatizar el uso de diferentes herramientas en un proyecto de software pequeño [Diseñar]
- Explicar cómo y cuándo se deben usar números aleatorios en las pruebas [Explicar]
- Describir enfoques para la estimación de fallos [Describir]
- Estimar el número de fallos en una aplicación de software pequeña basándose en la densidad de fallos y la siembra de fallos [Estimar]
- Describir técnicas y problemas con las pruebas de software asíncrono, concurrente y paralelo [Describir]
- Crear un plan de pruebas para un segmento de código de tamaño mediano que contenga código asíncrono, concurrente y/o paralelo, incluyendo una matriz de pruebas y generación de datos y entradas de prueba [Crear]
- Describir técnicas para la verificación y validación de artefactos que no son código [Describir]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM