2.1. Funcionales.

Anlisis Valores Limite (AVL)

2.1. Funcionales.
Los casos de prueba que exploran las condiciones lmite
producen mejores resultados
Los defectos del software se acumulan en las situaciones
lmite
Diferencias de AVL con particiones de equivalencia:
No se elige cualquier elemento de la clase de equivalencia,
sino uno o ms de manera que los mrgenes se sometan a
prueba.
Los casos de prueba se generan considerando tambin el
espacio de salida.

2.1. Funcionales.
1. Si una condicin de entrada especifica un rango
delimitado por los valores a y b, se deben generar casos
para a y b y casos no vlidos justo por debajo y justo
por encima de a y b, respectivamente.
2. Si una condicin de entrada especifica un nmero de
valores, se deben desarrollar casos de prueba que
ejerciten los valores mximo y mnimo, uno ms el
mximo y uno menos el mnimo.

2.1. Funcionales.
3. Aplicar las directrices 1 y 2 a las condiciones de
salida.
(los valores lmite de entrada no generan
necesariamente los valores lmite de salida y no
siempre se pueden generar resultados fuera del rango
de salida (pero es interesante considerarlo).

2.1. Funcionales.
4. Si las estructuras de datos internas tienen lmites
preestablecidos, hay que asegurarse de disear un caso
de prueba que ejercite la estructura de datos en sus
lmites.

2.1. Funcionales.