Las pruebas ejecutaron todas las líneas que la herramienta contabiliza como ejecutables.

Las pruebas comprobaron todos los resultados posibles de cada condición del código.

Las pruebas verificaron todas las combinaciones de entradas admitidas por el programa.

Las pruebas demostraron que se cumplen todos los requisitos funcionales del programa.