Quale delle seguenti è una tecnica formale per verificare matematicamente che un software soddisfi i requisiti? |
Dimostrazioni di correttezza (Proofs of correctness) Solo 20% degli utenti ha risposto correttamente |
Risposta tratta da : Informatica Polizia Penitenziaria Quiz - Concorso pubblico a 4 posti nel profilo professionale di vice perito informatico |
di seguito le risposte errate:
Analisi statica (Static analysis)
Test strutturale (Structnral testing)
Analisi dinamica (Dynamic analysis)