Pruebas de software: análisis de valor límite – Part 1

Las pruebas funcionales son un tipo de pruebas de software en las que el sistema se prueba frente a los requisitos funcionales del sistema. Se lleva a cabo para garantizar que la aplicación cumple correctamente los requisitos. Las pruebas funcionales verifican que cada función de la aplicación de software funcione de acuerdo con el requisito y la especificación. El análisis de valor límite (BVA) es una de las pruebas funcionales.

Análisis de valor límite

El análisis de valor límite se basa en probar los valores límite de particiones válidas e inválidas. Es más probable que el comportamiento en el borde de la partición de equivalencia sea incorrecto que el comportamiento dentro de la partición, por lo que los límites son un área donde es probable que las pruebas produzcan defectos.

Comprueba los valores de entrada cerca del límite que tienen una mayor probabilidad de error. Cada partición tiene sus valores máximos y mínimos y estos valores máximos y mínimos son los valores límite de una partición.

Nota:

• Un valor límite para una partición válida es un valor límite válido.
• Un valor de límite para una partición no válida es un valor de límite no válido.
• Para cada variable verificamos-
  • Valor mínimo.
  • Justo por encima del mínimo.
  • Valor nominal.
  • Justo debajo del valor máximo.
  • Valor máximo.

Ejemplo: Considere un sistema que acepta edades de 18 a 56 años.

Análisis de valor límite (la edad acepta de 18 a 56)
Inválido (min-1)	Válido (mín, mín + 1, nominal, máx – 1, máx)	Inválido  (máx. + 1)
17	18, 19, 37, 55, 56	57

Casos de prueba válidos : los casos de prueba válidos para lo anterior pueden ser cualquier valor ingresado mayor que 17 y menor que 57.

• Introduzca el valor- 18.
• Introduzca el valor- 19.
• Introduzca el valor- 37.
• Introduzca el valor- 55.
• Introduzca el valor- 56.

Casos de prueba no válidos: cuando se ingresa cualquier valor menor que 18 y mayor que 56.

• Introduzca el valor- 17.
• Introduzca el valor- 57.

Suposición de falla única: cuando se verifica más de una variable para la misma aplicación, se puede usar una suposición de falla única. Manteniendo todas las variables menos una en el valor extremo y permitiendo que la variable restante tome el valor extremo. Para n variable a comprobar:

Máximo de 4n+1 casos de prueba

Problema: Considere un Programa para determinar los Datos Previos. 

Entrada: Día, Mes, Año con rangos válidos como-

1 ≤ Mes≤12 
1 ≤ Día ≤31
1900 ≤ Año ≤ 2000

Casos de prueba de valor límite de diseño.

Solución: Tomando el año como un supuesto de falla única, es decir, el año tendrá valores que varían de 1900 a 2000 y otros tendrán valores nominales.

Casos de prueba	Mes	Día	Año	Producción
1	6	15	1990	14 de junio de 1990
2	6	15	1901	14 de junio de 1901
3	6	15	1960	14 de junio de 1960
4	6	15	1999	14 de junio de 1999
5	6	15	2000	14 de junio de 2000

Tomando Día como Supuesto de Falla Única, es decir, Día tendrá valores que varían de 1 a 31 y otros tendrán valores nominales.

Caso de prueba	Mes	Día	Año	Producción
6	6	1	1960	31 de mayo de 1960
7	6	2	1960	1 de junio de 1960
8	6	30	1960	29 de junio de 1960
9	6	31	1960	día inválido

Tomando el Mes como Supuesto de Falla Única, es decir, el Mes tendrá valores que varían de 1 a 12 y otros tendrán valores nominales.

Caso de prueba	Mes	Día	Año	Producción
10	1	15	1960	14 de enero de 1960
11	2	15	1960	14 de febrero de 1960
12	11	15	1960	14 de noviembre de 1960
13	12	15	1960	14 de diciembre de 1960

Para que se compruebe la variable n, se requerirá un máximo de 4n + 1 caso de prueba. Por lo tanto, para n = 3, los casos de prueba máximos son:

4 × 3 + 1 = 13

El enfoque de BVA: BVA se enfoca en la variable de entrada de la función. Definamos dos variables X1 y X2, donde X1 se encuentra entre a y b y X2 se encuentra entre c y d.

La idea y la motivación detrás de BVA son que los errores tienden a ocurrir cerca de los extremos de las variables. El defecto en el valor límite puede ser el resultado de innumerables posibilidades.

Escritura de idiomas: BVA no es adecuado para lenguajes de forma libre como COBOL y FORTRAN. Estos lenguajes se conocen como lenguajes de escritura débil. Esto puede ser útil y también puede causar errores.

PASCAL, ADA es el lenguaje fuertemente tipado que requiere todas las constantes o variables definidas con un tipo de datos asociado.

Limitación del análisis del valor límite:

• Funciona bien cuando el producto está bajo prueba.
• No puede considerar la naturaleza de las dependencias funcionales de las variables.
• BVA es bastante rudimentario.

Partición de equivalencia

Es un tipo de prueba de caja negra que se puede aplicar a todos los niveles de pruebas de software . En esta técnica, los datos de entrada se dividen en particiones equivalentes que se pueden usar para derivar casos de prueba:

• En esta entrada, los datos se dividen en diferentes clases de datos de equivalencia.
• Se aplica cuando hay un rango de valores de entrada.

Ejemplo: a continuación se muestra el ejemplo para combinar partición de equivalencia y valor límite. 

Considere un campo que acepte un mínimo de 6 caracteres y un máximo de 10 caracteres. Luego, la partición de los casos de prueba varía de 0 a 5, de 6 a 10, de 11 a 14. 

Escenario de prueba	Descripción de la prueba	Gastos esperados
1	Ingrese el valor 0 a 5 caracteres	No aceptada
2	Introduzca de 6 a 10 caracteres	Aceptado
3	Introduzca de 11 a 14 caracteres	No aceptada

Por qué combinar la partición de equivalencia y las pruebas de análisis de límites: las siguientes son algunas de las razones por las que combinar los dos enfoques:

• En esta prueba, los casos se reducen a partes manejables.
• La eficacia de las pruebas no se ve comprometida en los casos de prueba.
• Funciona bien con un gran número de variables.