¿Cuál es el programa bajo test?
Es la implementación de una especificación.
¿Entre qué datos de prueba puedo elegir?
Aquellos que cumplen la precondición en la especificación.
¿Qué condición de aceptación tengo que chequear?
La condición que indica la postcondición en la especificación.
<aside> ❗ Al no ser exhaustivo (por limitaciones prácticas) el testing no puede demostrar que el software funciona correctamente.
</aside>
Los casos de test se generan a partir de la especificación del problema sin conocer su implementación.
Los casos de test se generan a partir de la estructura interna del programa.