IA · Solución computacional

Este folleto cubre temas seleccionados de SL para el curso evaluado por primera vez en 2027; no abarca todo el programa.

Requisitos previos: leer las cantidades y unidades indicadas, y aplicar aritmética y las condiciones del modelo siguientes.

Los ejemplos son originales y ficticios: no son mediciones reales ni investigaciones estudiantiles reales.

¿Qué explicaría esta observación?

• Una solución computacional presentada que se ejecuta pero no puede demostrar por qué funciona obtiene una calificación baja: la evidencia, el rastro y las pruebas de frontera son parte del entregable, no adornos.

Construya el modelo

• Enuncia el problema como un contrato: condiciones de entrada y salidas esperadas.
• Elige un enfoque y una organización de datos que se ajusten al contrato.
• Implementa el procedimiento de manera legible; enuncia la convención de indexación.
• Demuéstralo con pruebas de frontera: colecciones vacías (cuando estén permitidas), duplicados y valores inválidos.
• Solución computacional: un programa funcional junto con el contrato enunciado y la evidencia de que cumple dicho contrato.

Elija evidencias que puedan probarlo

• Rastrea la solución sobre un ejemplo resuelto pequeño en la escritura.
• Documenta cada prueba de frontera y lo que demuestra.
• Diagnóstica cualquier omisión como un algoritmo incorrecto, una implementación errónea o un requisito incompleto.

En el laboratorio: La escritura contiene el flujo de trabajo: problema enunciado, enfoque, evidencia probada, documentación; el evaluador puede reconstruir el razonamiento.

Trabaje desde cantidades conocidas

• Ejemplo resuelto: búsqueda en registro sobre [3, 9, 14, 20, 27] con indexación basada en uno.
• Tabla de rastreo: tres filas (intervalo, medio, decisión) mostrando cómo se reduce el intervalo.
• Pruebas de frontera: el registro vacío devuelve el mensaje de no encontrado; los IDs duplicados se resuelven hacia la primera entrada (enunciado); un ID inválido es rechazado en la entrada.
• Cada prueba corresponde a una cláusula del contrato.

Tu turno: Redacta la cláusula del contrato que debe enunciar un registro con IDs duplicados antes de que se juzgue cualquier código.

Verifique la conclusión y sus límites

• La solución se evalúa según el contrato enunciado: un comportamiento no enunciado no puede ser probado posteriormente.
• Los requisitos del cliente pueden exceder el contrato (velocidad, privacidad, escala): estos pertenecen al problema enunciado, no a la lista de errores.

No es cierto: Que el programa se ejecute significa que el requisito está cumplido. El requisito incluye el contrato de frontera; una ejecución con entradas exitosas satisface solo una parte de él.

Clave:

• El entregable es el programa, el contrato y la evidencia juntos.
• Cada prueba de límite se corresponde con una cláusula del contrato.
• Prestar atención a: comportamientos no expresados que se ponen a prueba tras la presentación.