Capítulo 46 — Proyecto final de ingeniería II
Mapa de la lección
Lección 46 publicada. Mapa, ejemplo, EX080.
flowchart TD
N0["Resultados de aprendizaje y conexión"]
N1["46.1 Terminar la construcción"]
N2["46.2 Ejecutar la verificación"]
N3["46.3 Revisión crítica de diseño"]
N4["46.5 Actividad práctica"]
N5["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5
N5 --> EX["Ejemplo resuelto"]
EX --> Q["Ejercicio EX080"]
Dibujo lógico
flowchart LR
N0["Resultados de aprendizaje y conexión"]
N1["46.1 Terminar la construcción"]
N2["46.2 Ejecutar la verificación"]
N3["46.3 Revisión crítica de diseño"]
N4["46.5 Actividad práctica"]
N5["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX080"]
[Resultados de aprendizaje y conexión]
|
v
[46.1 Terminar la construcción]
|
v
[46.2 Ejecutar la verificación]
|
v
[46.3 Revisión crítica de diseño]
|
v
[46.5 Actividad práctica]
|
v
[Síntesis del capítulo]
|
v
[Ejemplo resuelto] --> [Ejercicio EX080]
Resultados de aprendizaje y conexión
Al terminar este capítulo, usted podrá (1) completar la implementación del artefacto del proyecto final; (2) ejecutar el plan de verificación completo y registrar los resultados; (3) cerrar los hallazgos de la revisión; y (4) superar una revisión crítica de diseño con evidencia. Continúa el capítulo 44 tras la revisión independiente y prepara el ensayo de fallo y recuperación (capítulo 47).
46.1 Terminar la construcción
Congele el alcance: a estas alturas, las funciones nuevas amenazan la verificación. Cierre primero los hallazgos de la revisión que exigen cambios de diseño. Mantenga la rama principal superando siempre sus pruebas; etiquete la versión que entra en la verificación final. Para el proyecto final del TMRP, el alcance se congeló tras la revisión independiente. La alarma de estación sin datos de F2 fue el cambio de diseño realizado antes de que la versión etiquetada entrara en la verificación final; cualquier idea posterior pasó a una lista de trabajo futuro. La corrección del reinicio llegó más tarde, como una corrección hallada por la propia verificación, que es el único tipo de cambio permitido tras una congelación. La rama principal se mantuvo en verde.
46.2 Ejecutar la verificación
Ejecute el plan de verificación completo contra la versión etiquetada: pruebas unitarias, de integración, basadas en propiedades y de inyección de fallos (capítulos 30 y 40). Registre cada resultado con la versión, la semilla y el entorno. Ante cualquier fallo: registre, analice, corrija, vuelva a ejecutar y registre de nuevo. No sobrescriba los resultados anteriores; el historial es evidencia. Para el proyecto final del TMRP, el fallo del receptor al no rechazar las reproducciones tras un reinicio se registró, se corrigió conservando el último contador de cada estación y se volvió a probar, y se guardaron ambos resultados. La versión etiquetada fue la que se probó. Su semilla quedó registrada.
46.3 Revisión crítica de diseño
En la revisión crítica de diseño, el tribunal comprueba: los requisitos cumplidos con evidencia; los hallazgos de la revisión cerrados o con un tratamiento decidido; los riesgos residuales declarados y con responsable; las operaciones y el mantenimiento preparados; y la preparación para el ensayo. Lleve la matriz de trazabilidad, los resultados de la verificación, el registro de hallazgos y el caso de aseguramiento. Para el TMRP, el tribunal vio el resumen de la verificación que sigue. Incluye el fallo tras el reinicio y su corrección, la alarma de estación sin datos añadida tras F2 y la demostración de la rotación de claves. Con F1 a F3 cerrados o con un tratamiento decidido y R6 declarado con honestidad, el tribunal pudo tomar una decisión explícita sobre la preparación para el ensayo en lugar de darla por supuesta.
46.4 Ejemplo resuelto: resumen de la verificación del proyecto final (sintético)
| Requisito | Pruebas | Resultado | Notas |
|---|---|---|---|
| R1 | T1, T2, campaña (clase de corrupción) | Superado | 0 fallos silenciosos en 10.000 mensajes |
| R2 | T2, pruebas de reinicio (ambos extremos), campaña (reproducción, reordenación, reinicio) | Superado tras la corrección | El receptor aceptaba inicialmente reproducciones tras un reinicio; se corrigió conservando el último contador de cada estación; se volvió a probar |
| R7 | T5, prueba de la alarma de estación sin datos | Superado tras la corrección | Detección de descartes añadida tras F2 |
| Rotación de claves | Demostración | Superado | Ventana de solapamiento de 10 min con ambas claves aceptadas; después, se revocó la clave antigua |
El fallo tras el reinicio lo encontró el modelo de fallos ampliado del EX080: un rendimiento directo de la inversión en el laboratorio de verificación.
46.5 Actividad práctica
Ejecute su plan de verificación completo y elabore la tabla resumen con enlaces a los resultados en bruto. Para cada requisito, indique las pruebas, el resultado y cualquier corrección, como en el resumen del TMRP. Conserve los resultados fallidos con sus fechas y las correcciones que los siguieron, y enlace cada línea con los archivos de resultados en bruto, con sus semillas y versiones. Si una prueba no se ejecutó, dígalo en la tabla en lugar de dejar la casilla en blanco. La tabla debe permitir a un revisor trazar cualquier afirmación hasta un archivo en un solo paso.
46.6 Errores comunes y límites
- Añadir funciones durante la verificación.
- Sobrescribir los resultados fallidos con superaciones posteriores.
- Llegar a la revisión crítica de diseño con hallazgos críticos abiertos.
El proyecto final del TMRP evitó estos errores congelando el alcance tras la revisión, manteniendo en el registro el fallo tras el reinicio junto a su superación posterior y cerrando F1 a F3 antes de la revisión crítica de diseño. Los resultados fallidos permanecieron en el registro con las correcciones que los siguieron, de modo que los revisores pudieron ver cómo se había ganado cada superación. No se añadió ninguna función durante la verificación. Los hallazgos abiertos se cerraron primero.
Ejercicios — capítulo 46
EX091 — Diseño de la rotación. Objetivo: diseñar una rotación de claves sin pérdidas. Entradas: §46.4. Pasos: describa paso a paso el protocolo de rotación, incluido cómo sabe el receptor qué clave probar, la ventana de solapamiento, el tratamiento de fallos y la revocación. Evidencia esperada: procedimiento. Rúbrica: 3 = ID de clave en la cabecera autenticada, el receptor acepta ambas claves durante la ventana, los contadores continúan, reversión si la nueva clave falla, clave antigua revocada y destruida; 2 = sin ID de clave; 1 = «cambiar la clave»; 0 = nada.
EX092 — Decisión de preparación. Objetivo: juzgar la preparación. Entradas: todos los requisitos se superan, salvo un hallazgo menor sobre la documentación y un hallazgo mayor abierto según el cual el umbral de la alarma de estación sin datos (60 s) produce dos falsas alarmas al día durante la congestión de LTE. Pasos: recomiende continuar / continuar con condiciones / no continuar para el ensayo, de forma razonada. Evidencia esperada: recomendación. Rúbrica: 3 = continuar con condiciones (estudio de ajuste del umbral durante el ensayo, operadores informados), razonamiento sobre la consecuencia de las falsas alarmas frente a una pérdida de datos no detectada; 2 = sin condiciones; 1 = sin razonar; 0 = nada.
Síntesis del capítulo
Congele el alcance, cierre los hallazgos, verifique por completo la versión etiquetada y conserve el historial de fallos como evidencia. Llegue a la revisión crítica de diseño con la trazabilidad, los resultados, los hallazgos y el caso de aseguramiento, y salga de ella con una decisión explícita sobre la preparación.
Siga estudiando — capítulo 46 de 50
← Capítulo 45 · Índice de capítulos del curso · Capítulo 47 →
Continúe con la siguiente lección escrita.