Ingeniería de Software cs.SE

La niebla se espesa sobre la línea «def max(a: Int, b: Int): Int». ¿Qué hace? Devuelve el mayor de dos números, pero ¿cómo comprobarlo? Se pueden escribir una docena de pruebas con pares concretos: max(2,3)=3, max(5,5)=5, max(-1,0)=0. Y aun así queda la inquietud: ¿y si para algún millón y menos un millón falla?

Stuttgart, 2025. Un ingeniero de software conecta su portátil a un coche de pruebas no para diagnosticar, sino para reemplazar la «personalidad» del vehículo — como quien cambia el firmware de un smartphone. Pero en lugar de una actualización instantánea, se topa con una cascada de incompatibilidades.

Los dispositivos cuánticos ya no son curiosidades de laboratorio. Se ensamblan, ajustan y reparan como equipos comunes, solo que en su interior no hay simplemente corriente, sino intrincadas redes de partículas que pueden estar en varios estados a la vez. Los ingenieros dibujan esquemas, los programadores escriben código, los físicos calculan efectos.

Los asistentes de programación suelen actuar como un cocinero que, para hervir un solo huevo, relee el libro de cocina entero. Al recibir la tarea de hacer una pequeña corrección, vuelven a abrir decenas de archivos y verifican vínculos ya conocidos. Esto es trabajo innecesario: energía que se desperdicia.