Son Técnicas de Diseño de Casos de Prueba que consisten en probar el comportamiento externo del software (o componente, función). Se centran en las entradas y salidas para diseñar los Casos de Prueba.
Métodos Basados en Grafos
Modelan la interacción entre los componentes del software.
Patrón Equivalente
Divide el campo de entrada (el dominio del tipo de dato de los parámetros de la función) en clases de datos, para derivar casos de prueba.
Análisis de Valores Límite
En los valores límites suelen estar los errores. Diseñar casos de prueba para valores justo por encima y justo por debajo de cierto límite relevante para el programa.