I recall we had a variation on this for a VLSI class I took in college. It taught me to how to segment knowns and unknowns around debugging - we had parts of the program we had tested, others we had not and isolated the unknowns to figure things out.