Caso límite

Un caso límite es un problema o situación que se presenta únicamente en un parámetro de funcionamiento extremo (máximo o mínimo) . Por ejemplo, un altavoz estéreo podría distorsionar notablemente el audio al reproducirse al máximo volumen, incluso en ausencia de cualquier otra configuración o condición extrema.

Un caso límite puede ser previsible o imprevisto. En ingeniería , planificar y abordar adecuadamente los casos límite puede ser una tarea importante, pero a menudo se pasa por alto o se subestima.

Algunas causas comunes de casos límite ^{[ 1 ]} son:

• Comportamiento impredecible del usuario
• Evolución de los casos de uso (por ejemplo, el comportamiento del usuario puede cambiar con el tiempo).
• Cobertura de pruebas limitada
• Complejidad del producto (por ejemplo, en sistemas distribuidos o arquitecturas de microservicios )
• Limitaciones de recursos (por ejemplo, potencia de procesamiento limitada, memoria del ordenador o almacenamiento del ordenador )
• Otras causas externas

Algunos ejemplos básicos de casos límite incluyen:

• Un nombre de usuario largo en una aplicación se desborda y se muestra incorrectamente.
• El sistema de reservas no gestiona correctamente las reservas en un día bisiesto (29 de febrero).

Los casos límite no triviales pueden provocar el fallo de un objeto en desarrollo. Es posible que no se hayan previsto durante la fase de diseño ni se hayan considerado posibles durante el uso normal del objeto. Por este motivo, los intentos de formalizar buenas prácticas de ingeniería suelen incluir información sobre casos límite.

En programación, un caso límite generalmente implica valores de entrada que requieren un manejo especial en un algoritmo subyacente a un programa informático. Para validar el comportamiento de los programas informáticos en tales casos, se suelen crear pruebas unitarias ; estas pruebas evalúan las condiciones límite de un algoritmo, función o método . Se puede utilizar una serie de casos límite alrededor de cada "límite" para proporcionar una cobertura y confianza razonables, partiendo de la premisa de que si se comporta correctamente en los límites, debería comportarse correctamente en cualquier otro lugar. ^{[ 2 ]}

Por ejemplo, una función que divide dos números podría probarse con números muy grandes y muy pequeños. Esto supone que si funciona para ambos extremos del espectro de magnitud, debería funcionar correctamente en el medio. ^{[ 3 ]}

Los programadores también pueden crear pruebas de integración para abordar casos límite no cubiertos por las pruebas unitarias. ^{[ 4 ]} Estas pruebas cubren casos que solo aparecen cuando se prueba un sistema en su conjunto. Por ejemplo, mientras que una prueba unitaria puede asegurar que una función calcula correctamente un resultado, una prueba de integración asegura que esta función funcione correctamente cuando se integra con una base de datos o una API externa . Estas pruebas son particularmente relevantes con la creciente complejidad de los sistemas distribuidos , los microservicios y los dispositivos del Internet de las cosas (IoT) . Con los microservicios en particular, las pruebas se convierten en un desafío, ya que las pruebas de integración pueden no cubrir todos los puntos finales de los microservicios, lo que resulta en casos límite no cubiertos. ^{[ 5 ]}

Otros tipos de pruebas relacionadas con casos límite pueden incluir pruebas de carga y pruebas negativas/de fallo . Ambos métodos buscan ampliar la cobertura de pruebas de un sistema, reduciendo la probabilidad de casos límite inesperados.

En el desarrollo guiado por pruebas , los casos límite pueden determinarse mediante los requisitos del sistema y contemplarse en las pruebas antes de escribir el código. Dicha documentación puede incluirse en un documento de requisitos del producto tras conversaciones con las partes interesadas y otros equipos.

• Caso excepcional , un problema que ocurre solo cuando múltiples condiciones ambientales se encuentran simultáneamente en niveles extremos (máximos o mínimos).
• ingeniería forense
• Fuzzing
• Pruebas aleatorias
• Ruta feliz : ruta predeterminada sin errores ni excepciones.