De ningún modo. No olvide que se trata de algoritmos, una clase de matemática elaborada, y que realmente puede probar si los algoritmos son correctos. Si el código implementa este algoritmo definitivamente correctamente, no queda nada por hacer.
El ejemplo más destacado para esto es falso (1): no hacer nada, sin éxito
No puede encontrar un mejor programa para devolver False.
Probar la exactitud de los programas más complejos no es realmente factible, pero aún es posible probar la corrección.
En programación, “nuevo” significa “más funciones”, lo que también significa más errores o “más correcciones de errores”, lo que significa que no hay nuevas funciones, sino menos errores.
En la mayoría de los casos, se recomienda utilizar únicamente lenguajes de programación, bibliotecas y marcos “maduros” para uso en producción. Esto se debe a que siempre lleva un tiempo corregir los errores y crear un buen traje de prueba para “probar” (no realmente, pero aún da una buena sensación) que algo es seguro de usar. Por último, pero no menos importante, en la mayoría de los casos, la interfaz de programación (API) es propensa a cambios sustanciales en el desarrollo inicial. Esto significa que, en el peor de los casos, usted, como usuario, puede verse obligado a reescribir su aplicación en el futuro si desea seguir usando nuevas versiones.
- ¿Por qué debería elegir especializarme en ciencias de la computación en lugar de las matemáticas?
- ¿Cuál es la diferencia entre notación matemática y notación de programación? ¿Por qué usar uno sobre el otro? ¿Por qué no solo usar siempre la programación?
- ¿Cómo resolvemos el siguiente problema en SPOJ utilizando aritmética modular inversa: SPOJ.com - Problema UCV2013A?
- ¡Un conjunto de idiomas de más de {0,1} que no son recursivamente enumerables son incontables! ¿Cómo puedo probarlo?
- ¿Alguien puede mostrarme la relación de recurrencia?