Documento de demostración · Puedes guardarlo como PDF desde la opción Imprimir de tu navegador.

KrakenDevCL · Ingeniería asistida por IADEMOSTRACIÓN FICTICIA · 1 / 2

Análisis

Confirmación de reservas

Autor: José Antonio Gallegos Carvallo

Ejemplo creado desde cero para el portafolio. No reproduce datos, código ni documentos de un sistema empresarial.

1. Requisito funcional

Impedir la confirmación de una reserva si falta la fecha o si es anterior a la fecha mínima permitida. Conservar la validación de disponibilidad antes de guardar.

2. Comportamiento actual ilustrativo

La operación consulta disponibilidad y luego guarda la reserva. El fragmento disponible no incluye una comprobación de fecha.

101: Event 'Confirmar'
102:    ValidarDisponibilidad()
103:    GuardarReserva()
104: Endevent

3. Alcance y supuestos

La propuesta afecta únicamente a la confirmación. La fecha mínima es un dato de entrada configurado; se utiliza la misma referencia de calendario para comparar fechas. Se conserva el control de disponibilidad.

4. Escenarios de aceptación

EntradaResultado esperado
Fecha ausenteMostrar mensaje e impedir el guardado.
Fecha anterior al mínimoMostrar mensaje e impedir el guardado.
Fecha igual o posterior al mínimoContinuar con disponibilidad y guardado según las reglas existentes.
KrakenDevCL · Ingeniería asistida por IADEMOSTRACIÓN FICTICIA · 2 / 2

Diseño

Control previo al guardado

1. Variables e inserción

&FechaReserva: fecha ingresada. &FechaMinima: fecha mínima permitida. El nuevo control se ubica antes de la línea 102.

2. Propuesta ilustrativa

Event 'Confirmar' // referencia: 101
   If &FechaReserva.IsEmpty() Or &FechaReserva < &FechaMinima // AGREGAR
      Msg('Selecciona una fecha válida.') // AGREGAR
      Return // AGREGAR
   Endif // AGREGAR
   ValidarDisponibilidad() // referencia: 102
   GuardarReserva() // referencia: 103
Endevent // referencia: 104

Las referencias señalan líneas del fragmento ficticio. AGREGAR identifica el cambio propuesto. El pseudocódigo no ha sido compilado en GeneXus.

3. Comprobación de una cita

Antes: Cita rechazada: la línea 108 no existe en la evidencia de demostración.

Después: Cita verificada: el texto coincide exactamente con la línea 103.

Resultados calculados por el verificador de demostración al generar este archivo. Solo comprueban una referencia literal contra la evidencia ficticia.

4. Verificaciones posteriores

Compilar la implementación, ejecutar los tres escenarios, comprobar que el rechazo no persiste datos y probar la conservación de las reglas de disponibilidad.

Estado: propuesta de demostración. No acredita aprobación humana, implementación ni comportamiento en un entorno empresarial.