Sono al mio primo vero progetto software dopo l'intero SDLC e sono un po 'confuso. Abbiamo un requisito che afferma qualcosa come "La batteria sarà monitorata ogni secondo" che deve essere verificata. Questo è qualcosa che non può essere realmente controllato nel sistema poiché accade "dentro", cioè non c'è output che mostri che la batteria è stata controllata ogni secondo. Sono a conoscenza che in questa fase la verifica viene eseguita su un sistema chiuso, quindi non è possibile utilizzare un debugger per verificare qualcosa del genere.
Questa supposizione è sbagliata? Oppure il requisito può essere considerato ambiguamente definito.