¿Qué son las pruebas de software?

En las secciones anteriores presentamos las pruebas de software y explicamos su importancia. Ahora vamos a profundizar en el tema. Primero, repasemos la definición.

Las pruebas evalúan si el software funciona de acuerdo con los requisitos del cliente. Se dividen en dos grandes tipos.

1. Pruebas dinámicas. Se realizan ejecutando el programa.
2. Pruebas estáticas. Consisten en examinar el código y la documentación relacionada.

Las pruebas dinámicas y estáticas suelen combinarse.

Pruebas de caja negra

Las pruebas de caja negra se centran en lo que hace el software, sin examinar su implementación interna. Pueden utilizarse en todos los niveles, desde las pruebas unitarias hasta las de integración, de sistema y de aceptación.

Abrir el diagrama a tamaño completo ↗

Pruebas de caja negra

En una prueba de caja negra, la atención se centra en lo que el software debe hacer. Los casos de prueba se basan en las especificaciones y los requisitos, sin depender de la lógica interna del programa. Se proporcionan entradas válidas e inválidas y se comprueban los resultados.

Pruebas de caja blanca

Las pruebas de caja blanca examinan el código fuente, incluida su lógica interna, implementación y comportamiento. Los casos de prueba comprueban cómo funciona el software por dentro. Este enfoque se puede aplicar en los niveles unitario, de integración y de sistema. Puede revelar errores de diseño interno difíciles de encontrar por otros medios, aunque no identifica requisitos o especificaciones que falten.

Abrir el diagrama a tamaño completo ↗

Pruebas de caja blanca

Cobertura de sentencias

La cobertura de sentencias comprueba que se ejecute al menos una vez cada sentencia de cada bloque de código y que se observen los resultados. También se conoce como cobertura de líneas o de segmentos.

Ejecutar cada sentencia no implica necesariamente probar todas las condiciones. Por eso algunos errores pueden pasar inadvertidos aunque la cobertura de sentencias sea completa.

Cobertura de decisiones

La cobertura de decisiones, también llamada cobertura de ramas, comprueba los resultados de cada decisión, incluidos los casos verdadero y falso. Una rama es un resultado de una decisión. Esto ofrece una cobertura más amplia que la de sentencias por sí sola. Los siguientes son ejemplos de sentencias de decisión.

1. Una sentencia IF.
2. Una sentencia de control de bucle, como do-while.
3. Una sentencia CASE con dos o más resultados posibles.

La cobertura de decisiones ejecuta cada rama del código y permite una comprobación más completa que la cobertura de sentencias por sí sola.

Cobertura de condiciones

La cobertura de condiciones comprueba condiciones booleanas individuales con resultados verdaderos y falsos. Estas condiciones pueden influir de manera importante en el resultado de una decisión. La cobertura de condiciones no garantiza una cobertura completa de decisiones.

Cobertura de decisiones y condiciones

La cobertura de decisiones y condiciones combina las pruebas de las decisiones con las de sus condiciones lógicas individuales. Comprueba los resultados verdadero y falso de ambas, lo que la convierte en un enfoque sólido para probar software.

Cobertura de condiciones múltiples

La cobertura de condiciones múltiples, también llamada cobertura de combinaciones de condiciones, comprueba el resultado de distintas combinaciones. Veamos un ejemplo.
If (x=true OR y=true)
   Then
Print (“Hello”)
   Else
Print (“Bye”)

En este ejemplo hay cuatro combinaciones posibles de condiciones.
Caso de prueba 1. x=true; y=true
Caso de prueba 2. x=true; y=false
Caso de prueba 3. x=false; y=true
Caso de prueba 4. x=false; y=false

De la misma manera, tres condiciones booleanas tienen ocho combinaciones posibles.