Alcance:

• Verificar el correcto funcionamiento de la lógica interna.

• Asegurar la cobertura de las rutas del código, declaraciones y condiciones.

• Identificar defectos en las estructuras de control y bucles.

Criterios:

• Cobertura de líneas de código: Todas las líneas del código deben ser ejecutadas al menos una vez.

• Cobertura de ramas/decisiones: Todas las posibles decisiones (verdadero/falso) en estructuras condicionales deben evaluarse.

• Cobertura de caminos: Cada ruta lógica debe probarse para garantizar que no existan errores en combinaciones específicas.

Ejemplo:

Verificar que un algoritmo de cálculo de descuento siga correctamente las reglas establecidas al analizar directamente el código fuente.

Alcance:

• Validar que las funciones y características cumplen con los requerimientos del usuario.

• Identificar errores en las interacciones del sistema con el entorno.

• Garantizar que el software maneje adecuadamente entradas válidas e inválidas.

Criterios:

• Pruebas de equivalencia: Dividir las entradas en grupos (clases de equivalencia) y probar una entrada representativa de cada grupo.

• Análisis de valores límite: Probar los valores en los extremos de los rangos válidos e inválidos.

• Pruebas de transición de estados: Verificar cómo el sistema cambia entre diferentes estados en respuesta a eventos.

Ejemplo:

Comprobar si un formulario de registro rechaza correctamente contraseñas con menos de 8 caracteres sin saber cómo el programa procesa las contraseñas internamente.