Esta
técnica complementa a la de partición equivalente.
En lugar de seleccionar
cualquier elemento de una clase de equivalencia, el AVL lleva a la elección de
casos de prueba "en los bordes" de la clase.
En vez de centrarse solamente en
las condiciones de entrada, el AVL deriva casos de prueba también para el campo
de salida.
1. Si
una condición de entrada especifica un rango delimitado por los valores a y b,
se deben diseñar casos de prueba para los valores a y b y para valores justo por
debajo y justo por encima de a y b, respectivamente.
2. Si una condición de entrada especifica un número de valores, se deben desarrollar casos de prueba que ejerciten los valores máximo y mínimo.
2. Si una condición de entrada especifica un número de valores, se deben desarrollar casos de prueba que ejerciten los valores máximo y mínimo.
También se deben probar los valores
justo por debajo del máximo y del mínimo.
3. Aplicar las directrices 1 y 2 a las condiciones de salida.
3. Aplicar las directrices 1 y 2 a las condiciones de salida.
Por ejemplo, supongamos que se requiere una tabla como
salida deun programa, entonces se deben diseñar casos de prueba que creen un
informe de salida que produzca el máximo ( y el mínimo) número permitido de
entradas en la tabla.
4. Si las estructuras de datos internas tienen límites
preestablecidos(por ejemplo, un arreglo de 100 entradas) hay que asegurarse de
diseñar un caso de prueba que ejercite la estructura de datos en sus
límites.
