Desarrollo Formal de Software

Objetivo

Aplicar los fundamentos de los capítulos estudiados para construir y verificar inicialmente tres funcionalidades del proyecto integrado, utilizando la especificación formal elaborada en la primera entrega como base para implementar el código y comprobar que su comportamiento corresponde con las condiciones establecidas.

¿Que debe entregar?

Cada grupo deberá continuar trabajando con las tres funcionalidades definidas y analizadas en la primera entrega, si no presento ajustes. Para esta fase, deberá avanzar desde la especificación formal hacia la construcción del software y su verificación inicial.

Para cada funcionalidad deberán:

• Recuperar y actualizar el análisis y la especificación formal elaborados en la primera entrega.
• Implementar el código de la funcionalidad en el lenguaje de programación seleccionado para el proyecto.
• Identificar las condiciones previas (precondiciones) que deben cumplirse antes de ejecutar la funcionalidad.
• Establecer las condiciones posteriores (postcondiciones) que permitan determinar si la ejecución produjo el resultado esperado.
• Explicar cómo se relacionan las precondiciones y postcondiciones con el comportamiento implementado.
• Verificar inicialmente que el código cumpla las condiciones especificadas.
• Identificar y ejecutar casos de prueba iniciales, incluyendo casos normales, de límite e inválidos, según corresponda a cada funcionalidad.
• Registrar los resultados obtenidos e identificar los errores o defectos encontrados.
• Realizar los ajustes necesarios y explicar las correcciones efectuadas.

La implementación debe permitir evidenciar el comportamiento de las tres funcionalidades. No es suficiente presentar únicamente el código: también se debe explicar cómo se verifica que funciona de acuerdo con la especificación.

Entregable

Un documento en PDF que contenga el análisis y especificación de las tres funcionalidades, siguiendo las orientaciones y la rúbrica establecidas en la guía de la actividad.

Importante

Un documento en PDF que presente el avance de construcción y verificación inicial de las tres funcionalidades, acompañado del código fuente correspondiente y de las evidencias de ejecución y verificación.

El documento debe integrar los aspectos relevantes de la primera entrega, debidamente revisados y actualizados, para mantener la trazabilidad entre el análisis, la especificación formal, la construcción y la verificación.

Fecha Máxima

10 de noviembre de 2026 a las 7:00am 

Material de apoyo

Presentaciones y materiales de clase.

Actividades desarrolladas durante las sesiones.

Documento y especificación formal elaborados en la primera entrega.

Guía de la segunda entrega: construcción y verificación inicial de funcionalidades. (Descargar)

Formato para organizar el documento de entrega. (Descargar)

Rubrica

Se debe tener en cuenta la rubriga de evaluación. (Descargar)