Testing de Software
Contenidos
Actividades, terminología y modelos de validación y verificación de software. Uso de técnicas y herramientas de validación y verificación. Calidad de producto software: calidad funcional y no funcional. Validación y verificación en los modelos de desarrollo. Validación y verificación en distintos dominios de aplicación. Taxonomía de técnicas y herramientas. Validación y verificación para distintos artefactos de software. Requerimientos, diseños, código. Testing. Tareas del proceso de testing. Niveles de testing. Tipos de testing. Testing funcional. Definición de casos y datos de prueba. Testing estructural. Testing de integración. Planificación de testing. Testing no funcional. Otras técnicas de validación y verificación para software crítico: Concepto de alta integridad. Dependability, survivability, reliability, safety, confiabilidad de software. Safety engineering. Técnicas avanzadas de análisis de software: dataflow analysis, model checking, slicing, abstract interpretation.