La técnica para determinar los casos de prueba de caja blanca que garantiza cobertura de sentencias, decisiones/condiciones y de caminos.
Se realiza completando los siguientes pasos:
- Crear un grafo que represente el código a probar.
- Calcular la complejidad ciclomática o de McCABE del grafo obtenido.
- Determinar tantos caminos (recorridos del grafo) como la complejidad ciclomática calculada.
- Generar un caso de uso por cada camino, determinando sus datos de entrada y los resultados esperados.
- Lanzar una ejecución del programa por cada caso de uso y comparar los resultados obtenidos con los esperados para comprobar la corrección del código.