El análisis de valores límite es una técnica de prueba de software en la que las pruebas están diseñadas para incluir representantes de valores límite en un rango. La idea surge del límite . [1] Dado que existe un conjunto de vectores de prueba para probar el sistema, se puede definir una topología sobre ese conjunto. Los insumos que pertenecen a la misma clase de equivalencia definida por la teoría de partición de equivalencia constituirían la base . Dado que los conjuntos de bases son vecinos , existiría un límite entre ellos. Los vectores de prueba a cada lado del límite se denominan valores límite. En la práctica, esto requeriría que los vectores de prueba puedan ordenarse y que los parámetros individuales sigan algún tipo de orden (ya sea orden parcial u orden total ).
Formalmente, los valores límite se pueden definir de la siguiente manera:
En términos más sencillos, se prueban los valores en los bordes mínimo y máximo de una partición de equivalencia . Los valores pueden ser rangos de entrada o salida de un componente de software, o también pueden ser la implementación interna. Dado que estos límites son ubicaciones comunes para errores que resultan en fallas de software , con frecuencia se ejercen en casos de prueba .
Los valores de entrada y salida esperados para el componente de software deben extraerse de la especificación del componente. Luego, los valores se agrupan en conjuntos con límites identificables. Cada conjunto o partición contiene valores que se espera que el componente procese de la misma manera. La partición de rangos de datos de prueba se explica en la técnica de diseño de casos de prueba de partición de equivalencia . Es importante considerar tanto las particiones válidas como las no válidas al diseñar casos de prueba.
La demostración se puede realizar utilizando una función escrita en Java .
clase segura { static int add ( int a , int b ) { int c = a + b ; si ( a >= 0 && b >= 0 && c < 0 ) { Sistema . errar . println ( "Desbordamiento!" ); } si ( a < 0 && b < 0 && c >= 0 ) { Sistema . errar . println ( "Desbordamiento inferior!" ); } devolver c ; } } Según el código, los vectores de entrada de [ a,b ] se dividen. Los bloques que debemos cubrir son la declaración de desbordamiento y la declaración de desbordamiento y ninguno de estos 2. Eso da lugar a 3 clases equivalentes, a partir de la revisión del código en sí.
observamos que hay un tamaño fijo de número entero , por lo tanto: -
Observamos que los parámetros de entrada a y b son números enteros, por lo que existe un orden total en ellos. Cuando calculamos las igualdades: -
Recuperamos los valores que están en el límite, inclusive, es decir, estos pares de ( a,b ) son combinaciones válidas y no se producirá ningún desbordamiento ni desbordamiento para ellos.
Por otro lado:-
da pares de ( a,b ) que son combinaciones no válidas, se produciría un desbordamiento para ellas. Del mismo modo:-
da pares de ( a,b ) que son combinaciones no válidas, se produciría un desbordamiento para ellas.
Los valores límite (dibujados sólo para el caso de desbordamiento) se muestran como la línea naranja en la figura del lado derecho.
Para otro ejemplo, si los valores de entrada fueran meses del año, expresados como números enteros, el parámetro de entrada 'mes' podría tener las siguientes particiones:
... -2 -1 0 1 ................ 12 13 14 15 ..... --------------|-------------------|------------------------ ----partición no válida 1 partición válida partición no válida 2
El límite entre dos particiones es el lugar donde cambia el comportamiento de la aplicación y no es un número real en sí mismo. El valor límite es el valor mínimo (o máximo) que se encuentra en el límite. El número 0 es el número máximo en la primera partición, el número 1 es el valor mínimo en la segunda partición, ambos son valores límite. Se deben crear casos de prueba para generar entradas o salidas que caerán en y a ambos lados de cada límite, lo que resulta en dos casos por límite. Los casos de prueba a cada lado de un límite deben tener el incremento más pequeño posible para el componente bajo prueba; para un número entero, esto es 1, pero si la entrada fuera un decimal con 2 lugares, entonces sería .01. En el ejemplo anterior hay valores límite en 0,1 y 12,13 y cada uno debe probarse.
El análisis de valores límite no requiere particiones no válidas. Tomemos un ejemplo en el que se enciende un calentador si la temperatura es de 10 grados o menos. Hay dos particiones (temperatura≤10, temperatura>10) y dos valores límite para probar (temperatura=10, temperatura=11).
Cuando un valor límite cae dentro de la partición no válida, el caso de prueba está diseñado para garantizar que el componente de software maneje el valor de manera controlada. El análisis del valor límite se puede utilizar durante todo el ciclo de prueba y es igualmente aplicable en todas las fases de la prueba.