Son Técnicas de Diseño de Casos de Prueba que consisten en inspeccionar el código para diseñar los Casos de Prueba.
Prueba del Camino Básico
Consiste en identificar el número de caminos básicos de ejecución y diseñar una prueba para cada uno. Se busca lograr un coverage de todos los caminos.
Camino básico: secuencia de sentencias de ejecución dentro del software que son elementales y no están incluidos dentro de otro camino.
Complejidad ciclomática: es el número de caminos básicos dentro del software probado. Es un indicador cuantitativo de la complejidad lógica.
Pruebas de Estructura de Control
- De un condicional: una prueba para cada alternativa.
- del flujo de datos: uno por cada uso de una variable.
- de un bucle: variar la cantidad de iteraciones.