Técnicas Fundamentales de Pruebas de Software: Caja Blanca y Caja Negra

Técnicas de Prueba de Caja Blanca (Estructural)

Criterios de cobertura

Cobertura de condiciones

Consiste en diseñar tantos casos de prueba como sea necesario para que cada condición de cada decisión adopte el valor verdadero al menos una vez y el valor falso al menos una vez.

Criterio de decisión/condición

Consiste en exigir el criterio de cobertura de condiciones, obligando a que se cumpla también el criterio de cobertura de decisiones.

Criterio de condición múltiple

Consiste en considerar que cada decisión multicondicional se descompone en varias decisiones unicondicionales.

Cobertura de caminos

Exige que cada uno de los posibles caminos del programa se ejecute al menos una vez.

Técnicas de Prueba de Caja Negra (Funcional)

Se centra en el estudio de la especificación del software, del análisis de las funciones que debe realizar, de sus entradas y de sus salidas. El objetivo es buscar criterios que permitan elegir un subconjunto de casos de prueba cuya ejecución aporte confianza en la detección de posibles defectos del software.

Criterios para un caso de prueba bien elegido

• Reduce el número de otros casos necesarios para que la prueba sea razonable.
• Cubre un conjunto extenso de otros casos posibles.

Técnicas de diseño de casos de caja negra

Particiones o clases de equivalencia

En esta técnica, el dominio de valores de entrada se divide en un número finito de clases de equivalencia. Se parte de la premisa de que todos los valores dentro de una misma clase son equivalentes desde el punto de vista del comportamiento del programa.

Principios

• Cada caso de prueba debe cubrir el máximo número de entradas no probadas.

Método de diseño

El método consiste en dos pasos principales: la identificación de las clases de equivalencia y la creación de los casos de prueba correspondientes.

1. Identificación de clases de equivalencia

• Identificación de las condiciones de las entradas: Analizar qué condiciones se aplican a cada dato de entrada.
• Identificación de clases: Se definen clases de equivalencia tanto para datos válidos como para datos no válidos. Existen reglas que facilitan esta identificación.

2. Creación de casos de prueba

El último paso es usar las clases identificadas para generar los casos de prueba. Este proceso consta de las siguientes fases:

1. Asignar un número único a cada clase de equivalencia.
2. Escribir un caso de prueba que cubra tantas clases válidas no incorporadas como sea posible.
3. Escribir un caso de prueba por cada clase no válida que no haya sido cubierta.

Análisis de Valores Límite (AVL)

Esta técnica se basa en la experiencia que demuestra que los casos de prueba que exploran las condiciones límite de un programa producen un mejor resultado para la detección de defectos. Se definen las condiciones límite como las situaciones que se hallan directamente en los bordes, así como por encima y por debajo, de las clases de equivalencia. Es una técnica que complementa a la de particiones de equivalencia.