Korrigering av felaktiga boolvärden, whiteboxtest