Hola a tod@s,
Quisiera compartirles una poderosa herramienta de abstracción de pruebas: los diagramas de control de flujo. Estos son diagramas más simplificados que un simple diagrama de flujo y permiten modelar y abstraer un caso de pruebas a cualquier nivel. Recuerden que si prueban con perspectiva de caja negra podrán modelar a nivel de sistema (usuario final) pero si lo hacen con perspectiva de caja blanca el modelo será a nivel de funciones (líneas de código).
Imaginen que tenemos el siguiente fragmento de código:
1. if (conditionA)
2. {
3.   c=c+1
4. }
5. if(conditionB)
6.   d=d-1
7. else
8.   e++
El diagrama de control de flujo (CFD, por sus siglas en inglés) con perspectiva de caja blanca será así:
A primera vista puede parecer confuso, pero si utilizan como guía el número e línea de código descubrirán que es más sencillo y legible que el código en sí mismo para cualquier persona (así sea ajena a tu equipo), por consiguiente se podrá modelar y diseñar a un nivel más adecuado los casos de prueba, las condiciones de error que va a probar, la covertura de código que desea alcanzar, etc, etc.
Para más información
Capítulo “Structural testing techniques” -página 115- de el libro “How We Test Software at Microsoft“.
El ejemplo práctico de uno de los autores: