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.