Ingeniería de software: ciclo de vida, diseño y verificación
El dominio de Ingeniería de software evalúa el ciclo de vida del producto, la especificación de requisitos, el diseño con UML, las estrategias de prueba y las métricas que permiten estimar y controlar el esfuerzo. El examen pregunta por conceptos y por su aplicación a un fragmento de proyecto descrito en el enunciado, no solo por definiciones aisladas.
Ciclo de vida y requisitos
Modelos: cascada (secuencial, cambios tardíos muy costosos), incremental, espiral (centrado en riesgos) y marcos ágiles. En Scrum: sprints de 1 a 4 semanas, roles Product Owner, Scrum Master y equipo de desarrollo; artefactos product backlog, sprint backlog e incremento; la Definition of Done cierra el sprint. Distingue requisito funcional (qué hace el sistema) de no funcional (rendimiento, seguridad, usabilidad, disponibilidad) y exige trazabilidad entre requisito, diseño y caso de prueba.
Diseño y verificación
En UML, la agregación usa rombo hueco (la parte puede existir sin el todo) y la composición rombo relleno (ciclo de vida dependiente). Los patrones GoF se agrupan en creacionales (Factory Method, Singleton), estructurales (Adapter, Decorator) y de comportamiento (Observer, Strategy). Verificación responde “¿construimos bien el producto?”; validación, “¿construimos el producto correcto?”. Los niveles de prueba son unitaria, integración, sistema y aceptación; la regresión protege lo que ya funcionaba.
Ejemplo trabajado
Un módulo cuyo flujo de control se modela con 7 nodos y 9 aristas en una sola componente conexa (P = 1) tiene V(G) = E − N + 2P = 9 − 7 + 2 = 4. Interpretación: 4 regiones, 4 caminos linealmente independientes y un mínimo de 4 casos de prueba para cobertura de caminos básicos. Si además hay 3 nodos de decisión, el atajo “decisiones + 1” confirma el resultado.
Errores que cuestan puntos
Confundir verificación con validación; asignar el rol de jefe de proyecto al Scrum Master; usar V(G) = E − N + 1 cuando hay más de una componente conexa; llamar composición a una relación que solo agrega; olvidar que un requisito no funcional también es verificable (por ejemplo, latencia de 500 ms en el percentil 95).