Análisis de Valores Limites

Análisis de valores limites Condiciones límite: Aquellas que se hallan en los márgenes de las clases de equivalencia tanto de entrada como de salida. Selección de valores  – Rango de valores : casos de prueba para límites del rango y para situaciones justo más allá de los extremos.  – Número de valores : casos de prueba para los valores mínimo y máximo, una unidad mayor que el máximo y una menor que el mínimo.  – Si la entrada o la salida es un conjunto ordenado, atención al primero y último. Ejemplo: tabla de clases de equivalencia y análisis de valores límite  – Programa que suma dos enteros de uno o dos dígitos

¿Cuántos casos de prueba habría que generar para cubrir todas las combinaciones de entradas de este programa? Si aplicamos la técnica de análisis de valores límite, estamos cubriendo además las clases de equivalencia válidas y no válidas. Esta es una forma obvia para ahorrar trabajo. Las tablas de clases y límites son una forma eficiente de especificar las pruebas. El concepto de límite tiene varias dimensiones y no se restringe a rangos numéricos. En el ejemplo del triángulo podemos considerar tres casos Valores que definen un elemento no válido (no triángulo) Valores de tipo inadecuado (no numéricos) Demasiadas o pocas entradas (dos o cuatro lados) El desafío de realizar análisis de valores límite es encontrar valores y combinaciones que están en los límites de la especificación. Debemos considerar además de con los límites del campo individual, la combinación de varios campos que pueden quedar en los límites conceptuales de lo que define la especificación.   

Análisis de valores limites Se basa en la evidencia experimental de que los errores suelen aparecer con mayor probabilidad en los extremos de los campos de entrada.

Un análisis de las condiciones límites de las clases de equivalencia aumenta la eficiencia de la prueba. Condiciones límites: valores justo por encima y por debajo de los márgenes de la clase de equivalencia. 

Derivación de los casos de prueba Generar tantos casos de prueba como sean necesarios para ejercitar las condiciones límites de las clases de equivalencia. Proceso heurístico Como en el caso anterior se pueden seguir unos criterios que faciliten su obtención 

 

Ejemplo 1:  –Construcción de una batería de pruebas para detectar posibles errores en la construcción de los identificadores de un hipotético lenguaje de programación. Las reglas que determinan su construcción sintáctica son: No debe tener más de 15 ni menos de 5 caracteres El juego de caracteres utilizables es: o Letras (Mayúsculas y minúsculas) o Dígitos (0,9) o Guión (-)  

 

 

Se distinguen las mayúsculas de las minúsculas El guión no puede estar ni al principio ni al final, pero puede haber varios consecutivos. Debe contener al menos un carácter alfabético No puede ser una de las palabras reservadas del lenguaje

Análisis de valores limite La experiencia muestra que los casos de prueba que exploran las condiciones límite producen mejor resultado que aquellos que no lo hacen. Las condicione límite son aquellas que se hallan en los márgenes de la clase de equivalencia, tanto de entrada como de salida. Por ello, se ha desarrollado el análisis de valores límite como técnica de prueba. Esta técnica nos lleva a elegir los casos de prueba que ejerciten los valores límite. Por lo tanto, el análisis de valores límite complementa la técnica de partición de equivalencia de manera que: - En lugar de seleccionar cualquier caso de prueba de las clases válidas e inválidas, se eligen los casos de prueba en los extremos. - En lugar de centrase sólo en el dominio de entrada, los casos de prueba se diseñan también considerando el dominio de salida. Las pautas para desarrollar casos de prueba con esta técnica son: - Si una condición de entrada especifica un rango de valores, se diseñarán casos de prueba para los dos límites del rango, y otros dos casos para situaciones justo por debajo y por encima de los extremos.

- Si una condición de entrada especifica un número de valores, se diseñan dos casos de prueba para los valores mínimo y máximo, además de otros dos casos de prueba para valores justo por encima del máximo y justo por debajo del mínimo. - Aplicar las reglas anteriores a los datos de salida. - Si la entrada o salida de un programa es un conjunto ordenado, habrá que prestar atención a los elementos primero y último del conjunto.